Sciweavers

2132 search results - page 55 / 427
» Automated software winnowing
Sort
View
ICSE
2005
IEEE-ACM
15 years 11 months ago
Transformations of software models into performance models
It is widely recognized that in order to make performance validation an integrated activity along the software lifecycle it is crucial to be supported from automated approaches. E...
Vittorio Cortellessa, Antinisca Di Marco, Paola In...
WOSP
2004
ACM
15 years 4 months ago
Software performance engineering of component-based systems
We propose an automated compositional approach for component-based performance engineering, called the CB-SPE. It adapts to a CB framework the concepts and steps of the wellknown ...
Antonia Bertolino, Raffaela Mirandola
CISIS
2010
IEEE
15 years 5 months ago
Integrating Production Automation Expert Knowledge Across Engineering Stakeholder Domains
— The engineering of complex production automation systems involves experts from several backgrounds, such as mechanical, electrical, and software engineering. The production aut...
Thomas Moser, Stefan Biffl, Wikan Danar Sunindyo, ...
VAMOS
2007
Springer
15 years 5 months ago
FAMA: Tooling a Framework for the Automated Analysis of Feature Models
The automated analysis of feature models is recognized as one of the key challenges for automated software development in the context of Software Product Lines (SPL). However, aft...
David Benavides, Sergio Segura, Pablo Trinidad, An...
EUROSYS
2007
ACM
15 years 2 months ago
Discrete control for safe execution of IT automation workflows
As information technology (IT) administration becomes increasingly complex, workflow technologies are gaining popularity for IT automation. Writing correct workflow programs is no...
Yin Wang, Terence Kelly, Stéphane Lafortune