Loading...
Please wait, while we are loading the content...
Similar Documents
A Real-time Programming Language as a Means of Expressing Specifications
| Content Provider | Semantic Scholar |
|---|---|
| Author | Colnaric, Matjaz Verber, Domen Halang, Wolfgang A. |
| Copyright Year | 1997 |
| Abstract | Abstract In the paper the possibility of using a real-time programming language to formulate hardware and software specifications is elaborated. Instead of using strict formal specifications, a system is described in a simple and straight-forward manner, using terminology which is close to the application programmer and his or her way of thinking. The description is a mixture of clauses in syntactically correct formal notation and natural language inserts. The specifications are then refined in a stepwise manner until a program in the real-time programming language miniPEARL is obtained. Its syntax is based on the standardised language, PEARL for Distributed Systems. Certain of the constructs of PEARL are renounced, and some others are added to support the necessary features of a consistent hardware model to be employed in real-time control. Copyright © 1997 Elsevier Science Ltd |
| Starting Page | 975 |
| Ending Page | 981 |
| Page Count | 7 |
| File Format | PDF HTM / HTML |
| DOI | 10.1016/S0967-0661(97)00085-3 |
| Alternate Webpage(s) | http://www.in.feri.uni-mb.si/osebje/colnaric/CEP97.ps |
| Alternate Webpage(s) | https://doi.org/10.1016/S0967-0661%2897%2900085-3 |
| Volume Number | 5 |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
