Pitfalls of formality in early system design

Science of Computer Programming

Volumn 42, Issue 1, 2002, Pages 29-38

  Robertson, David ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

Early design; Failure; Formal methods

Indexed keywords

COMPUTER SYSTEM RECOVERY; COMPUTER SYSTEMS PROGRAMMING; SYSTEMS ANALYSIS;

FORMAL METHODS (FM);

FORMAL LOGIC;

EID: 0036131850     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0167-6423(01)00024-7     Document Type: Article

References (14)

1. Formal methods: The very idea, some thoughts about why they work when they work
2. Applying prolog programming techniques
3. Inhibiting factors, market structure and the industrial uptake of formal methods
4. On some equivalence relations between incidence calculus and Dempster-Shafer theory of evidence
5. Lightweight formalisation in support of requirements engineering
6. Reconciling the situation calculus and event calculus
7. The temporal logic of actions
8. A comprehensive comparison between generalised incidence calculus and the Dempster-Shafer theory of evidence
9. Using mathematical models in the inspection of critical software
10. Eco-logic: Logic-based approaches to ecological modelling
11. Ontologies: Principles, methods and applications