Formal Specification

Notes on B. Meyer\'s \"On Formalism in Specifications\"

• url: https://www.cs.scranton.edu/~mccloske/courses/se507/meyer_formalism_in_specs_lec.html

.

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

• url: https://bertrandmeyer.com/

.

Attempto Controlled English - Wikipedia

• url: https://en.wikipedia.org/wiki/Attempto_Controlled_English

.

Attempto Project

• url: http://attempto.ifi.uzh.ch/site/

.

About the Unified Modeling Language Specification Version 2.5.1

• url: https://www.omg.org/spec/UML/2.5.1

.

Systems modeling language - Wikipedia

• url: https://en.wikipedia.org/wiki/Systems_modeling_language

.

SysML Open Source Project: What is SysML? Who created it?

• url: https://sysml.org/index.html

.

SE 507 Algebraic Specifications

• url: https://www.cs.scranton.edu/~mccloske/courses/se507/alg_specs_lec.html

.

Developing an Iterative Program to Compute a Tail Recursive Function

• url: https://www.cs.scranton.edu/~mccloske/courses/se504/tail_recursion.html

.

Software Blueprints Web Pages

• url: https://www.dai.ed.ac.uk/groups/ssp/bookpages/blueprints.html

.