The Possibility of an Executable Specification Language
| Title | The Possibility of an Executable Specification Language |
| Publication Type | Technical Report |
| Year of Publication | 1989 |
| Authors | Ladkin, P. |
| Other Numbers | 539 |
| Abstract | We consider what it takes to build an executable specification language for concurrent systems. The key ingredients are executability and very-high-level specification. Many researchers have concluded that one can't have both in any reasonable way. We consider a number of criteria for an executable specification language. We conclude that it is possible to build such a language, and thus that executability should be a criterion for evaluating any specification language for concurrent systems. |
| URL | http://www.icsi.berkeley.edu/pubs/techreports/tr-89-40.pdf |
| Bibliographic Notes | ICSI Technical Report TR-89-040 |
| Abbreviated Authors | P. B. Ladkin |
| ICSI Publication Type | Technical Report |