2 search results - page 1 / 1 » Distance Functions for Defaults in Reactive Systems |
AMAST
2000
Springer
13 years 9 months ago
2000
Springer
Default reasoning has become an important topic in software engineering. In particular, defaults can be used to revise speci cations, to enhance reusability of existing systems, an...
ASM
2010
ASM
13 years 8 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...