English
Unordered
TypeScript - Language Specification, Version 1.6
Anders Hejlsberg,Steve Lucco
2015
View book
Discover references
Specification
Books
13 results
English
Beginner
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics
Hartmut Ehrig,Bernd Mahr
1985
View book
English
Beginner
Fundamentals of Algebraic Specification 2: Module Specifications and Constraints
Hartmut Ehrig,Bernd Mahr
1990
View book
English
Unordered
Requirements Engineering: Fundamentals, Principles, and Techniques
Klaus Pohl
2010
View book
English
Beginner
Designing Embedded Systems with the SIGNAL Programming Language: Synchronous, Reactive Specification
Abdoulaye Gamatie (auth.)
2010
View book
English
Beginner
Software Requirements: Encapsulation, Quality, And Reuse
Rick Lutowski
2005
View book
English
Beginner
UML Xtra-Light: How to Specify Your Software Requirements
Milan Kratochvil,Barry McGibbon
2002
View book
English
Unordered
Interactive Systems Design, Specification, and Verification: 7th International Workshop, DSV-IS 2000 Limerick, Ireland, June 5–6, 2000 Revised Papers
Timothy N. Wright,T. C. Nicholas Graham,Tore Urnes (auth.),Philippe Palanque,Fabio Paternò (eds.)
2001
View book
English
Unordered
Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers
Ann Blandford,Paul Curzon,Joanne Hyde (auth.),T. C. Nicholas Graham,Philippe Palanque (eds.)
2008
View book