3799 search results - page 7 / 760 » An Engineering Approach to Formal Methods |
PASTE
2005
ACM
14 years 1 months ago
2005
ACM
CSMR
1997
IEEE
13 years 12 months ago
1997
IEEE
ECOOPW
1998
Springer
13 years 11 months ago
1998
Springer
In method-based software development, software engineers create artifacts based on the heuristic rules of the adopted method. Most CASE tools, however, do not actively assist soft...
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 ...
ICFEM
2003
Springer
14 years 26 days ago
2003
Springer
Abstract. Security protocols preserve essential properties, such as confidentiality and authentication, of electronically transmitted data. However, such properties cannot be dire...