Nazareno Aguirre, Marcelo F. Frias, Mariano M. Moscato, T. S. E. Maibaum & Alan Wassyng (2009):
Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy.
In: FASE,
pp. 155–170,
doi:10.1007/978-3-642-00593-0_11.
Ramech Bharadwaj & Constance L. Heitmeyer (1997):
Applying the SCR Requirements Method to a Simple Autopilot.
In: C.M. Holloway, K.J. Hayhurst, United States. National Aeronautics, Space Administration & Langley Research Center: LFM 97: Fourth NASA Langley Formal Methods Workshop : Proceedings of a Workshop,
NASA conference publication.
NASA Center for AeroSpace Information,
pp. 87–101.
Ramesh Bharadwaj & Constance L. Heitmeyer (1999):
Model Checking Complete Requirements Specifications Using Abstraction.
Autom. Softw. Eng. 6(1),
pp. 37–68,
doi:10.1023/A:1008697817793.
Ricky W. Butler (1996):
An introduction to requirements capture using pvs: Specification of a simple autopilot.
NASA Technical Memorandum 110255 110255.
NASA Langley Research Center,
Hamptom, Virginia.
Marcelo F. Frias, Juan P. Galeotti, Carlos López Pombo & Nazareno Aguirre (2005):
DynAlloy: upgrading alloy with actions.
In: Gruia-Catalin Roman, William G. Griswold & Bashar Nuseibeh: ICSE.
ACM,
pp. 442–451,
doi:10.1145/1062455.1062535.
Carlo Ghezzi, Mehdi Jazayeri & Dino Mandrioli (2002):
Fundamentals of Software Engineering,
2nd edition.
Prentice Hall PTR,
Upper Saddle River, NJ, USA.
Constance L. Heitmeyer, Myla Archer, Ramesh Bharadwaj & Ralph D. Jeffords (2005):
Tools for constructing requirements specifications: the SCR Toolset at the age of nine.
Comput. Syst. Sci. Eng. 20(1).
Constance L. Heitmeyer, Bruce G. Labaw & Daniel L. Kiskis (1995):
Consistency checking of SCR-style requirements specifications.
In: RE.
IEEE Computer Society,
pp. 56–65,
doi:10.1109/ISRE.1995.512546.
Kathryn Heninger, David L. Parnas, John E. Shore & John W. Kallander. (1978):
Software Requirements for the A-7E Aircraft, NRL Memorandum Report 3876, 27 November.
NRL Memorandum Report 3876 3876.
Naval Research Lab..
Pankaj Jalote (2005):
An Integrated Approach to Software Engineering.
Texts in Computer Science.
Springer,
doi:10.1007/0-387-28132-0.
McMaster University. Software Quality Research Laboratory (2007):
PACEMAKER System Specification.
Technical Report.
McMaster University.
Ian Sommerville (2006):
Software Engineering: (Update) (8th Edition) (International Computer Science).
Addison-Wesley Longman Publishing Co., Inc.,
Boston, MA, USA.
eptcs@eptcs.org