We know by now that evolution in software is inevitable. Given that is so, we should not just allow for but accommodate for change throughout the software lifecycle. The claim of this paper is that, in order to accommodate for change effectively, we need a modelling discipline with a built-in notion of refinement, so that domain concepts can be defined and understood on their appropriate level of abstraction, and change can be captured on that same level. Refinement serves to connect levels of abstraction within the same model, enabling a simultaneous understanding of that same model on different levels. We propose the term model pattern for the central concept in such a modelling discipline
Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is al...
This paper advocates that reengineering is an effective means of legacy system evolution. Extracting...
The notion of patterns has been used in many different disciplines, and the software industry is no ...
We know by now that evolution in software is inevitable. Given that is so, we should not just allow ...
AbstractSoftware changes during its lifetime. Likewise, software models change during their design t...
Since the very beginning of software development there was an unstoppable demand for higher producti...
In the realm of software engineering, we are witnessing an increasing momentum towards the use of mo...
Model-based development relies on models in different phases for different purposes, with modelling ...
The main goal of the paper is to present the method of design pattern support based on principles of...
"Model Driven Software Development" is a recent trend in development of software-intensive systems. ...
Model Refinement is a relationship that relates two elements representing the same concept at differ...
The goal of model-driven engineering is to raise the level of abstraction by shifting the focus to m...
Tools have become essential in the formal model-driven development of software but are very time con...
Abstract. The ingredients of typical methodologies for model based development via refinement are re...
The discipline of formal methods is concerned with the use of mathematical techniques to capture pre...
Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is al...
This paper advocates that reengineering is an effective means of legacy system evolution. Extracting...
The notion of patterns has been used in many different disciplines, and the software industry is no ...
We know by now that evolution in software is inevitable. Given that is so, we should not just allow ...
AbstractSoftware changes during its lifetime. Likewise, software models change during their design t...
Since the very beginning of software development there was an unstoppable demand for higher producti...
In the realm of software engineering, we are witnessing an increasing momentum towards the use of mo...
Model-based development relies on models in different phases for different purposes, with modelling ...
The main goal of the paper is to present the method of design pattern support based on principles of...
"Model Driven Software Development" is a recent trend in development of software-intensive systems. ...
Model Refinement is a relationship that relates two elements representing the same concept at differ...
The goal of model-driven engineering is to raise the level of abstraction by shifting the focus to m...
Tools have become essential in the formal model-driven development of software but are very time con...
Abstract. The ingredients of typical methodologies for model based development via refinement are re...
The discipline of formal methods is concerned with the use of mathematical techniques to capture pre...
Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is al...
This paper advocates that reengineering is an effective means of legacy system evolution. Extracting...
The notion of patterns has been used in many different disciplines, and the software industry is no ...