3801 search results - page 84 / 761 » An Approach to Modeling Software Safety |
141
Voted
JUCS
2008
15 years 3 months ago
2008
: The mining of generic software components from legacy systems can be used as an auxiliary technique to revitalize systems. This paper presents a software maintenance approach tha...
132
click to vote
ADAEUROPE
2007
Springer
15 years 5 months ago
2007
Springer
Currently, Model-Driven Engineering (MDE) is considered one of the most promising approaches for software development. In this paper, a simple but complete example based on state-m...
139
Voted
HASE
2007
IEEE
15 years 7 months ago
2007
IEEE
Embedded systems are used for critical applications that must adhere to safety constraints. Developers of these systems face three key challenges when attempting to apply existing...
145
click to vote
COMPSAC
1997
IEEE
15 years 8 months ago
1997
IEEE
Despite recent developments in formal methods, formal methods have yet to enter the mainstream of software industry. In this paper, we first examine the pragmatic obstacles of ma...
143
click to vote
FASE
2008
Springer
15 years 5 months ago
2008
Springer
If we model a family of software applications with a feature model and an architecture model, we are describing the same subject from different perspectives. Hence, we are running ...