Lightweight Formalisation in Support of Requirements Engineering

Automated Software Engineering

Volumn 5, Issue 2, 1998, Pages 183-210

  Hesketh, Jane ^a   Robertson, David ^a   Fuchs, Norbert ^b   Bundy, Alan ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

^b UNIVERSITY OF ZURICH   (Switzerland)

Author keywords

Automated reasoning; Design; Requirements; Safety critical systems; Software engineering; Specifications

Indexed keywords

CODES (SYMBOLS); FORMAL LANGUAGES; FORMAL LOGIC; INTERACTIVE COMPUTER SYSTEMS; SPECIFICATIONS;

AUTOMATED REASONING; LIGHTWEIGHT FORMALISATION; REQUIREMENTS ENGINEERING; SAFETY CRITICAL SYSTEMS;

SOFTWARE ENGINEERING;

EID: 0032047085     PISSN: 09288910     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1008669014807     Document Type: Article

References (7)

1. Clocksin, W.F. and Mellish, C.S. 1994. Programming in Prolog (4th edition). Springer Verlag.
2. Robertson, D. 1996. Domain Specific Problem Description. Proc. of the 8th International Conference on Software Engineering and Knowledge Engineering.
3. Shell, 1992. Emergency Shutdown and Process Trip Systems. Shell Expro Internal Code of Practice.
4. Shell, 1993. Fire and Gas Detection and Alarm Systems for Offshore Installations. Shell Expro Internal Code of Practice.
5. Offshore Installations: Guidance on Design, Construction and Certification. HMSO, 1993.
6. Pfleeger, S.L. and Hatton, L. 1996. How do formal methods affect code quality? to be published in IEEE Computer.
7. Robertson, D. 1995. Lightweight specification. Proc. of the ONR/ARPA/AFOSR/ARO/NSF Workshop on Software Architectures, Monterey, California.