156 search results - page 7 / 32 » The GOQL Language and its Formal Specifications |
152
click to vote
POPL
2002
ACM
15 years 9 months ago
2002
ACM
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...
TSE
1998
14 years 9 months ago
1998
—Scenarios are increasingly recognized as an effective means for eliciting, validating, and documenting software requirements. This paper concentrates on the use of scenarios for...
103
click to vote
CN
1999
14 years 9 months ago
1999
Recently, the ITU-standardised specification language Message Sequence Chart has been extended with constructs for more complete and structured specifications. The new version of ...
VL
1990
IEEE
15 years 1 months ago
1990
IEEE
This paper describes a new approach to specifying graphical layouts of arbitrary objects, which is based on a TEXlike notation. Our simplest scheme offers specifications similar t...
BIRTHDAY
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...