Lambda Expressions in Casl Architectural Specifications
From MaRDI portal
Publication:2890326
DOI10.1007/978-3-642-28412-0_8zbMath1312.68141MaRDI QIDQ2890326
Publication date: 8 June 2012
Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-28412-0_8
68Q65: Abstract data types; algebraic specification
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Uses Software
Cites Work
- Architectural specifications in CASL
- Toward formal development of programs from algebraic specifications: Implementations revisited
- CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
- CASL reference manual. The complete documentation of the common algebraic specification language.
- Institutions: abstract model theory for specification and programming
- Recent Trends in Algebraic Development Techniques
- Recent Trends in Algebraic Development Techniques
- Unnamed Item