Algebraic Methodology and Software Technology (AMAST'93)

Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, the Netherlands 21-25 June 1993

  • 1 Want to read
Locate

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today

  • 1 Want to read

Buy this book

Last edited by MARC Bot
June 28, 2019 | History

Algebraic Methodology and Software Technology (AMAST'93)

Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, the Netherlands 21-25 June 1993

  • 1 Want to read

This volume contains papers presented at the Third International Conference on Algebraic Methodology and Sofware Technology (AMAST'93), held at the University of Twente, The Netherlands, 21-25 June 1993. The AMAST conferences aim to promote the use of algebraic methodology as a foundation for software technology, and to examine how universal algebra can provide practical mathematical alternatives to the ad hoc methods commonly used in software development. They are only conferences to focus specifically on this important area of research. The resulting volume covers a variety of software development issues, and testifies to the versatility of algebraic methods when used as conceptual tools in the software development process. The papers present original research in a range of areas, and include a distinguished collection of invited papers by leading researchers in the field. The volume also includes descriptions of six software systems which have been developed using algebraic methods, techniques and tools. Among the topics covered in this volume are: - Algebraic metamathematics; - Functional programming; - Category theory in software engineering; - Modular system design; - Real-time system specification; - Testing theory and applications; - Algebraic semantics of concurrency; - Modal logics and reactive systems; - Design and refinement priciples; - Equational and logic programming; - Algebraic specification in software engineering.

Publish Date
Publisher
Springer London
Language
English
Pages
416

Buy this book

Previews available in: English

Book Details


Edition Notes

Published in
London
Series
Workshops in Computing, 1431-1682, Workshops in computing

Classifications

Library of Congress
QA76.758

The Physical Object

Format
[electronic resource] :
Pagination
1 online resource (XIV, 416 pages 37 illustrations).
Number of pages
416

ID Numbers

Open Library
OL27015865M
Internet Archive
algebraicmethodo1993niva
ISBN 10
1447132270
ISBN 13
9781447132271
OCLC/WorldCat
840277559

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
June 28, 2019 Created by MARC Bot import new book