Sciweavers

3801 search results - page 56 / 761
» An Approach to Modeling Software Safety
Sort
View
137
Voted
ICSEA
2009
IEEE
15 years 1 months ago
Integrating Quality Modeling with Feature Modeling in Software Product Lines
Due to the large number of possible variants in typical Software Product Lines (SPLs), the modeling of, explicit knowledge of, and predictability of the quality tradeoffs inherent ...
Joerg Bartholdt, Marcel Medak, Roy Oberhauser
114
Voted
DATE
2009
IEEE
133views Hardware» more  DATE 2009»
15 years 10 months ago
Architectural support for low overhead detection of memory violations
Violations in memory references cause tremendous loss of productivity, catastrophic mission failures, loss of privacy and security, and much more. Software mechanisms to detect me...
Saugata Ghose, Latoya Gilgeous, Polina Dudnik, Ane...
107
Voted
ICSE
2005
IEEE-ACM
16 years 3 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...
146
Voted
FMCO
2003
Springer
162views Formal Methods» more  FMCO 2003»
15 years 9 months ago
An MDA Approach to Tame Component Based Software Development
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...
Jean-Marc Jézéquel, Olivier Defour, ...
137
Voted
ICPADS
1998
IEEE
15 years 8 months ago
The XBW Model for Dependable Real-Time Systems
This paper presents a new conceptual model, the XBWModel. Distributed computing is becoming a cost effective way to implement safety critical control systems. To support the devel...
Vilgot Claesson, Stefan Poledna, Jan Söderber...