3742 search results - page 244 / 749 » On the Use of Formal Techniques for Validation |
156
click to vote
KR
1998
Springer
15 years 10 months ago
1998
Springer
In this paper we present a new semantics, called Local Models Semantics, and use it to provide a foundation to reasoning with contexts. This semantics captures and makes precise t...
185
click to vote
ICSE
1989
IEEE-ACM
15 years 10 months ago
1989
IEEE-ACM
The Inscape Environment is an integrated software development enviroment for building large software systems by large groups of developers. It provides tools that are knowledgeabl...
182
click to vote
VLDB
1990
ACM
15 years 10 months ago
1990
ACM
Database programming requires having the knowledge of database semantics both to maintain database integrity and to explore more optimization opportunities. Automated programming ...
172
click to vote
ASM
2008
ASM
15 years 8 months ago
2008
ASM
As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While...
250
click to vote
DILS
2008
Springer
15 years 8 months ago
2008
Springer
With over 80 file formats to represent various chemical attributes, the conversion between one format and another is invariably lossy due to informal specifications. In contrast, t...