default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd FMOODS 1999: Florence, Italy
- Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri:
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. IFIP Conference Proceedings 139, Kluwer 1999, ISBN 0-7923-8429-6
Languages
- Oscar Nierstrasz:
Piccola - A Small Compositional Language (Invited Talk). FMOODS 1999 - Mauro Gaspari, Gianluigi Zavattaro:
An Algebra of Actors. FMOODS 1999 - Marcello M. Bonsangue, Joost N. Kok, Kaisa Sere:
Developing Object-based Distributed Systems. FMOODS 1999
Semantics I
- Frank S. de Boer:
Reasoning about Histories in Object-based Distributed Systems. FMOODS 1999 - Nadia Busi:
Mobile Nets. FMOODS 1999 - C. Balzarotti, Fiorella de Cindio, Lucia Pomello:
Observation equivalences for the semantics of inheritance. FMOODS 1999
Java and Coordination
- Sriram Sankar:
Tools for Integrating Formal Methods in to the Java Software Development Process (Invited Talk). FMOODS 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. FMOODS 1999 - Stelvio Cimato:
Specifying component-based Java applications (Short Paper). FMOODS 1999
Object Composition and Reuse
- D. Ramazani, Gregor von Bochmann:
Object Composition: A Case Study. FMOODS 1999 - José M. Troya, Antonio Vallecillo:
Specifying Reusable Controllers for Software Components (Short Paper). FMOODS 1999 - S. Veglioni, Francesco Parisi-Presicce:
Composition and Interaction for Behavioural Specifications. FMOODS 1999 - Tommaso Bolognesi, Andrea Bracciali:
Formal specification of discrete systems by active predicates and dynamic constraints (Short Paper). FMOODS 1999
Telecommunications
- Pamela Zave:
Distributed Feature Composition: An Architecture for Telecommunication Services (Tutorial). FMOODS 1999 - Birgit Geppert, Frank Rößler, Reinhard Gotzhein:
Pattern Application vs. Inheritance in SDL. FMOODS 1999 - Richard O. Sinnott, Mario Kolberg:
Engineering Telecommunication Services With SDL. FMOODS 1999 - Robert G. Clark, Ana M. D. Moreira:
SDL in Rigorus Object-Oriented Analysis (Short Paper). FMOODS 1999
Formal Methods
- Howard Bowman, John Derrick:
A Junction between State Based and Behavioural Specification (Invited Talk). FMOODS 1999: 213-239 - Rick van Rein, Maarten M. Fokkinga:
Protocol Assuring Universal Language. FMOODS 1999: 241-258 - Ketil Stølen:
Specification of Dynamic Reconfiguration in the Context of Input/Output Relations. FMOODS 1999 - Claudia Linnhoff-Popien, Dirk Thißen:
Assessing Service Properties with Regard to a Requested QoS: The Service Metric (Short Paper). FMOODS 1999 - Marc Born, Andreas Hoffmann, Mang Li, Ina Schieferdecker:
Combining Design Methods for Service Development (Short Paper). FMOODS 1999
Emerging Standards
- Werner Damm, David Harel:
LSCs: Breathing Life into Message Sequence Charts. FMOODS 1999 - Scott F. Smith, Carolyn L. Talcott:
Modular Reasoning for Actor Specification Diagrams. FMOODS 1999 - Diego Latella, István Majzik, Mieke Massink:
Towards a Formal Operational Semantics of UML Statechart Diagrams. FMOODS 1999
Semantics II
- Luca Cardelli:
Foundations for Wide-Area Systems (Tutorial). FMOODS 1999 - Cosimo Laneve:
Calculi for Concurrent Objects (Tutorial). FMOODS 1999 - Elie Najm, Abdelkrim Nimour, Jean-Bernard Stefani:
Infinite types for distributed object interfaces. FMOODS 1999 - Jean-Louis Colaço, Marc Pantel, Fabien Dagnat, Patrick Sallé:
Static safety analysis for non-uniform service availability in Actors. FMOODS 1999 - Jan M. Broersen, Roel J. Wieringa:
A Logic for the Specification of Multi-Object Systems (Short Paper). FMOODS 1999
Semantics III
- Naoki Kobayashi, Akinori Yonezawa:
Distributed and concurrent objects based on linear logic (Invited Talk). FMOODS 1999 - Lynne Blair, Gordon S. Blair:
Composition in Multiparadigm Specification Techniques. FMOODS 1999: 401-417 - Ercument Canver, Friedrich W. von Henke:
Formal Development of Object-Based Systems in a Temporal Logic Setting. FMOODS 1999: 419-436
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-10-30 00:38 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
