Publication Details
Title: The Possibility of an Executable Specification Language
Author: P. B. Ladkin
Group: ICSI Technical Reports
Date: July 1989
PDF: http://www.icsi.berkeley.edu/pubs/techreports/tr-89-40.pdf
Overview:
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.
Bibliographic Information:
ICSI Technical Report TR-89-040
Bibliographic Reference:
P. B. Ladkin. The Possibility of an Executable Specification Language. ICSI Technical Report TR-89-040, July 1989
Author: P. B. Ladkin
Group: ICSI Technical Reports
Date: July 1989
PDF: http://www.icsi.berkeley.edu/pubs/techreports/tr-89-40.pdf
Overview:
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.
Bibliographic Information:
ICSI Technical Report TR-89-040
Bibliographic Reference:
P. B. Ladkin. The Possibility of an Executable Specification Language. ICSI Technical Report TR-89-040, July 1989