886 search results - page 55 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
FMICS
2006
Springer
15 years 1 months ago
2006
Springer
Parking garages that stow and retrieve cars automatically are becoming viable solutions for parking shortages. However, these are complex systems and a number of severe incidents i...
DATE
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
IFM
2010
Springer
14 years 8 months ago
2010
Springer
Event-B has emerged as one of the dominant state-based formal techniques used for modelling control-intensive applications. Due to the blocking semantics of events, their ordering ...
FM
2005
Springer
15 years 3 months ago
2005
Springer
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...
ISBI
2007
IEEE
15 years 4 months ago
2007
IEEE
Many important existing and upcoming biomedical imaging modalities lead to nonlinear relationships between state variables from which measurements result and the tissue properties...