Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993

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 Process Algebras.- 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.