The SCEAS System
Navigation Menu

Conferences in DBLP

Algebraic Methodology and Software Technology (AMAST) (amast)
1996 (conf/amast/1996)

  1. John S. Fitzgerald
    Two Industrial Trials of Formal Specification. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:1-8 [Conf]
  2. Mark van den Brand, Arie van Deursen, Paul Klint, Steven Klusener, Emma van der Meulen
    Industrial Applications of ASF+SDF. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:9-18 [Conf]
  3. André Arnold, Didier Bégay, Jean-Pierre Radoux
    The Embedded Software of an Electrical Meter: An Experiment in Using Formal Methods in an Industrial Project. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:19-32 [Conf]
  4. Dino Mandrioli
    Applying Research Results in the Industrial Environment: the Case of the TRIO Specification Language. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:33-42 [Conf]
  5. Bernd J. Krämer
    Using Heterogeneous Formal Methods in Distributed Software Engineering Education. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:43-51 [Conf]
  6. Sriram Sankar
    Introducing Formal Methods to Software Engineers Through OMG's COBRA Environment and Interface Definition Language. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:52-61 [Conf]
  7. Douglas R. Smith
    Toward a Classification Approach to Design. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:62-84 [Conf]
  8. Douglas J. Howe
    Semantic Foundations for Embedding HOL in Nuprl. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:85-101 [Conf]
  9. Antonio Gavilanes, Javier Leach, Susana Nieva
    Free Variable Tableaux for a Many Sorted Logic with Preorders. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:102-116 [Conf]
  10. Deepak Kapur, Mahadevan Subramaniam
    Automating Induction over Mutually Recursive Functions. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:117-131 [Conf]
  11. Anne Elisabeth Haxthausen, Friederike Nickl
    Pushouts of Order-Sorted Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:132-147 [Conf]
  12. Davide Ancona, Elena Zucca
    A Formal Framework for Modules with State. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:148-162 [Conf]
  13. Rolf Hennicker, Christoph Schmitz II
    Object-Oriented Implementation of Abstract Data Type Specifications. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:163-179 [Conf]
  14. Wan Fokkink
    On the Completeness of the Euations for the Kleene Star in Bisimulation. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:180-194 [Conf]
  15. Luca Aceto, Anna Ingólfsdóttir
    An Equational Axiomatization of Observation Congruence for Prefix Iteration. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:195-209 [Conf]
  16. Irek Ulidowski
    Finite Axiom Systems for Testing Preorder and De Simone Process Languages. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:210-224 [Conf]
  17. Gérard Berry
    Constructive Semantics of Esterel: From Theory to Practice (Abstract). [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:225- [Conf]
  18. Monica Marcus, Amir Pnueli
    Using Ghost Variables to Prove Refinement. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:226-240 [Conf]
  19. Ranan Fraer
    Tracing the Origins of Verification Conditions. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:241-255 [Conf]
  20. E. Pascal Gribomont
    Preprocessing for Invariant Validation. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:256-270 [Conf]
  21. Michel Le Borgne, Hervé Marchand, Éric Rutten, Mazen Samaan
    Formal Verification of SIGNAL Programs: Application to a Power Transformer Station Controller. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:271-285 [Conf]
  22. Jan A. Bergstra, Paul Klint
    The Discrete Time TOOLBUS. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:286-305 [Conf]
  23. Xiao Jun Chen, Flavio Corradini, Roberto Gorrieri
    A Study on the Specification and Verification of Performance Properties (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:306-320 [Conf]
  24. Michele Boreale
    Symbolic Bisimulation for Timed Processes. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:321-335 [Conf]
  25. Yoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki
    Approximative Analysis by Process Algebra with Graded Spatial Actions. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:336-350 [Conf]
  26. Eric C. R. Hehner
    Boolean Formalism and Explanations. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:351-374 [Conf]
  27. Massimo Marchiori
    Proving Existential Termination of Normal Logic Programs. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:375-390 [Conf]
  28. James Harland, David J. Pym, Michael Winikoff
    Programming in Lygon: An Overview. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:391-405 [Conf]
  29. M. R. K. Krishna Rao
    Some Characteristics of Strong Innermost Normalization. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:406-420 [Conf]
  30. José Luiz Fiadeiro
    On the Emergence of Properties in Component-Based Systems. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:421-443 [Conf]
  31. Barbara Paech
    Algebraic View Specification. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:444-457 [Conf]
  32. Gilles Bernot, Sophie Coudert, Pascale Le Gall
    Towards Heterogeneous Formal Specification. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:458-472 [Conf]
  33. Christel Baier, Mila E. Majster-Cederbaum
    A Categorical Characterization of Consistency Results. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:473-486 [Conf]
  34. Manfred Broy
    Algebraic Specification of Reactive Systems. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:487-503 [Conf]
  35. Radu Grosu, Ketil Stølen
    A Model for Mobile Point-to-Point Data-flow Networks without Channel Sharing. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:504-519 [Conf]
  36. Bart Jacobs
    Coalgebraic Specifications and Models of Determinatistic Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:520-535 [Conf]
  37. Jan Friso Groote, Jaco van de Pol
    A Bounded Retransmission Protocol for Large Data Packets. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:536-550 [Conf]
  38. Richard Jüllig, Yellamraju V. Srinivas, J. Liu
    SPECWARE: An Advanced Evironment for the Formal Development of Complex Software Systems. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:551-554 [Conf]
  39. Michel Bidoit, Christine Choppy, Frédéric Voisin
    ASSPEQUIE: An Integrated Specification Environment Providing Inter-Operability of Tools. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:555-558 [Conf]
  40. Klaus Didrich, Carola Gerke, Wolfgang Grieskamp, Christian Maeder, Peter Pepper
    Towards Integrating Algebraic Specification and Functional Programming: the Opal System (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:559-562 [Conf]
  41. Robert Geisler, Marcus Klar, Felix Cornelius
    InterACT: An Interactive Theorem Prover for Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:563-566 [Conf]
  42. Frédéric Voisin
    A New Proof-Manager and Graphic Interface for the Larch Prover. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:567-570 [Conf]
  43. Nobuo Kawaguchi, Toshiki Sakabe, Yasuyoshi Inagaki
    TERSE: A Visual Environment for Supporting Analysis, Verification and Transformation of Term Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:571-574 [Conf]
  44. Paul Klint, Pieter A. Olivier
    The TOOLBUS Coordination Architecture - A Demonstration. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:575-578 [Conf]
  45. Arie van Deursen, Peter D. Mosses
    ASD: The Action Semantic Description Tools. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:579-582 [Conf]
  46. Arnd Poetzsch-Heffter
    Using Occurence and Evolving Algebras for the Specification of Language-Based Programming Tools. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:583-586 [Conf]
  47. Richard Buckland, Michael Johnson
    ECHIDNA: A System for Manipulating Explicit Choice Higher Dimensional Automata. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:587-590 [Conf]
  48. Stephan Melzer, Stefan Römer, Javier Esparza
    Verification Using PEP. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:591-594 [Conf]
  49. Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone
    The FC2TOOLS Set. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:595-598 [Conf]
  50. James Harland, David J. Pym, Michael Winikoff
    Programming in Lygon: A System Demonstration. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:599- [Conf]
  51. Janet Bertot, Yves Bertot
    CtCoq: A System Presentation. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:600-603 [Conf]
  52. Friedrich W. von Henke, Marko Luther, Holger Pfeifer, Harald Rueß, Detlef Schwier, Martin Strecker, Matthias Wagner
    The TYPELAB Specification and Verification Environment. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:604-607 [Conf]
  53. Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun
    Incremental Formalization. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:608-611 [Conf]
  54. Jeanine Souquières, Nicole Lévy
    PROPLANE: A Specification Development Environment. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:612-615 [Conf]
  55. Patrick Parot
    A Logic-Based Technology to Mechanize Software Components Reuse. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:616-620 [Conf]
  56. Wolfram Schulte, Thilo Schwinn, Ton Vullinghs
    TkGofer: A Functional GUI Library. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:621-624 [Conf]
  57. Sebastian Erdmann, Ingo Claßen
    ALPHA - A Class Library for a Metamodel Based on Algebraic Graph Theory. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:625-628 [Conf]
  58. Didier Bert, Rachid Echahed, Kamel Adi
    Resolution of Goals with the Functional and Logic Programming Language LPG: Impact of Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:629-632 [Conf]
  59. Reinhard Bündgen, Werner Lauterbach
    Combining Reductions and Computations in ReDuX. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:633-636 [Conf]
  60. Sébastien Limet, Pierre Réty
    Conditional Directed Narrowing. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:637-640 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002