1525 search results - page 29 / 305 » Formal Models for Communication-Based Design |
FMCO
2009
Springer
13 years 5 months ago
2009
Springer
Formal modelling is indispensable for engineering highly dependable systems. However, a wider acceptance of formal methods is hindered by their insufficient usability and scalabili...
SEKE
2005
Springer
14 years 1 months ago
2005
Springer
Mobile agents provide an effective and flexible style to develop advanced distributed systems. In order to promote interoperability and ensure the quality of mobile agent systems,...
EUROMICRO
1998
IEEE
14 years 5 days ago
1998
IEEE
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
DATE
2003
IEEE
14 years 1 months ago
2003
IEEE
The ForSyDe methodology has been developed for system level design. Starting with a formal specification model, that captures the functionality of the system at a high abstractio...
FATES
2004
Springer
14 years 1 months ago
2004
Springer
A Time Action Lock is a state of a Real-time system at which neither time can progress nor an action can occur. Time Action Locks are often seen as signs of errors in the model or ...