5. AMAST 1996: Munich, Germany
Martin Wirsing, Maurice Nivat (Eds.):
Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings.
Lecture Notes in Computer Science 1101 Springer 1996, ISBN 3-540-61463-X BibTeX
@proceedings{DBLP:conf/amast/1996,
editor = {Martin Wirsing and
Maurice Nivat},
title = {Algebraic Methodology and Software Technology, 5th International
Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings},
booktitle = {AMAST},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1101},
year = {1996},
isbn = {3-540-61463-X},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Education Day: Industrial Applications of Formal Methods
Conference
Invited Talk
Session 1:
Theorem Proving
Session 2:
Algebraic Specification
Session 3:
Concurrent and Reactive Systems I
Invited Talk
- Gérard Berry:
Constructive Semantics of Esterel: From Theory to Practice (Abstract).
225 BibTeX
Session 4:
Program Verification
Invited Talk
Session 5:
Concurrent and Reactive Systems II
Invited Talk
Session 6:
Logic Programming and Term Rewriting
Invited Talk
Session 7:
Algebraic and Logical Foundations
Invited Talk
Session 8:
Concurrent and Reactive Systems III
System Presentations
- Richard Jüllig, Yellamraju V. Srinivas, J. Liu:
SPECWARE: An Advanced Evironment for the Formal Development of Complex Software Systems.
551-554 BibTeX
- Michel Bidoit, Christine Choppy, Frédéric Voisin:
ASSPEQUIE: An Integrated Specification Environment Providing Inter-Operability of Tools.
555-558 BibTeX
- Klaus Didrich, Carola Gerke, Wolfgang Grieskamp, Christian Maeder, Peter Pepper:
Towards Integrating Algebraic Specification and Functional Programming: the Opal System (Extended Abstract).
559-562 BibTeX
- Robert Geisler, Marcus Klar, Felix Cornelius:
InterACT: An Interactive Theorem Prover for Algebraic Specifications.
563-566 BibTeX
- Frédéric Voisin:
A New Proof-Manager and Graphic Interface for the Larch Prover.
567-570 BibTeX
- Nobuo Kawaguchi, Toshiki Sakabe, Yasuyoshi Inagaki:
TERSE: A Visual Environment for Supporting Analysis, Verification and Transformation of Term Rewriting Systems.
571-574 BibTeX
- Paul Klint, Pieter A. Olivier:
The TOOLBUS Coordination Architecture - A Demonstration.
575-578 BibTeX
- Arie van Deursen, Peter D. Mosses:
ASD: The Action Semantic Description Tools.
579-582 BibTeX
- Arnd Poetzsch-Heffter:
Using Occurence and Evolving Algebras for the Specification of Language-Based Programming Tools.
583-586 BibTeX
- Richard Buckland, Michael Johnson:
ECHIDNA: A System for Manipulating Explicit Choice Higher Dimensional Automata.
587-590 BibTeX
- Stephan Melzer, Stefan Römer, Javier Esparza:
Verification Using PEP.
591-594 BibTeX
- Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone:
The FC2TOOLS Set.
595-598 BibTeX
- James Harland, David J. Pym, Michael Winikoff:
Programming in Lygon: A System Demonstration.
599 BibTeX
- Janet Bertot, Yves Bertot:
CtCoq: A System Presentation.
600-603 BibTeX
- Friedrich W. von Henke, Marko Luther, Holger Pfeifer, Harald Rueß, Detlef Schwier, Martin Strecker, Matthias Wagner:
The TYPELAB Specification and Verification Environment.
604-607 BibTeX
- Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun:
Incremental Formalization.
608-611 BibTeX
- Jeanine Souquières, Nicole Lévy:
PROPLANE: A Specification Development Environment.
612-615 BibTeX
- Patrick Parot:
A Logic-Based Technology to Mechanize Software Components Reuse.
616-620 BibTeX
- Wolfram Schulte, Thilo Schwinn, Ton Vullinghs:
TkGofer: A Functional GUI Library.
621-624 BibTeX
- Sebastian Erdmann, Ingo Claßen:
ALPHA - A Class Library for a Metamodel Based on Algebraic Graph Theory.
625-628 BibTeX
- Didier Bert, Rachid Echahed, Kamel Adi:
Resolution of Goals with the Functional and Logic Programming Language LPG: Impact of Abstract Interpretation.
629-632 BibTeX
- Reinhard Bündgen, Werner Lauterbach:
Combining Reductions and Computations in ReDuX.
633-636 BibTeX
- Sébastien Limet, Pierre Réty:
Conditional Directed Narrowing.
637-640 BibTeX
Copyright © Sat May 16 22:57:39 2009
by Michael Ley (ley@uni-trier.de)
