422 search results - page 42 / 85 » A Compositional Knowledge Level Process Model of Requirement... |
HASE
2007
IEEE
13 years 9 months ago
2007
IEEE
Recent work in the area of Model-based Safety Analysis has demonstrated key advantages of this methodology over traditional approaches, for example, the capability of automatic ge...
SIS
2004
13 years 9 months ago
2004
In this paper we outline a new process model for security engineering. This process model extends object oriented, use case driven software development by the systematic treatment ...
ICSE
1999
IEEE-ACM
13 years 12 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
ICFEM
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Today’s software systems are becoming increasingly configurable and designed for deployment on a plethora of architectures, ranging from sequential machines via multic...
IWSAS
2001
Springer
14 years 4 days ago
2001
Springer
We present an approach to self-adaptive systems utilizing explicit models of the design-space of the application. The design-space is captured by allowing the specification of alte...