The SCEAS System
Navigation Menu

Conferences in DBLP

Formal Methods for Open Object-Based Distributed Systems (fmoods)
1999 (conf/fmoods/1999)

  1. Cosimo Laneve
    Calculi for Concurrent Objects (Tutorial). [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:- [Conf]
  2. Sriram Sankar
    Tools for Integrating Formal Methods in to the Java Software Development Process (Invited Talk). [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:- [Conf]
  3. Stelvio Cimato
    Specifying component-based Java applications (Short Paper). [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:- [Conf]
  4. Robert G. Clark, Ana M. D. Moreira
    SDL in Rigorus Object-Oriented Analysis (Short Paper). [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:- [Conf]
  5. J. L. Colaco, Marc Pantel, Fabien Dagnat, Patrick Sallé
    Static safety analysis for non-uniform service availability in Actors. [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:- [Conf]
  6. Richard O. Sinnott, Mario Kolberg
    Engineering Telecommunication Services With SDL. [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:- [Conf]
  7. Scott F. Smith, Carolyn L. Talcott
    Modular Reasoning for Actor Specification Diagrams. [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:- [Conf]
  8. Werner Damm, David Harel
    LSCs: Breathing Life into Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:- [Conf]
  9. K. Stoelen
    Specification of Dynamic Reconfiguration in the Context of Input/Output Relations. [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:- [Conf]
  10. Khalil Drira, Frédéric Gouëzec, Michel Diaz
    Design and implementation of coordination protocols for distributed cooperating objects: A general graph-based technique applied to CORBA. [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:- [Conf]
  11. José M. Troya, Antonio Vallecillo
    Specifying Reusable Controllers for Software Components (Short Paper). [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:- [Conf]
  12. S. Veglioni, Francesco Parisi-Presicce
    Composition and Interaction for Behavioural Specifications. [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:- [Conf]
  13. Mauro Gaspari, Gianluigi Zavattaro
    An Algebra of Actors. [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:- [Conf]
  14. Birgit Geppert, Frank Rößler, Reinhard Gotzhein
    Pattern Application vs. Inheritance in SDL. [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:- [Conf]
  15. Pamela Zave
    Distributed Feature Composition: An Architecture for Telecommunication Services (Tutorial). [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:- [Conf]
  16. Luca Cardelli
    Foundations for Wide-Area Systems (Tutorial). [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:- [Conf]
  17. Naoki Kobayashi, Akinori Yonezawa
    Distributed and concurrent objects based on linear logic (Invited Talk). [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:- [Conf]
  18. Frank S. de Boer
    Reasoning about Histories in Object-based Distributed Systems. [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:- [Conf]
  19. Elie Najm, Abdelkrim Nimour, Jean-Bernard Stefani
    Infinite types for distributed object interfaces. [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:- [Conf]
  20. C. Balzarotti, Fiorella de Cindio, Lucia Pomello
    Observation equivalences for the semantics of inheritance. [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:- [Conf]
  21. Oscar Nierstrasz
    Piccola - A Small Compositional Language (Invited Talk). [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:- [Conf]
  22. Diego Latella, István Majzik, Mieke Massink
    Towards a Formal Operational Semantics of UML Statechart Diagrams. [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:- [Conf]
  23. Tommaso Bolognesi, Andrea Bracciali
    Formal specification of discrete systems by active predicates and dynamic constraints (Short Paper). [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:- [Conf]
  24. Marcello M. Bonsangue, Joost N. Kok, Kaisa Sere
    Developing Object-based Distributed Systems. [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:- [Conf]
  25. Marc Born, Andreas Hoffmann, Mang Li, Ina Schieferdecker
    Combining Design Methods for Service Development (Short Paper). [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:- [Conf]
  26. D. Ramazani, Gregor von Bochmann
    Object Composition: A Case Study. [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:- [Conf]
  27. Jan Broersen, Roel Wieringa
    A Logic for the Specification of Multi-Object Systems (Short Paper). [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:- [Conf]
  28. Nadia Busi
    Mobile Nets. [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:- [Conf]
  29. Claudia Linnhoff-Popien, Dirk Thißen
    Assessing Service Properties with Regard to a Requested QoS: The Service Metric (Short Paper). [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:- [Conf]
  30. Howard Bowman, John Derrick
    A Junction between State Based and Behavioural Specification (Invited Talk). [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:213-239 [Conf]
  31. Rick van Rein, Maarten M. Fokkinga
    Protocol Assuring Universal Language. [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:241-258 [Conf]
  32. Lynne Blair, Gordon S. Blair
    Composition in Multiparadigm Specification Techniques. [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:401-417 [Conf]
  33. Ercument Canver, Friedrich W. von Henke
    Formal Development of Object-Based Systems in a Temporal Logic Setting. [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:419-436 [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