726 search results - page 37 / 146 » Formal Requirements Engineering: Learning from the Students |
ICSE
1994
IEEE-ACM
15 years 3 months ago
1994
IEEE-ACM
Abstract. This paper describes recent work concerned with the speci cation of requirements on interactive systems and the de nition of user-level properties of such systems. A form...
117
click to vote
ACMSE
2008
ACM
15 years 1 months ago
2008
ACM
As computers become increasingly integral to daily life there is a need for computer scientists to focus on the user. This, in part, entails developing applications that have inte...
105
click to vote
ASM
2010
ASM
15 years 3 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
101
click to vote
AAMAS
2000
Springer
14 years 11 months ago
2000
Springer
Abstract. As agents move into ever more important applications, there is a natural growth in interest in techniques for synthesizing multiagent systems. We describe an approach for...
129
click to vote
ICSE
2003
IEEE-ACM
15 years 5 months ago
2003
IEEE-ACM
Functional requirements contain, and systems exhibit, the behavior summarized below.Despite the advances in software engineering since 1968, how to go from a set of functional req...