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 by Maurice Nivat, Teodor Rus, Charles Rattray, Giuseppe Scollo (Paperback, 1993)
This volume contains papers presented at the Third International Conference on Algebraic Methodology and Software 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 the 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 principles; Equational and logic programming; Algebraic specification in software engineering.
Product Identifiers
Publisher
Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
ISBN-13
9783540198529
eBay Product ID (ePID)
95112502
Product Key Features
Author
Maurice Nivat, Teodor Rus, Charles Rattray, Giuseppe Scollo
Publication Name
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
Format
Paperback
Language
English
Subject
Computer Science
Publication Year
1993
Type
Textbook
Number of Pages
416 Pages
Dimensions
Item Height
235mm
Item Width
155mm
Item Weight
710g
Additional Product Features
Series Title
Workshops in Computing
Editor
Giuseppe Scollo, Maurice Nivat, Charles Rattray, Teodor Rus
Country/Region of Manufacture
Germany
Best Selling in Adult Learning & University
Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Adult Learning & University