156 search results - page 15 / 32 » The GOQL Language and its Formal Specifications |
120
click to vote
ICSE
1993
IEEE-ACM
15 years 3 months ago
1993
IEEE-ACM
We give examples of situations where formal specifications of procedures in the standard pre/postcondition style become lengthy, cumbersome and difficult to change, a problem whic...
100
click to vote
COMPSAC
2002
IEEE
15 years 4 months ago
2002
IEEE
UML and MSC are widely used by software practitioners. SDL is an ITU standard language for telecommunications software specification. It has a formal semantics, and is supported b...
CHARME
2003
Springer
15 years 3 months ago
2003
Springer
Industrial verification teams are actively developing suitable event sequence languages for hardware verification. Such languages must be expressive, designer friendly, and hardwar...
COLING
1990
15 years 29 days ago
1990
This paper describes the general architecture of generation in the ACORDproject. The central module of this architecture is a planning component, which allows to plan single sente...
SIGSOFT
2009
ACM
16 years 16 days ago
2009
ACM
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...