Specification Language

Springer

Embedded Systems Specification and Design Languages: Selected Contributions from FDL’07: 10 (Lecture Notes in Electrical Engineering)

Springer

System Specification and Design Languages: Selected Contributions from FDL 2010: 106 (Lecture Notes in Electrical Engineering)

[(The Object-Z Specification Language )] [Author: Graeme Smith] [Nov-2012]

World Scientific Publishing Company

Real Time Programming: Languages, Specification And Verification

Springer

Program Development by Specification and Transformation: The PROSPECTRA Methodology, Language Family, and System: 680 (Lecture Notes in Computer Science)

[(Software Engineering 2: v. 2: Specification of Systems and Languages )] [Author: Dines Bjorner] [Apr-2006]

LAP LAMBERT Academic Publishing

Generating Alloy Specification: From Textual User Requirements Written in Natural Language

Edexcel Limited

Advanced Subsidiary and Advanced GCE in English Language Specification from 2008 UA035229 (PQS Curriculum Materials)

Paragon: A Language Using Type Hierarchies for the Specification, Implementation, and Selection of Abstract Data Types (Lecture Notes in Computer Science) by Mark S. Sherman (2008-06-13)

Springer

Designing Embedded Systems with the SIGNAL Programming Language: Synchronous, Reactive Specification