Investigating the readability of state-based formal requirements specification languages

Proceedings-International Conference on Software Engineering

Volumn , Issue , 2002, Pages 33-43

  Zimmerman, Marc K ^a   Lundqvist, Kristina ^a   Leveson, Nancy ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AEROSPACE APPLICATIONS; DIFFERENTIAL EQUATIONS; ERROR ANALYSIS; FORMAL LANGUAGES; MATHEMATICAL MODELS; SOFTWARE ENGINEERING;

FORMAL ANALYSIS; FORMAL REQUIREMENTS SPECIFICATIONS; READABILITY;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 0036036714     PISSN: 02705257     EISSN: None     Source Type: Journal    
DOI: 10.1145/581344.581347     Document Type: Article

References (10)

1. Studying programmer behavior experimentally: The problems of proper methodology
2. Effects of structure on the comprehensibility of formal specifications
3. When do diagrams make good computer languages?
4. Experiences from specifying the TCASII requirements using RSML
5. Automated consistency checking of requirements specifications
6. Completeness in formal specification language design for process control systems
7. A formalism for the specification of operationally embedded reactive avionic systems
8. Investigation the readability of formal specification languages
9. Making formal methods practical