3579 search results - page 54 / 716 » Transformations of software models into performance models |
EUROMICRO
1998
IEEE
15 years 4 months ago
1998
IEEE
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
ICSE
2007
IEEE-ACM
15 years 12 months ago
2007
IEEE-ACM
Model Driven Development (MDD) is an emerging paradigm for software construction that uses models to specify programs, and model transformations to synthesize executables. Feature...
102
click to vote
FASE
2008
Springer
15 years 1 months ago
2008
Springer
With the success of model-driven development as well as component-based and service-oriented systems, models of software architecture are key artefacts in the development process. ...
114
click to vote
SIGSOFT
2007
ACM
16 years 17 days ago
2007
ACM
Software firms are increasingly distributing their software development effort across multiple locations. In this paper we present the results of a two year field study that inves...
ECMDAFA
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. In this paper we report on a feasibility study in reengineering legacy systems towards a model-driven architecture (MDA). Steps in our approach consist of (1) parsing the...