Title
Introducing formal requirements into industry
Abstract
We draw some lessons from our attempt to introduce the formal requirements engineering language ERAE in an industrial context. We review the various experiments and comment on such issues as the typical deficiencies of current practices, misconceptions about the nature of requirements, our approach to technology transfer, the importance of methodological guidance, and the role of tools. One of the applications, a complete television set, is analysed in more detail.
Year
Venue
Keywords
1989
Lecture Notes in Computer Science
introducing formal requirements,formal requirement,requirement engineering
DocType
Volume
ISSN
Conference
490
0302-9743
ISBN
Citations 
PageRank 
0-387-53912-3
0
0.34
References 
Authors
2
2
Name
Order
Citations
PageRank
J. Hagelstein12918.26
frank ponsaert22317.70