658 search results - page 39 / 132 » A formal approach to object-oriented software engineering |
138
click to vote
FATES
2004
Springer
15 years 10 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 ...
129
click to vote
APSEC
2007
IEEE
15 years 8 months ago
2007
IEEE
It is difficult to adopt a simulation technology for simulating a software process because of the difficulty in developing a simulation model. In order to resolve the difficulty, ...
118
click to vote
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
Interaction protocols for multiagent systems have been described diagrammatically in an extension of UML called AUML (Agent UML). In this paper, we show how to translate these pro...
160
click to vote
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
Traits are basically mixins or interfaces but with method bodies. In languages that support traits, classes are composed out of traits. There are two main advantages with traits. ...
132
click to vote
ESSOS
2010
Springer
16 years 1 months ago
2010
Springer
In the challenge of ensuring the correct behaviour of legacy implementations of security protocols, a formally-based approach is presented to design and implement monitors that sto...