Loading...
Please wait, while we are loading the content...
Some Thoughts about the Animation of Formal Speciications Written in the Language Some Thoughts about the Animation of Formal Speciications Written in the Language
| Content Provider | Semantic Scholar |
|---|---|
| Author | Heymans, Patrick |
| Copyright Year | 1997 |
| Abstract | Formally and declaratively specifying requirements on real-time composite systems requires validation by stakeholders. One way to perform such validation is allowing people to experience the dynamic properties of the system to be built by using an animation tool. In this paper, we give an overview of the issues raised by the development of such a tool for the language with the main goal of obtaining feedback on research that is a its very early stages. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://ftp8.de.freebsd.org/pub/CREWS/CREWS-97-04.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |