In this paper we discuss the separation between attributes on functionality and on structure following an approach based on Model Driven Engineering (MDE). We adopt a methodologic...
Component based software development is becoming more generalized, representing a considerable market for the software industry. The perspective of reduced development costs and s...
The study of methodologies and techniques to produce correct software has been active for four decades. During this period, researchers have developed and investigated a wide vari...
Matthew B. Dwyer, John Hatcliff, Robby, Corina S. ...
Large-scale software development requires coordination within and between very large engineering teams, each of which may be located in different locations and time zones. Numerou...
Program transformation systems provide one means of formally deriving a program from its speci cation. The main advantage of this development method is that the executable program...