5252 search results - page 166 / 1051 » Requirements engineering: a roadmap |
177
Voted
IEEEARES
2007
IEEE
16 years 1 months 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...
196
Voted
B
2007
Springer
16 years 1 months 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...
185
click to vote
ASAP
2006
IEEE
16 years 1 months 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...
158
Voted
MSR
2005
ACM
16 years 18 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...
228
Voted
ISAS
2005
Springer
16 years 16 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...