652 search results - page 12 / 131 » Deriving Specifications of Dependable Systems: toward a Meth... |
FM
2006
Springer
15 years 2 months ago
2006
Springer
While designing a service-oriented system, deciding whether a service interaction is desired or harmful is a subjective choice which depends on the requirements expressed by the us...
AMAST
2008
Springer
15 years 20 days ago
2008
Springer
The complexity of specification development and verification of large systems has to be mastered. In this paper a specification of a real case study, a platoon of Cristal vehicles ...
EDO
2000
Springer
15 years 2 months ago
2000
Springer
Abstract Designing and maintaining a distributed system requires consideration of dependencies and invariants in the system's model. This paper suggests expressing distributio...
106
click to vote
GI
2009
Springer
14 years 8 months ago
2009
Springer
: Study variables in clinical trial specifications are often defined manually, depending on the knowledge and experience of the author rather than on commonly agreed methods and st...
ADAEUROPE
2001
Springer
15 years 3 months ago
2001
Springer
Deriving test cases from specifications is now recognised as a major application of formal methods to software development. Several methods have been proposed for various formalism...