1856 search results - page 33 / 372 » Formal Dialectic Specification |
FM
1997
Springer
14 years 2 months ago
1997
Springer
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
JISBD
2001
13 years 11 months ago
2001
In this paper we show how the formal specification of a system written in Maude can be easily connected to its Web-based distributed implementation using SOAP. In addition to the u...
FORTE
1996
13 years 11 months ago
1996
I discuss formal description techniques (FDTs) as they are applied in practice in software and system engineering. Their quality can be measured by their formality, descriptivenes...
ICECCS
1995
IEEE
14 years 1 months ago
1995
IEEE
When modelling a large and complex system, clarzty of the speczfication becomes an znaportant factor. I n object-oriented specification, the states of individual objects are captu...
ASM
2010
ASM
14 years 1 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...