3801 search results - page 89 / 761 » An Approach to Modeling Software Safety |
125
click to vote
MKWI
2008
15 years 5 months ago
2008
: A common problem in model-driven software development processes is the tracing of requirements across different phases of the software development life cycle iple levels of abstr...
126
click to vote
RTCSA
2006
IEEE
15 years 10 months ago
2006
IEEE
The modeling approach is not used to its full potential in maintenance of legacy systems. Often, models do not even exist. The main reasons being that the economic implications an...
140
Voted
ADAEUROPE
2010
Springer
15 years 2 months ago
2010
Springer
Real-Time (RT) systems exhibit specific characteristics that make them particularly sensitive to architectural decissions. Design patterns help integrating the desired timing behav...
157
click to vote
ICST
2010
IEEE
15 years 1 months ago
2010
IEEE
A Feature Model (FM) is a compact representation of all the products of a software product line. The automated extraction of information from FMs is a thriving research topic invo...
140
click to vote
PST
2008
15 years 5 months ago
2008
In this paper we develop a security verification framework for open source software with a multi-language support. We base our approach on the GCC compiler which is considered as ...