235 search results - page 3 / 47 » Formal and Tool Support for Model Driven Engineering with Ma... |
ENTCS
2007
13 years 7 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...
ICSEA
2009
IEEE
13 years 5 months ago
2009
IEEE
In this paper, we present our position and experience on integrating formal methods with the Model-driven Engineering (MDE) approach to software development. Both these two approa...
ISSRE
2000
IEEE
13 years 12 months ago
2000
IEEE
The Unified Modeling Language, UML, is the objectoriented notation adopted as the standard for objectoriented Analysis and Design by the Object Management Group. This paper report...
MODELS
2007
Springer
14 years 1 months ago
2007
Springer
In this position paper, we explain our approach for collaborative systems development based on a model of cooperative applications and a formalism called ORCHESTRA allowing to exp...
EUROSPI
2005
Springer
14 years 1 months ago
2005
Springer
It is advocated to use the ISO/IEC 15504 standard into new domains not related to Information Technology (IT), giving a powerful enterprise-wide assessment tool for quality manager...