Search for publications:
Home
Publications
About
Login
Activate Account
Publications
Search

Publications :: Search

Show venue

On this page you see the details of the selected venue.

    Conference
    Name: Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy 1999
    DBLP: db/conf/fmoods/fmoods1999.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 33 of 33  
    Select a publication
    Show Title Venue Rating Date
    Cosimo Laneve.
    Calculi for Concurrent Objects (Tutorial).     		Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy 1999 (0) 1999
    Diego Latella, István Majzik, Mieke Massink.
    Towards a Formal Operational Semantics of UML Statechart Diagrams.     		Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy 1999 (0) 1999
    C. Balzarotti, Fiorella de Cindio, Lucia Pomello.
    Observation equivalences for the semantics of inheritance.     		Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy 1999 (0) 1999
    Claudia Linnhoff-Popien, Dirk Thißen.
    Assessing Service Properties with Regard to a Requested QoS: The Service Metric (Short Paper).     		Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy 1999 (0) 1999
    Elie Najm, Abdelkrim Nimour, Jean-Bernard Stefani.
    Infinite types for distributed object interfaces.     		Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy 1999 (0) 1999
    Lynne Blair, Gordon S. Blair.
    Composition in Multiparadigm Specification Techniques.     		Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy 1999 (0) 1999
    Oscar Nierstrasz.
    Piccola - A Small Compositional Language (Invited Talk).     		Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy 1999 (0) 1999
    Frank S. de Boer.
    Reasoning about Histories in Object-based Distributed Systems.     		Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy 1999 (0) 1999
    Tommaso Bolognesi, Andrea Bracciali.
    Formal specification of discrete systems by active predicates and dynamic constraints (Short Paper).     		Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy 1999 (0) 1999
    Marcello M. Bonsangue, Joost N. Kok, Kaisa Sere.
    Developing Object-based Distributed Systems.     		Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy 1999 (0) 1999
    Marc Born, Andreas Hoffmann, Mang Li, Ina Schieferdecker.
    Combining Design Methods for Service Development (Short Paper).     		Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy 1999 (0) 1999
    Howard Bowman, John Derrick.
    A Junction between State Based and Behavioural Specification (Invited Talk).     		Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy 1999 (0) 1999
    D. Ramazani, Gregor von Bochmann.
    Object Composition: A Case Study.     		Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy 1999 (0) 1999
    Jan Broersen, Roel Wieringa.
    A Logic for the Specification of Multi-Object Systems (Short Paper).     		Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy 1999 (0) 1999
    Nadia Busi.
    Mobile Nets.     		Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy 1999 (0) 1999
    Rick van Rein, Maarten M. Fokkinga.
    Protocol Assuring Universal Language.     		Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy 1999 (0) 1999
    Ercument Canver, Friedrich W. von Henke.
    Formal Development of Object-Based Systems in a Temporal Logic Setting.     		Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy 1999 (0) 1999
    Luca Cardelli.
    Foundations for Wide-Area Systems (Tutorial).     		Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy 1999 (0) 1999
    Sriram Sankar.
    Tools for Integrating Formal Methods in to the Java Software Development Process (Invited Talk).     		Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy 1999 (0) 1999
    Stelvio Cimato.
    Specifying component-based Java applications (Short Paper).     		Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy 1999 (0) 1999
    Robert G. Clark, Ana Moreira.
    SDL in Rigorus Object-Oriented Analysis (Short Paper).     		Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy 1999 (0) 1999
    J. L. Colaco, Marc Pantel, Fabien Dagnat, Patrick Sallé.
    Static safety analysis for non-uniform service availability in Actors.     		Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy 1999 (0) 1999
    Richard O. Sinnott, Mario Kolberg.
    Engineering Telecommunication Services With SDL.     		Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy 1999 (0) 1999
    Scott F. Smith, Carolyn L. Talcott.
    Modular Reasoning for Actor Specification Diagrams.     		Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy 1999 (0) 1999
    Werner Damm, David Harel.
    LSCs: Breathing Life into Message Sequence Charts.     		Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy 1999 (0) 1999
    Ketil Stølen.
    Specification of Dynamic Reconfiguration in the Context of Input/Output Relations.     		Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy 1999 (0) 1999
    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.     		Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy 1999 (0) 1999
    José M. Troya, Antonio Vallecillo.
    Specifying Reusable Controllers for Software Components (Short Paper).     		Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy 1999 (0) 1999
    S. Veglioni, Francesco Parisi-Presicce.
    Composition and Interaction for Behavioural Specifications.     		Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy 1999 (0) 1999
    Mauro Gaspari, Gianluigi Zavattaro.
    An Algebra of Actors.     		Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy 1999 (0) 1999
    Birgit Geppert, Frank Rößler, Reinhard Gotzhein.
    Pattern Application vs. Inheritance in SDL.     		Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy 1999 (0) 1999
    Pamela Zave.
    Distributed Feature Composition: An Architecture for Telecommunication Services (Tutorial).     		Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy 1999 (0) 1999
    Naoki Kobayashi, Akinori Yonezawa.
    Distributed and concurrent objects based on linear logic (Invited Talk).     		Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy 1999 (0) 1999

    Your query returned 33 matches in the database.

    Eidgenoessische Technische Hochschule Zuerich