Formal Specification
(Up) | Wikipedia: Formal specification | See also: Software Engineering, Logic, Refinement Calculus, Model Checking, Theorem Proving, Operational Semantics, TLA(plus)
Works on the subject of specifying the behavior of a system by formal means, that is to say, means which can be rigorously and unambiguously defined, and mechanically verified.
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 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) ★ 💭
History of
by-topic
/
Formal Specification
@master
git clone https://git.catseye.tc/The-Glosscubator/
- Update some broken links. Chris Pressey 6 days ago
- Render topic description on README; more topics have wikipedia. Chris Pressey 8 days ago
- Add Operational Semantics topic, and one web resource; move two. Chris Pressey 10 days ago
- Add a Wikipedia article and rate a few entries. Chris Pressey 11 days ago
- Add a book about the formalization of architecture, not yet rated. Chris Pressey 1 year, 3 months ago
- Add a topic specifically for Monads, and add one web resource. Chris Pressey 1 year, 4 months ago
- When rebuilding, rewrite Markdown documents according to schema. Chris Pressey 1 year, 5 months ago
- Remove placeholders that are no longer needed with Feedmark 0.16. Chris Pressey 1 year, 5 months ago
- Fix commentary links. Chris Pressey 1 year, 7 months ago
- Extract ratings to own files. Chris Pressey 1 year, 7 months ago
- Rename commentary files. Chris Pressey 1 year, 7 months ago
- Link to commentary on entries that have a detectable amount of it. Chris Pressey 1 year, 10 months ago
- Add 2 Games and a PL repository, and sort secondary entries. Chris Pressey 1 year, 10 months ago
- Show ratings on books and papers too. Chris Pressey 1 year, 10 months ago
- Render rating next to each entry that has one, in the READMEs. Chris Pressey 1 year, 10 months ago
- Link to the originating topic, for secondary-topic entries. Chris Pressey 1 year, 10 months ago
- Resources in multiple topics are now rendered in multiple READMEs. Chris Pressey 1 year, 10 months ago
- Fix availability of one book and rate it and (kinda) gloss it. Chris Pressey 1 year, 11 months ago
- Add 3 papers and 2 web pages, Requirements and Model Checking. Chris Pressey 1 year, 11 months ago
- Add four web pages, on various topics. Chris Pressey 2 years ago
- Add some notes on a collection of conference proceedings. Chris Pressey 2 years ago
- Format interlinks more usefully. Chris Pressey 2 years ago
- Add a Formal Semantics paper. Chris Pressey 2 years ago
- Rename Specification category to Formal Specification. Chris Pressey 2 years ago