Opening book details…
Can I read Algebraic Specifications in Software Engineering : An Introduction on EtoBox?
Algebraic Specifications in Software Engineering : An Introduction by Ivo Van Horebeek; Johan Lewi is a science book available to read on EtoBox.
What is Algebraic Specifications in Software Engineering : An Introduction about?
"I prefer to view formal methods as tools. the use of which might be helpful." E. W. Dijkstra Algebraic specifications are about to be accepted by industry. Many projects in which algebraic specifications have been used as a design tool have been carried out. What prevents algebraic specifications from breaking through is the absence of introductory descriptions and tools supporting the construction of algebraic specifications. On the one hand. interest from industry will stimulate people to mak
Who reads Algebraic Specifications in Software Engineering : An Introduction?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Ivo Van Horebeek; Johan Lewi
- Publisher
- Springer Berlin Heidelberg
- Published
- 2012
- Language
- EN
- ISBN
- 9780387516264
- Category
- science
- Subjects
- Engineering, Computer Science, Science
- Updated
- 2026-03-25
More by Ivo Van Horebeek; Johan Lewi
Browse all works by Ivo Van Horebeek; Johan Lewi
Similar books
- Nondeterminism in Algebraic Specifications and Algebraic Programs (Progress in Theoretical Computer Science) — H. Hussmann (2012)
- Experimentation in Software Engineering: An Introduction — Claes Wohlin, Per Runeson, Martin Höst, Magnus C. Ohlsson, Björn Regnell, Anders Wesslén (auth.) (2000)
- Software Engineering with OBJ: Algebraic Specification in Action (Advances in Formal Methods, 2) — Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi (auth.), Joseph Goguen, Grant Malcolm (2000)
- Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series) — Andrzej Tarlecki Donald Sannella (2011)
- An Undergraduate Primer in Algebraic Geometry — Ciro Ciliberto (2021)
- Requirements Engineering : from System Goals to UML Models to Software Specifications — van Lamsweerde, Axel (2009)