Specifying Software Requirements for Complex Systems: New Techniques and Their Application

By Kathryn L. Heninger. IEEE Transactions on Software Engineering, 2001

593 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Information Systems, Software

View Paper: https://www.semanticscholar.org/paper/a48c4bfc42cdba41a8479632d4bfd3a75040a2dc

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Paul Ammann
2. Axel van Lamsweerde
3. Aynur Abdurazik
4. Shaoying Liu
5. Jeff Offutt
6. Betty H. C. Cheng
7. Joanne M. Atlee
8. Ludovic Piètre-Cambacédès

In Information Systems

1. Paul Ammann
2. Axel van Lamsweerde
3. Aynur Abdurazik
4. Shaoying Liu
5. Jeff Offutt
6. Betty H. C. Cheng

In Software

1. Paul Ammann
2. Axel van Lamsweerde
3. Aynur Abdurazik
4. Shaoying Liu
5. Jeff Offutt

Citations in the corpus

• Generating test data from state‐based specifications (2003, methodology): “Applications of these criteria to three different specification languages are discussed; examples are presented using SCR specifications [1,2] and CoRE [3] and a case study is used to illustrate the test derivation process and to evaluate these criteria in terms of their ability to detect seeded fau”
• Requirements engineering in the year 00: a research perspective (2000, methodology): “The seminal paper here was based on work by Heninger, Parnas and colleagues while reengineering the flight software for the A-7 aircraft [Hen80].”