3579 search results - page 626 / 716 » Transformations of software models into performance models |
143
click to vote
ICIW
2008
IEEE
15 years 10 months ago
2008
IEEE
— Model-Driven Architecture (MDA) is introduced to shorten the software development time, produce better quality of code and promote the reuse of software artifacts. On the other...
143
click to vote
SAC
2005
ACM
15 years 9 months ago
2005
ACM
More and more software projects are using COTS (Commercialoff-the-shelf) components. Using COTS components brings both advantages and risks. To manage some risks in using COTS com...
132
click to vote
EWSA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper we motivate an Architecture Description Language (ADL) for mobile distributed systems based on the π-calculus. Different from other approaches, the non-fu...
147
click to vote
ISSTA
2004
ACM
15 years 9 months ago
2004
ACM
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...
184
click to vote
ECOOP
2010
Springer
15 years 7 months ago
2010
Springer
Contracts and specifications have long been used in object-oriented design, programming and testing to enhance reliability before software deployment. However, the use of specifica...