eBook Algebraic Specifications in Software Engineering: An Introduction download
by Ivo Van Horebeek,Johan Lewi
Author: Ivo Van Horebeek,Johan Lewi
Publisher: Springer Verlag (December 1, 1989)
ePub: 1434 kb
Fb2: 1778 kb
Other formats: lrf mobi lrf lit
The book will be of interest to software designers and programmers. It can also be used as material for an introductory course on algebraic specifications and software engineering at undergraduate or graduate level.
The book will be of interest to software designers and programmers. 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.
Authors: Horebeek, Ivo Van, Lewi, Johan. eBook 67,82 €. price for Russian Federation (gross). What prevents algebraic specifications from breaking through is the absence of introductory descriptions and tools supporting the construction of algebraic specifications.
Start by marking Algebraic Specifications In Software Engineering: An Introduction as Want to Read . interest from industry will stimulate people to make introductions and tools.
Start by marking Algebraic Specifications In Software Engineering: An Introduction as Want to Read: Want to Read savin. ant to Read. whereas on the other hand the existence of introductions and tools will stimulate industry to use algebraic specifications. This book should be seen as a contribution towards creating this virtuous circle. The book will be of interest to software designers and programmers.
Algebraic specifications in software engineering : an introduction Eric Steegmans, Johan Lewi, Ivo Van Horebeek.
Algebraic specifications in software engineering : an introduction. Ivo Van Horebeek, Joannes Lewi. There is now general agreement that formal specifications are needed to obtain quality software in large projects. Algebraic specifications form a major category of formal specifications. Eric Steegmans, Johan Lewi, Ivo Van Horebeek.
Описание: The book does not take & of specifications or software for granted, but furnishes a foundation for taking as rigorous an approach to reuse decisions as to precise specifications in original developments. Автор: Haim Kilov; Bernhard Rumpe; Ian Simmonds Название: Behavioral Specifications of Businesses and Systems ISBN: 1461373832 ISBN-13(EAN): 9781461373834 Издательство: Springer Рейтинг
Algebraic specification, is a software engineering technique for formally specifying system behavior
Algebraic specification, is a software engineering technique for formally specifying system behavior. Algebraic specification seeks to systematically develop more efficient programs by: formally defining types of data, and mathematical operations on those data types. formalizing the computations and operations on data types.
Johan Lewi Ivo Van Horebeek.
A well-defined algebraic specification does not only precisely describe an abstract data type in its normal situations, but also in its abnormal (exceptional) ones. As an introduction to abstract implementations first an intuitive discussion of the general principles of the method is given. These principles are then illustrated by a simple example. by Ivo Van Horebeek and Johan Lewi.