306 search results - page 20 / 62 » Towards a Generic Modeling Language for Contract-Based Desig... |
WORDS
2003
IEEE
15 years 4 months ago
2003
IEEE
The paper presents an UML profile which defines a language for specifying, visualizing, analysing and documenting dependability mechanisms. It helps to cope with the complexity of...
101
click to vote
ATAL
2009
Springer
15 years 11 days ago
2009
Springer
Abstract--Norm-enforcement models applied in human societies may serve as an inspiration for the design of multi-agent systems. Models for norm-enforcement in multi-agent systems o...
114
click to vote
ECOOP
2001
Springer
15 years 3 months ago
2001
Springer
Abstract. The application field of static analysis techniques for objectoriented programming is getting broader, ranging from compiler optimizations to security issues. This leads...
ECMDAFA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In domain-specific development model-driven development environments play an important role. Most of these environments only provide support for language engineering, bu...
102
click to vote
ICWE
2007
Springer
15 years 5 months ago
2007
Springer
The Unified Modeling Language (UML) is considered as the lingua franca in software engineering. Despite various web modeling languages having emerged in the past decade, in the fie...