Last edited by Shakabei
Tuesday, May 12, 2020 | History

7 edition of Algebraic specifications in software engineering found in the catalog.

Algebraic specifications in software engineering

an introduction

by Ivo van Horebeek

  • 275 Want to read
  • 37 Currently reading

Published by Springer-Verlag in Berlin, New York .
Written in English

    Subjects:
  • Software engineering.,
  • Abstract data types (Computer science)

  • Edition Notes

    Includes bibliographical references (p. [327]-342)

    StatementIvo van Horebeek, Johan Lewi.
    ContributionsLewi, Johan.
    Classifications
    LC ClassificationsQA76.758 .H67 1989
    The Physical Object
    Paginationxiv, 350 p. :
    Number of Pages350
    ID Numbers
    Open LibraryOL2204271M
    ISBN 100387516263
    LC Control Number89026115

    Download Citation | Testing from Structured Algebraic Specifications | This paper deals with testing from structured algebraic specifications expressed . BOOKS and BOOK CHAPTERS M.C. Gaudel, G. Bernot, Algebraic Foundations of Systems Specification: The role of Formal Specifications. Book Chapter I, IFIP State-of-the-Art Report on Algebraic Foundations of Systems Specification, ano, ki and -Bruckner Eds, p, Springer ISBN , August,

    Software Engineering Tutorial 1 Let us understand what Software Engineering stands for. The term is made of two words, software and engineering. Software is more than just a program code. A program is an executable code, which serves some computational purpose. Software is considered to be collection. This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and studying their fundamental by:

    Software Engineering with OBJ: Algebraic Specification in Action is a comprehensive introduction to OBJ, the most widely used algebraic specification system. As a formal specification language, OBJ makes specifications and designs more precise and easier to read, as well as making maintenance easier and more : Springer US. The language has been developed with the use of algebraic specifications, the role of which is discussed. Note: An extended abstract appeared under the same title in M. Wirsing (editor), Proceedings of the ICSE Workshop on Formal Methods Application in Software Engineering Practice, Seattle, April


Share this book
You might also like
Kissing Doornobs

Kissing Doornobs

Place-names and field-names of the parish of Watford.

Place-names and field-names of the parish of Watford.

Liability in trans-European road transport

Liability in trans-European road transport

Ship financing and taxation

Ship financing and taxation

MENTAL LOGIC PR (CANCELLED)

MENTAL LOGIC PR (CANCELLED)

Historical data relating to the Odessa pastoral charge of the United Church of Canada

Historical data relating to the Odessa pastoral charge of the United Church of Canada

analysis of the regression model for nonsaturating logic circuit analysis.

analysis of the regression model for nonsaturating logic circuit analysis.

Engineering structures.

Engineering structures.

Pleasant neighbour

Pleasant neighbour

Before the revolution

Before the revolution

Algebraic specifications in software engineering by Ivo van Horebeek Download PDF EPUB FB2

It can also be used as material for an introductory course on algebraic specifications and software engineering at undergraduate or graduate level. Nowadays. there is general agreement that in large Algebraic specifications in software engineering book projects appropriate specifications are a must in order to obtain quality software.

This book should be seen as a contribution towards creating this virtuous circle. 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.

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; abstracting implementation details, such as the size of representations (in memory) and the efficiency of.

The output of each operation is captured in declarative terms, often recursively. As the number of function definition expands, they can be used to define or characterize each other’s behavior. A chapter on the practical application and value of algebraic specifications can be found in Sommerville’s Software Engineering book [49].

The first author is a professor of computer science at the University of Edinburgh. His key research area is foundations for specification and formal development of modular software systems from specifications, with applications to computer security and programming languages; among other responsibilities, he is the Editor-in-Chief of the journal Theoretical Computer Cited by: Algebraic Specifications in Software Engineering.

Abstract. No abstract available. Proceedings of the 16th international conference on Software engineering, () Karali I and Halatsis C Abstract data type support in Prolog and its relation to parallelism Proceedings of the ACM symposium on Applied computing, ().

Genre/Form: Einführung: Additional Physical Format: Online version: Horebeek, Ivo van, Algebraic specifications in software engineering. Berlin ; New York. Algebraic Specifications in Software Engineering: an Introduction.

The aim of this book is to bridge the gap between theory and practice by providing a sound introduction to algebraic specifications. In the book the authors - show the benefits of using algebraic specifications, - present an algebraic specification language and a method to.

Software Engineering with OBJ: Algebraic Specification in Action is a comprehensive introduction to OBJ, the most widely used algebraic specification system.

As a formal specification language, OBJ makes specifications and designs more precise and easier to read, as well as making maintenance easier and more accurate. Futatsugi is one of the founding fathers of the field of algebraic specification and verification and is a leading researcher in formal methods and software engineering.

He has pioneered and advanced novel algebraic methods and languages supporting them such as OBJ and CafeOBJ and has worked tirelessly over the years to bring such methods and. I'm a software engineering and mathematics student, I was searching for disciplines of mathematics that would go well with my engineering degree, and found a lot of people recommended that software engineers should learn at least a bit of linear algebra, giving book recomendations and else, but I couldn't find any real applications in the software world as to.

The method of creating algebraic specifications is described. A specification for a simple library system is then developed. Finally, the use of such Cited by: 5. Software Engineering with OBJ: Algebraic Specification in Actionwill be of interest to students and teachers in the areas of datatypes, programming languages, semantics, theorem proving, and algebra,as well as to researchers and practitioners in software engineering.

Buy Software Engineering 5th edition () selling book which introduces a spectrum of software engineering techniques that can be applied to practical software projects. The most comprehensive and current book for beginner and expert software engineers alike.

Algebraic Specifications. Model-based Specification. III Book Edition: 5th Abstract. In the book the authors - show the benefits of using algebraic specifications, - present an algebraic specification language and a method to use this language, - explain the underlying mathematical foundations of the algebraic specifications and the consequences of the theory for the practitioner, and - present not only small examples but also case studies of a reasonable Author: Ivo Van Horebeek and Joannes Lewi.

Stack Exchange network consists of Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers. Visit Stack Exchange. Entdecken Sie "Algebraic Specifications in Software Engineering" von Johan Lewi und finden Sie Ihren Buchhändler.

"e;I prefer to view formal methods as tools. the use of which might be helpful."e; E. 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.

This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and studying their fundamental properties.

and this interplay between mathematics and software engineering yields results that are mathematically. Master of Science in Software Engineering / Main navigation Since algebraic compilers can be automatically generated from algebraic specifications of the source and target algebras this methodology enjoys the advantage of the automatic generation of model checking algorithms from the algebraic specification of the temporal logics and their.

The intention of this book is to show how algebraic specification methods can be used for software development to support reliability, modifiability and reusability. These methods are introduced by parameterized and module specifications through practical examples and case studies using algebraic specification languages and tools developed at.

The B Book: Assigning Programs to Meanings. Cambridge Bernot, G., Gaudel, M.-C., Marre, B.: Software testing based on formal specifications: A theory and a tool. Software Engineering Journal 6(6), () Google Using algebraic specifications in software testing: a case study on the software of an automatic subway.The app is a complete free handbook of Numerical Methods & Analysis which covers important topics, notes, materials & news on the course.

Download the App as aSubcategory: Other. Software Engineer's Reference Book provides the fundamental principles and general approaches, contemporary information, and applications for developing the software of computer systems.

The book is comprised of three main parts, an epilogue, and a comprehensive index. The first part covers the theory of computer science and relevant Edition: 1.