Languages

• 
  Oscar Nierstrasz: Piccola - A Small Compositional Language (Invited Talk).
• 
  Mauro Gaspari, Gianluigi Zavattaro: An Algebra of Actors.
• 
  Marcello M. Bonsangue, Joost N. Kok, Kaisa Sere: Developing Object-based Distributed Systems.

Semantics I

• 
  Frank S. de Boer: Reasoning about Histories in Object-based Distributed Systems.
• 
  Nadia Busi: Mobile Nets.
• 
  C. Balzarotti, Fiorella de Cindio, Lucia Pomello: Observation equivalences for the semantics of inheritance.

Java and Coordination

• 
  Sriram Sankar: Tools for Integrating Formal Methods in to the Java Software Development Process (Invited Talk).
• 
  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.
• 
  Stelvio Cimato: Specifying component-based Java applications (Short Paper).

Object Composition and Reuse

• 
  D. Ramazani, Gregor von Bochmann: Object Composition: A Case Study.
• 
  José M. Troya, Antonio Vallecillo: Specifying Reusable Controllers for Software Components (Short Paper).
• 
  S. Veglioni, Francesco Parisi-Presicce: Composition and Interaction for Behavioural Specifications.
• 
  Tommaso Bolognesi, Andrea Bracciali: Formal specification of discrete systems by active predicates and dynamic constraints (Short Paper).

Telecommunications

• 
  Pamela Zave: Distributed Feature Composition: An Architecture for Telecommunication Services (Tutorial).
• 
  Birgit Geppert, Frank Rößler, Reinhard Gotzhein: Pattern Application vs. Inheritance in SDL.
• 
  Richard O. Sinnott, Mario Kolberg: Engineering Telecommunication Services With SDL.
• 
  Robert G. Clark, Ana M. D. Moreira: SDL in Rigorus Object-Oriented Analysis (Short Paper).

Formal Methods

• 
  Howard Bowman, John Derrick: A Junction between State Based and Behavioural Specification (Invited Talk). 213-239
• 
  Rick van Rein, Maarten M. Fokkinga: Protocol Assuring Universal Language. 241-258
• 
  Ketil Stølen: Specification of Dynamic Reconfiguration in the Context of Input/Output Relations.
• 
  Claudia Linnhoff-Popien, Dirk Thißen: Assessing Service Properties with Regard to a Requested QoS: The Service Metric (Short Paper).
• 
  Marc Born, Andreas Hoffmann, Mang Li, Ina Schieferdecker: Combining Design Methods for Service Development (Short Paper).

Emerging Standards

• 
  Werner Damm, David Harel: LSCs: Breathing Life into Message Sequence Charts.
• 
  Scott F. Smith, Carolyn L. Talcott: Modular Reasoning for Actor Specification Diagrams.
• 
  Diego Latella, István Majzik, Mieke Massink: Towards a Formal Operational Semantics of UML Statechart Diagrams.

Semantics II

• 
  Luca Cardelli: Foundations for Wide-Area Systems (Tutorial).
• 
  Cosimo Laneve: Calculi for Concurrent Objects (Tutorial).
• 
  Elie Najm, Abdelkrim Nimour, Jean-Bernard Stefani: Infinite types for distributed object interfaces.
• 
  J. L. Colaco, Marc Pantel, Fabien Dagnat, Patrick Sallé: Static safety analysis for non-uniform service availability in Actors.
• 
  Jan Broersen, Roel Wieringa: A Logic for the Specification of Multi-Object Systems (Short Paper).

Semantics III

• 
  Naoki Kobayashi, Akinori Yonezawa: Distributed and concurrent objects based on linear logic (Invited Talk).
• 
  Lynne Blair, Gordon S. Blair: Composition in Multiparadigm Specification Techniques. 401-417
• 
  Ercument Canver, Friedrich W. von Henke: Formal Development of Object-Based Systems in a Temporal Logic Setting. 419-436

last updated on Tue May 21 01:59:24 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page