Ratings by cpressey of Formal Specification works

Algebraic Specification

• rating: 1

.

Language Prototyping: an Algebraic Specification Approach

• rating: 1

.

The Essence of Z

• rating: 1

.

Introduction to Z and Discrete Methods

• rating: 1

.

Understanding Z

• rating: 0

.

Program specification and transformation

• rating: 1

.

Semantics, applications, and implementation of program generation

• rating: 1

.

The role of formalism in system requirements (full version)

• rating: 3

.

Consistency Checking of Functional Requirements

• rating: TODO

.

Consistency Checking in Requirements Analysis

• rating: TODO

.

Automated Consistency Checking of Requirements Specifications

• rating: TODO

.

Automatic program generation from specifications using PROLOG

• rating: 1

.

Syntactic Theories in Practice

• rating: 1

.

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

• rating: 1

.

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

• rating: 1

.

Attempto Project

• rating: 2

.

About the Unified Modeling Language Specification Version 2.5.1

• rating: 1

.

Systems modeling language - Wikipedia

• rating: TODO

.

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

• rating: 1

.

SE 507 Algebraic Specifications

• rating: 3

.

Developing an Iterative Program to Compute a Tail Recursive Function

• rating: 1

.

Software Blueprints Web Pages

• rating: 0

.