Overview

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.

Full Product Details

Author:   Maurice Nivat ,  Charles Rattray ,  Teodor Rus ,  Giuseppe Scollo
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   Softcover reprint of the original 1st ed. 1994
Dimensions:   Width: 15.50cm , Height: 2.30cm , Length: 23.50cm
Weight:   0.710kg
ISBN:  

9783540198529

ISBN 10:   3540198520
Pages:   416
Publication Date:   17 December 1993
Audience:   College/higher education ,  Professional and scholarly ,  Postgraduate, Research & Scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Out of stock  
The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available.

Table of Contents

Opening Address by the Rector of the University of Twente.- Welcoming Address AMAST’93.- Invited Papers.- Applying Algebraic Logic to Logic.- Relation Algebras for Reasoning About Time and Space.- On the Value of Commutative Diagrams in Information Modelling.- Rigorous Specification of Real-Time Systems.- Full Abstraction in Structural Operational Semantics (Extended Abstract).- Synchronous Observers and the Verification of Reactive Systems.- Constraints in Term Algebras (Short Survey).- Joining Abstract and Concrete Computations in Constraint Logic Programming.- Communications.- Dimension-Complemented Lambda Abstraction Algebras.- Parameterized Recursion Theory—A Tool for the Systematic Classification of Specification Methods.- Increasing the Level of Abstraction in Traditional Functional Languages by Using Compile-Time Reflection.- A Coherent Type System for a Concurrent, Functional and Imperative Programming Language.- Peirce Algebras (Extended Abstract).- Comparing Two Different Approaches to Products in Abstract Relation Algebra.- Specifying Type Systems with Multi-Level Order-Sorted Algebra.- An Overview of the SODA System.- Category Theory for the Configuration of Complex Systems.- Algebraic-Oriented Institutions.- On the Correctness of Modular Systems.- Interaction Between Algebraic Specification Grammars and Modular System Design.- Specification of Hybrid Systems in CRP.- Real-Time Program Synthesis from Specifications.- On the Coverage of Partial Validations.- Verifying Communication Protocols via Testing-Projection.- Equivalences of Transition Systems in an Algebraic Framework.- Semantics Frameworks for a Class of Modular Algebraic Nets.- A Characterization of LOTOS Representable Networks of Parallel Processes.- Towards Performance Evaluation in ProcessAlgebras.- Translation Results for Modal Logics of Reactive Systems.- Modal Action Logic in a Practical Specification Language.- On Using a Composition Principle to Design Parallel Programs.- A Notion of Refinement for Automata.- The Role of Memory in Object-Based and Object-Oriented Languages.- Abstract and Concrete Objects—An Algebraic Design Method for Object-Based Systems.- Towards an Algebraic Theory of Inheritance in Object Oriented Programming.- An Object-Oriented Design for the ACT ONE Environment.- A Formal Definition of an Abstract Prolog Compiler (Extended Abstract).- Completeness of Equational Definitions over Predefined Algebras.- An Algebraic Approach to Modeling in Software Engineering.- Automated Proof of the Correctness of a Compiling Specification.- System Demonstrations.- RELVIEW—A Computer System for the Manipulation of Relations.- RALF—A Relation-Algebraic Formula Manipulation System and Proof Checker.- Towards an Integrated Environment for Concurrent Programs Development.- The LOTOS Toolbox.- The ASF + SDF Meta-Environment.- Executing Action Semantic Descriptions Using ASF + SDF.- Author Index.

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions