4126 search results - page 90 / 826 » Relationships with other Formalisms |
193
click to vote
PTS
2000
15 years 7 months ago
2000
We discuss a case study of automatic test generation and test execution based on formal methods. The case is the Conference Protocol, a simple, chatbox-like protocol, for which (fo...
154
click to vote
CJ
2006
15 years 6 months ago
2006
Operations on spatial objects have much individuality. As a consequence, the spatial data modelling approaches, which have been proposed, have to consider either data types of the...
206
click to vote
ASE
1998
15 years 6 months ago
1998
Software process improvement requires high level formalisms for describing project-specific, organizational and quality aspects. These formalisms must be convenient not only for ...
145
click to vote
VLSID
2005
IEEE
2005
IEEE
Formal Methods for Analyzing the Completeness of an Assertion Suite against a High-Level Fault Model
15 years 12 months ago
One of the emerging challenges in formal property verification (FPV) technology is the problem of deciding whether sufficient properties have been written to cover the design in...
138
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
This paper aims at proposing a general formal framework for dialogue between autonomous agents which are looking for a common agreement about a collective choice. The proposed set...