Algebraic Methodology and Software Technology: 8th International Conference, Amast 2000, Iowa City, Iowa, Usa, May 20-27, 2000 : Proceedings

by International Conference on Algebraic Methodology and Software Technology (8th : 2000 : Iowa City, Iowa); Rus, Teodor

• ISBN13: 9783540675303
• ISBN10: 3540675302
• Format: Paperback
• Copyright: 2000-05-01
• Publisher: Springer Verlag

Summary

The second volume on Dendrimers is again written by pioneers in the field. Their contributions illuminate the aspects of dendrimers mentioned in the subtitle of this volume, and also touch on areas beyond chemistry, namely material sciences as well as biological, medicinal, analytical and nano aspects. Different types of dendrimers (Polyester, POPAM, porphyrin-, podand-, organometallic-, silicon-based) with perfectly or less precisely directed cascade architectures are highlighted. Synthesis, chirality, reactivity, mechanism, host-guest interactions, polymer chemical aspects are addressed. This review is expected to again be most interesting and useful for chemists of all disciplines as well as for neighbouring bio- and material sciences.

Table of Contents

Education Day
Invited Talk: A Software Engineering Program of Lasting Value	1	(1)
David L. Parnas
Invited Talk: Weaving Formal Methods into the Undergratuate Computer Science Curriculum	2	(7)
Jeannette M. Wing
Technical Meetings
Session 1
Invited Talk: Making Mathematical Methods More Practical for the Software Developers	9	(2)
David L. Parnas
Step by Step to Histories	11	(15)
Max Breitling
Jan Philipps
Distance Functions for Defaults in Reactive Systems	26	(15)
Sofia Guerra
Generalizing the Modal and Temporal Logic of Linear Time	41	(16)
Bernhard Heinemann
Process Algebra versus Axiomatic Specification of a Real-Time Protocol	57	(16)
Antonio Cerone
Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software	73	(16)
Mark Lawford
Jeff McDougall
Peter Froebel
Greg Moum
Session 2
Invited Talk: Algebraic State Machines	89	(30)
Manfred Broy
Martin Wirsing
Meta Languages in Algebraic Compilers	119	(16)
Eric Van Wyk
Random Access to Abstract Data Types	135	(15)
Martin Erwig
A Monad for Basic Java Semantics	150	(15)
Bart Jacobs
Erik Poll
A Global Semantics for Views	165	(16)
Christine Choppy
Pascal Poizat
Jean-Claude Royer
Analysis of Downward Closed Properties of Logic Programs	181	(16)
Patricia M. Hill
Fausto Spoto
Session 3
Invited Talk: ASM Formalware in the Software Engineering Cycle	197	(1)
Yuri Gurevich
Process Calculi for Coordination: From Linda to JavaSpaces	198	(15)
Nadia Busi
Roberto Gorrieri
Gianluigi Zavattaro
The Algebra of Multi-tasking	213	(15)
Colin J. Fidge
A Causal Semantics for Timed Default Concurrent Constraint Programming	228	(15)
Simone Tini
Andrea Maggiolo-Schettini
Casl-Chart: A Combination of Statecharts and of the Algebraic Specification Language Casl	243	(15)
Gianna Reggio
Lorenzo Repetto
Message Authentication through Non Interference	258	(15)
Riccardo Focardi
Roberto Gorrieri
Fabio Martinelli
Session 4
Invited Talk: Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML	273	(20)
Egidio Astesiano
Maura Cerioli
Gianna Reggio
An ASM Semantics for UML Activity Diagrams	293	(16)
Egon Borger
Alessandra Cavarra
Elvinia Riccobene
Approximate Bisimilarity	309	(14)
Mingsheng Ying
Martin Wirsing
Time and Probability in Process Algebra	323	(16)
Suzana Andova
A Modal Logic for Klaim	339	(16)
Rocco De Nicola
Michele Loreti
Kleene under a Demonic Star	355	(16)
Jules Desharnais
Bernhard Moller
Fairouz Tchier
Session 5
Invited Talk: Pointwise Relational Programming	371	(20)
Oege de Moor
Jeremy Gibbons
Towards a Toolkit for Actor System Specification	391	(16)
Carolyn L. Talcott
Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic	407	(15)
Christiano de O. Braga
E. Hermann Haeusler
Jose Meseguer
Peter D. Mosses
The Extensibility of Maude's Module Algebra	422	(16)
Francisco Duran
A Reuse-Oriented Framework for Hierarchical Specifications	438	(16)
Sophie Coudert
Pascale Le Gall
MIX(FL): A Kernel Language of Mixin Modules	454	(15)
Davide Ancona
Behavioural Subtyping Relations for Object-Oriented Formalisms	469	(15)
Clemens Fischer
Heike Wehrheim
Session 6
Invited Talk: Applying Category Theory to Derive Engineering Software from Encoded Knowledge	484	(15)
Michael Healy
Keith Williamson
A New Logic for Electronic Commerce Protocols	499	(15)
Kamel Adi
Mourad Debbabi
Mohamed Mejri
Extended Institutions for Testing	514	(15)
Marielle Doche
Virginie Wiels
Testing from Structured Algebraic Specifications	529	(16)
Patricia D. L. Machado
Author Index	545