Formal Specification
(Up) | See also: Software Engineering, Logic, Refinement Calculus, Model Checking, Theorem Proving, TLA(plus)
Web resources
Notes on B. Meyer\'s \"On Formalism in Specifications\" ★
Attempto Controlled English - Wikipedia
About the Unified Modeling Language Specification Version 2.5.1 ★
Systems modeling language - Wikipedia
SysML Open Source Project: What is SysML? Who created it? ★
SE 507 Algebraic Specifications ★★★
Developing an Iterative Program to Compute a Tail Recursive Function ★
Papers
The role of formalism in system requirements (full version) ★★★
Consistency Checking of Functional Requirements
Consistency Checking in Requirements Analysis
Automated Consistency Checking of Requirements Specifications
Automatic program generation from specifications using PROLOG ★
Syntactic Theories in Practice (online @ tidsskrift.dk) ★ 💭
(in Philosophy) Tossing Algebraic Flowers down the Great Divide ★★★
(in Type Systems) Should Your Specification Language Be Typed? (online @ lamport.azurewebsites.net) ★★★ 💭
Books
Algebraic Specification (borrow @ archive.org) ★ 💭
Language Prototyping: an Algebraic Specification Approach (borrow @ archive.org) ★ 💭
The Essence of Z (borrow @ archive.org) ★ 💭
Introduction to Z and Discrete Methods (borrow @ archive.org) ★ 💭
Understanding Z (borrow @ archive.org) 💭
Program specification and transformation (borrow @ archive.org) ★ 💭
Semantics, applications, and implementation of program generation (online @ archive.org) ★ 💭