409 search results - page 32 / 82 » Approaching a Discrete-Continuous UML: Tool Support and Form... |
AOSE
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. In this paper we introduce an approach for defining semantics for AUML agent interaction protocol diagrams using Petri net code structures. This approach is based on the...
120
click to vote
TSE
2010
14 years 10 months ago
2010
— Describing and managing activities, resources and constraints of software development processes is a challenging goal for many organizations. A first generation of Software Pro...
126
click to vote
SQJ
2010
14 years 10 months ago
2010
One of the main goals of design patterns is to design for change. Many design patterns leave some room for future changes and evolutions. The application of design patterns leads ...
MODELS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
GI
2001
Springer
15 years 4 months ago
2001
Springer
We present a pragmatic approach using formal methods to increase the quality of distributed component based systems: Based on UML class diagrams annotated with OCL constraints, co...