979 search results - page 1 / 196 » Using a Formal Language Constructs for Software Model Evolut... |
SEMCO
2009
IEEE
13 years 11 months ago
2009
IEEE
— In this paper we present an automated support for software model evolution using a formal language constructs. For this, we extended Object Constraint Language (OCL) with actio...
SERP
2007
13 years 5 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 ...
COMPSAC
2003
IEEE
13 years 9 months ago
2003
IEEE
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...
COMPSAC
2002
IEEE
13 years 9 months ago
2002
IEEE
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that...
WICSA
2008
13 years 5 months ago
2008
With the spread of the Internet and software evolution in complex intensive systems, software architecture often need be reconfigured during runtime to adapt variable environments...