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\" ★

Bertrand Meyer's technology+ blog - Software engineering, programming methodology, languages, verification, general technology, publication culture, and more ★

Attempto Controlled English - Wikipedia

Attempto Project ★★ 💭

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 ★

Software Blueprints Web Pages

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 Coq) Interaction Trees (online @ archive.org) ★★ 💭

(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) ★ 💭

The Architecture of Form (borrow @ archive.org) 💭