235 search results - page 15 / 47 » Formal and Tool Support for Model Driven Engineering with Ma... |
ER
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...
SERP
2007
13 years 9 months ago
2007
- Since the advent of model driven software engineering (MDSE) it has become necessary to develop techniques and tools for model evolution. In this paper we examine two issues and ...
FSEN
2009
Springer
14 years 2 months ago
2009
Springer
The dream of Model Driven Engineering (MDE) is that Software Engineering activities should be performed only on models, but in practice a significant amount of programming is still...
WSE
2006
IEEE
14 years 1 months ago
2006
IEEE
A challenge of existing program comprehension approaches is to provide consistent and flexible representations for software systems. Maintainers have to match their mental models ...
EDOC
2008
IEEE
13 years 9 months ago
2008
IEEE
Model Driven Development (MDD) aims to promote the role of modeling in Software Engineering. Enterprise systems and architectures are often modeled via multiple representations. F...