3801 search results - page 205 / 761 » An Approach to Modeling Software Safety |
199
click to vote
ICECCS
2010
IEEE
15 years 6 months ago
2010
IEEE
—In this paper ongoing research for a PhD-thesis is presented. The objective of this thesis is to develop an approach for engineering quality requirements. Quality requirements a...
165
click to vote
QSIC
2007
IEEE
16 years 23 days ago
2007
IEEE
Security patterns capture best practice on secure software design and development. They document typical solutions to security problems. To ensure security, large software system ...
151
click to vote
EUROMICRO
2000
IEEE
15 years 11 months ago
2000
IEEE
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
207
click to vote
ICSEA
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper, we present our position and experience on integrating formal methods with the Model-driven Engineering (MDE) approach to software development. Both these two approa...
172
click to vote
VAMOS
2007
Springer
16 years 17 days ago
2007
Springer
Using a product line approach allows companies realize significant improvements in time-to-market, cost, productivity, and quality. One fundamental problem in software product lin...