9806 search results - page 270 / 1962 » Engineering adaptive requirements |
183
click to vote
B
2007
Springer
16 years 25 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...
173
click to vote
ASAP
2006
IEEE
16 years 21 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...
151
click to vote
MSR
2005
ACM
16 years 6 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...
212
click to vote
ISAS
2005
Springer
16 years 4 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...
178
click to vote
ICTAI
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper presents a simple ¢¤£¦¥¨§© Evolution Strategy and three simple selection criteria to solve engineering optimization problems. This approach avoids the use of a...