630 search results - page 37 / 126 » Stateful Aspects in JAsCo |
CSMR
2004
IEEE
14 years 16 days ago
2004
IEEE
Language integration is an important issue in the area of software maintenance and reengineering. We describe a novel solution in this area: automatically applied and composed spl...
DSVIS
2006
Springer
14 years 14 days ago
2006
Springer
We formally specify the interpretation stage in a dual state space human-computer interaction cycle. This is done by extending / reorganising our previous cognitive architecture. I...
CAV
2003
Springer
14 years 13 days ago
2003
Springer
Abstract. Temporal logic is popular for specifying correctness properties of reactive systems. Real-time temporal logics add the ability to express quantitative timing aspects. Tab...
SAFECOMP
1998
Springer
14 years 11 days ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
UML
2000
Springer
14 years 11 days ago
2000
Springer
The UML's Object Constraint Language provides the modeller of object-oriented systems with ways to express the semantics of a model in a precise and declarative manner. The co...