Sciweavers

5407 search results - page 185 / 1082
» The Software Engineering Global Model
Sort
View
231
Voted
ASWSD
2006
Springer
15 years 7 months ago
TestML - A Test Exchange Language for Model-Based Testing of Embedded Software
Abstract. Test processes in the automotive industry are tool-intensive and affected by technologically heterogeneous test infrastructures. In the industrial practice a product has ...
Juergen Grossmann, Ines Fey, Alexander Krupp, Mirk...
101
Voted
FMOODS
2006
15 years 5 months ago
Modeling and Validation of a Software Architecture for the Ariane-5 Launcher
We present the modeling and validation experiments performed with the IFx validation toolset and with the UML profile developed within the IST Omega project, on a representative sp...
Iulian Ober, Susanne Graf, David Lesens
142
Voted
WOSP
2005
ACM
15 years 9 months ago
A model transformation framework for the automated building of performance models from UML models
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...
Andrea D'Ambrogio
137
Voted
WOSP
2010
ACM
15 years 3 months ago
Automatically improve software architecture models for performance, reliability, and cost using evolutionary algorithms
Quantitative prediction of quality properties (i.e. extrafunctional properties such as performance, reliability, and cost) of software architectures during design supports a syste...
Anne Martens, Heiko Koziolek, Steffen Becker, Ralf...
COMPSAC
1998
IEEE
15 years 7 months ago
The Impact of the Coordination Model in the Design of Mobile Agent Applications
The paper introduces a taxonomy of the possible coordination models for mobile agent applications and evaluates their impact in the design of a widely distributed application in t...
Giacomo Cabri, Letizia Leonardi, Franco Zambonelli