The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. David Lorge Parnas
    Invited Talk: A Software Engineering Program of Lasting Value. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:1- [Conf]
  2. Jeannette M. Wing
    Invited Talk: Weaving Formal Methods into the Undergraduate Computer Science Curriculum. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:2-9 [Conf]
  3. David Lorge Parnas
    Making Mathematical Methods More Practical for Software Developers (Invited Talk). [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:9-10 [Conf]
  4. Max Breitling, Jan Philipps
    Step by Step to Histories. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:11-25 [Conf]
  5. Sofia Guerra
    Distance Functions for Defaults in Reactive Systems. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:26-40 [Conf]
  6. Bernhard Heinemann
    Generalizing the Modal and Temporal Logic of Linear Time. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:41-56 [Conf]
  7. Antonio Cerone
    Process Algebra versus Axiomatic Specification of a Real-Time Protocol. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:57-72 [Conf]
  8. Mark Lawford, Jeff McDougall, Peter Froebel, Greg Moum
    Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:73-88 [Conf]
  9. Manfred Broy, Martin Wirsing
    Invited Talk: Algebraic State Machines. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:89-188 [Conf]
  10. Eric Van Wyk
    Meta Languages in Algebraic Compilers. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:119-134 [Conf]
  11. Martin Erwig
    Random Access to Abstract Data Types. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:135-149 [Conf]
  12. Bart Jacobs, Erik Poll
    A Monad for Basic Java Semantics. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:150-164 [Conf]
  13. Christine Choppy, Pascal Poizat, Jean-Claude Royer
    A Global Semantics for Views. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:165-180 [Conf]
  14. Patricia M. Hill, Fausto Spoto
    Analysis of Downward Closed Properties of Logic Programs. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:181-196 [Conf]
  15. Yuri Gurevich
    Invited Talk: ASM Formalware in the Software Engineering Cycle. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:197- [Conf]
  16. Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
    Process Calculi for Coordination: From Linda to JavaSpaces. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:198-212 [Conf]
  17. Colin J. Fidge
    The Algebra of Multi-tasking. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:213-227 [Conf]
  18. Simone Tini, Andrea Maggiolo-Schettini
    A Causal Semantics for Timed Default Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:228-242 [Conf]
  19. Gianna Reggio, Lorenzo Repetto
    CASL-CHART: A Combination of Statecharts and of the Algebraic Specification Language CASL. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:243-257 [Conf]
  20. Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli
    Message Authentication through Non Interference. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:258-272 [Conf]
  21. Egidio Astesiano, Maura Cerioli, Gianna Reggio
    Invited Talk: Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:273-292 [Conf]
  22. Egon Börger, Alessandra Cavarra, Elvinia Riccobene
    An ASM Semantics for UML Activity Diagrams. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:293-308 [Conf]
  23. Mingsheng Ying, Martin Wirsing
    Approximate Bisimilarity. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:309-322 [Conf]
  24. Suzana Andova
    Time and Probability in Process Algebra. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:323-338 [Conf]
  25. Rocco De Nicola, Michele Loreti
    A Modal Logic for KLAIM. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:339-354 [Conf]
  26. Jules Desharnais, Bernhard Möller, Fairouz Tchier
    Kleene under a Demonic Star. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:355-370 [Conf]
  27. Oege de Moor, Jeremy Gibbons
    Invited Talk: Pointwise Relational Programming. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:371-390 [Conf]
  28. Carolyn L. Talcott
    Towards a Toolkit for Actor System Specification. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:391-406 [Conf]
  29. Christiano de O. Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses
    Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:407-421 [Conf]
  30. Francisco Durán
    The Extensibility of Maude's Module Algebra. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:422-437 [Conf]
  31. Sophie Coudert, Pascale Le Gall
    A Reuse-Oriented Framework for Hierarchical Specifications. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:438-453 [Conf]
  32. Davide Ancona
    MIX(FL): A Kernel Language of Mixin Modules. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:454-468 [Conf]
  33. Clemens Fischer, Heike Wehrheim
    Behavioural Subtyping Relations for Object-Oriented Formalisms. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:469-483 [Conf]
  34. Michael Healy, Keith E. Williamson
    Invited Talk: Applying Category Theory to Derive Engineering Software from Encoded Knowledge. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:484-498 [Conf]
  35. Kamel Adi, Mourad Debbabi, Mohamed Mejri
    A New Logic for Electronic Commerce Protocols. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:499-513 [Conf]
  36. Marielle Doche, Virginie Wiels
    Extended Institutions for Testing. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:514-528 [Conf]
  37. Patrícia D. L. Machado
    Testing from Structured Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:529-544 [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