Description: Algebraic Methodology and Software Technology (AMAST93) by Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software technology, and to show that this can lead to practical mathematical alternatives to the ad-hoc approaches commonly used in software engineering and development. FORMAT Paperback LANGUAGE English CONDITION Brand New Publisher Description This volume contains papers presented at the Third International Conference on Algebraic Methodology and Software Technology (AMAST93), 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. Table of Contents Opening Address by the Rector of the University of Twente.- Welcoming Address AMAST93.- 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. Promotional Springer Book Archives Long Description The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software technology, and to show that this can lead to practical mathematical alternatives to the ad-hoc approaches commonly used in software engineering and development. The first two AMAST conferences, held in May 1989 and May 1991 at the University of Iowa, were well received and encouraged the regular organization of further AMAST conferences on a biennial schedule. The third Conference on Algebraic Methodology and Software Technology was held in the campus of the University of Twente, The Netherlands, during the first week of Summer 1993. Nearly a hundred people from all continents attended the conference. The largest interest received by the AMAST conference among the professionals extended to include the administration organizations as well. AMAST93 was opened by the Rector of the University of Twente, followed by the Local Chairman. Their opening addresses open this proceedings, too. The proceedings contains 8 invited papers and 32 selected communica Details ISBN3540198520 Publisher Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Series Workshops in Computing Year 1993 ISBN-10 3540198520 ISBN-13 9783540198529 Format Paperback Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. K Place of Publication Berlin Country of Publication Germany DEWEY 005.101512 Edited by Giuseppe Scollo Short Title ALGEBRAIC METHODOLOGY & SOFTWA Language English Media Book Publication Date 1993-12-17 Birth 1937 Pages 416 Illustrations XIV, 416 p. DOI 10.1007/978-1-4471-3227-1 Author Giuseppe Scollo Edition Description Softcover reprint of the original 1st ed. 1994 Subtitle Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21–25 June 1993 Audience Postgraduate, Research & Scholarly We've got this At The Nile, if you're looking for it, we've got it. With fast shipping, low prices, friendly service and well over a million items - you're bound to find what you want, at a price you'll love! TheNile_Item_ID:96341629;
Price: 116.58 AUD
Location: Melbourne
End Time: 2025-01-14T06:18:47.000Z
Shipping Cost: 12.93 AUD
Product Images
Item Specifics
Restocking fee: No
Return shipping will be paid by: Buyer
Returns Accepted: Returns Accepted
Item must be returned within: 30 Days
ISBN-13: 9783540198529
Book Title: Algebraic Methodology and Software Technology (AMAST93)
Number of Pages: 416 Pages
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
Language: English
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Item Height: 235 mm
Subject: Computer Science
Publication Year: 1993
Type: Textbook
Item Weight: 710 g
Author: Maurice Nivat, Teodor Rus, Charles Rattray, Giuseppe Scollo
Item Width: 155 mm
Format: Paperback
