5252 search results - page 166 / 1051 » Requirements engineering: a roadmap |
156
click to vote
IEEEARES
2007
IEEE
16 years 25 days ago
2007
IEEE
Whether a particular computing installation meets its security goals depends on whether the administrators can create a policy that expresses these goals—security in practice re...
174
click to vote
B
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
170
click to vote
ASAP
2006
IEEE
16 years 18 days ago
2006
IEEE
This paper presents the Molen FemtoJava engine that is extended with concepts taken from the Molen polymorphic processor. This allows for the existing FemtoJava to be augmented wi...
148
click to vote
MSR
2005
ACM
16 years 2 days ago
2005
ACM
The mining of textual artifacts is requisite for many important activities in software engineering: tracing of requirements; retrieval of components from a repository; location of...
207
click to vote
ISAS
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. This paper provides an overview of Proof-Based System Engineering (PBSE), which aims at improving the current practice of developing computer-based systems. PBSE is of pa...