Sciweavers

2846 search results - page 108 / 570
» A Software Performance Engineering Tool based on the UML-SPT
Sort
View
ICST
2008
IEEE
16 years 25 days ago
A Metamodel for the Measurement of Object-Oriented Systems: An Analysis using Alloy
This paper presents a MOF-compliant metamodel for calculating software metrics and demonstrates how it is used to generate a metrics tool that calculates coupling and cohesion met...
Jacqueline A. McQuillan, James F. Power
ESEC
1997
Springer
15 years 10 months ago
Applying Static Analysis to Software Architectures
Abstract. In this paper we demonstrate how static concurrency analysis techniques can be used to verify application-specific properties of an architecture description. Specifically...
Gleb Naumovich, George S. Avrunin, Lori A. Clarke,...
EICS
2009
ACM
15 years 11 months ago
Adapting ubicomp software and its evaluation
We describe work in progress on tools and infrastructure to support adaptive component-based software for mobile devices— in our case, Apple iPhones. Our high level aim is ‘de...
Malcolm Hall, Marek Bell, Alistair Morrison, Stuar...
ICSE
2010
IEEE-ACM
15 years 8 months ago
EMFStore: a model repository for EMF models
Models need to be put under version control to facilitate collaboration and to control change. EMFStore is a Software Configuration Management system tailored to the specific re...
Maximilian Koegel, Jonas Helming
EWSA
2004
Springer
15 years 11 months ago
Correct Development of Embedded Systems
This paper provides an overview on the approach of the IST OMEGA project for the development of correct software for embedded systems based on the use of UML as modelling language....
Susanne Graf, Jozef Hooman