617 search results - page 25 / 124 » Using Formal Methods in a Retrospective Safety Case |
ISIM
2007
13 years 9 months ago
2007
One of the main problems connected with the formal concept analysis and lattice construction is the high complexity of algorithms which plays a significant role when computing all ...
IFM
2010
Springer
13 years 5 months ago
2010
Springer
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
AMAST
2008
Springer
13 years 9 months 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 ...
DEPCOS
2008
IEEE
14 years 2 months ago
2008
IEEE
Achieving and assessing conformity with standards and compliance with various sets of requirements generates significant costs for contemporary economies. Great deal of this is sp...
EDOC
2000
IEEE
13 years 12 months ago
2000
IEEE
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...