Applying formal specifications to real-world software development

IEEE Software

Volumn 18, Issue 6, 2001, Pages 89-97

  Palshikai, Girish Keshav ^a,b  

^a Tata Research Development and Design Center   (India)

^b TRDDC   (India)

Author keywords

[No Author keywords available]

Indexed keywords

END USER INTERACTIONS; FORMAL SPECIFICATIONS; HIGH LEVEL ABSTRACTION;

ABSTRACTING; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SOFTWARE REUSABILITY; FORMAL LANGUAGES; SYSTEMS ANALYSIS; USER INTERFACES;

SOFTWARE ENGINEERING;

EID: 0035506299     PISSN: 07407459     EISSN: None     Source Type: Journal    
DOI: 10.1109/52.965810     Document Type: Article

References (15)

1. Requirements traceability: Theory and practice
2. Mathematical notations in formal specifications: Too difficult for masses?
3. Applying formal specifications in industry
4. Strategies for incorporating formal specifications in software development
5. Experiences using lightweight formal methods in requirements modeling
6. Ten commandments of formal methods
7. Seven myths of formal methods
8. Seven more myths of formal methods
9. Where do operations come from? A multiparadigm specification technique
10. Capture, integration, and analysis of digital systems requirements with conceptual graphs
11. Use of executable formal specifications in user validation
12. Executing formal specifications need not be harmful
13. Specifications are not (necessarily) executable