ECOOP Workshops 1999

• 
  Ana M. D. Moreira, Serge Demeyer:
  Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings. Lecture Notes in Computer Science 1743, Springer 1999, ISBN 3-540-66954-X

Object Interoperability

• 
  Antonio Vallecillo, Juan Hernández Núñez, José M. Troya:
  Object Interoperability. 1-21
• 
  Rick van Rein:
  Protocol-Safe Workflow Support for Santa Claus. ECOOP Workshops 1999: 4-5
• 
  Carlos Canal, Lidia Fuentes, Antonio Vallecillo:
  Extending IDLs with pi-calculus for Protocol Compatibility. ECOOP Workshops 1999: 5-6
• 
  Jun Han:
  Semantic and Usage Packaging for Software Components. ECOOP Workshops 1999: 7-8
• 
  Sotirios Terzis, Paddy Nixon:
  Semantic Trading: Tackling Interoperability Problems During System Integration. ECOOP Workshops 1999: 9
• 
  Anna Mikhajlova:
  Reasoning about Object Clients and Distributed Object Interaction. ECOOP Workshops 1999: 10
• 
  Mauro Gaspari, Enrico Motta, Dieter Fensel:
  Automatic Selection of Problem Solving Libraries Based on Competence Matching. ECOOP Workshops 1999: 10-11
• 
  Twittie Senivongse:
  Behavioural Mapping for Service Substitutability. ECOOP Workshops 1999: 12-13
• 
  Jaime Gómez, Oscar Pastor:
  Conceptual Design and Development of Applications Based on Object Interoperability. ECOOP Workshops 1999: 13-14
• 
  Juan M. Corchado, Pedro Cuesta:
  Improving the Interoperability in Multi-agent Systems. ECOOP Workshops 1999: 14-15

Object-Orientation and Operating Systems

• 
  Lutz Wohlrab, Francisco J. Ballesteros, Frank Schubert, Henning Schmidt, Ashish Singhai:
  Object-Orientation and Operating Systems. 22-32
• 
  Roy H. Campbell:
  Keynote Speech: 2K: An OS for the New Millennium. ECOOP Workshops 1999: 24-25
• 
  Fabio Kon, Dulcineia Carvalho, Roy H. Campbell:
  Automatic Configuration in the 2K Operating System. ECOOP Workshops 1999: 25
• 
  Lutz Wohlrab:
  Adaption Manager: Continued Story. ECOOP Workshops 1999: 25
• 
  Michael Clarke, Geoff Coulson:
  An Explicit Binding Model for Runtime Extensible Operating Systems. ECOOP Workshops 1999: 25-26
• 
  Christophe Gransart, Philippe Merle, Jean-Marc Geib:
  GoodeWatch: Supervision of CORBA Applications. ECOOP Workshops 1999: 26
• 
  Danilo Beuche, Abdelaziz Guerrouat, Holger Papajewski, Wolfgang Schröder-Preikschat, Olaf Spinczyk, Ute Spinczyk:
  On the Development of Object-Oriented Operating Systems for Deeply Embedded Systems - The PURE Project. ECOOP Workshops 1999: 26
• 
  Reinhard Meyer, Henning Schmidt:
  Scalable Adaption Based on Descomposition - A Modest subst of Family-Oriented Adaption Schemes. ECOOP Workshops 1999: 27
• 
  Antônio Augusto Fröhlich, Wolfgang Schröder-Preikschat:
  EPOS: An Object-Oriented Operating System. ECOOP Workshops 1999: 27
• 
  Frank Schubert, Kevin Brem:
  An Object-Oriented, Dynamically Adaptable, Virtual File System for CHEOPS. ECOOP Workshops 1999: 27
• 
  Francisco J. Ballesteros, Christopher K. Hess, Fabio Kon, Sergio Arévalo, Roy H. Campbell:
  Object-Oriented in Off++ - A Distributed Adaptable Microkernel. ECOOP Workshops 1999: 27-28
• 
  Darío Álvarez Gutiérrez, María Ángeles Díaz Fondón, Fernando Álvarez García, Lourdes Tajes Martínez:
  Eliminating Garbage Collection by Using Virtual Memory Techniques to Implement Complete Object Persistence. ECOOP Workshops 1999: 28
• 
  Markus Hof:
  Object Model with Exchangeable Invocation Semantics. ECOOP Workshops 1999: 28

UML Semantics FAQ

• 
  Stuart Kent, Andy Evans, Bernhard Rumpe:
  UML Semantics FAQ. 33-56
• 
  Bernhard Rumpe, Stuart Kent, Andy Evans, Robert B. France:
  What Does the Term Semantics Mean in the Context of UML. ECOOP Workshops 1999: 34-36
• 
  Stuart Kent, Bernhard Rumpe, Andy Evans, Robert B. France:
  Is a Precise Semantics Desirable? For What Purpose? ECOOP Workshops 1999: 37-40
• 
  Martin Gogolla, Mark Richters, Oliver Radfelder:
  What Is the Current State of UML Semantics? What Are the Reference Documents. ECOOP Workshops 1999: 40-41
• 
  John Howse, Shusaku Iida, Richard Mitchell, Bernhard Rumpe:
  Should UML Have a Single Semantics? Should UML Have a Single Core Semantics? ECOOP Workshops 1999: 41-44
• 
  Martin Gogolla, Stuart Kent, Tom Mens, Mark Richters, Oliver Radfelder:
  Is It Possible to Express a Semantics of UML in UML? (The Meta-modelling Approach). ECOOP Workshops 1999: 45-49
• 
  Roel J. Wieringa, Egidio Astesiano, Gianna Reggio, Alain Le Guennec, Heinrich Hußmann, Klaas van den Berg, Pim van den Broek:
  Is It Feasable to Construct a Semantics for All of UML? What Are the Outstanding Issues? ECOOP Workshops 1999: 49-55
• 
  Andy Evans, Robert B. France, Guy Genilloud, Brian Henderson-Sellers, Perdita Stevens:
  Aggregation. ECOOP Workshops 1999: 55-56

Object-Oriented Architectural Evolution

• 
  Isabelle Borne, Serge Demeyer, Galal Hassan Galal:
  Object-Oriented Architectural Evolution. 57-79
• 
  Jean-Pierre Kuilboer, Noushin Ashrafi:
  Software Architecture: How Are the Boundaries Defined? ECOOP Workshops 1999: 65-66
• 
  Palle Nowack:
  Interacting Components - A Conceptual Architecture Model. ECOOP Workshops 1999: 66-67
• 
  Jorge Luis Ortega-Arjona, Graham Roberts:
  Searching Basic Notions for Software Architecture Design. ECOOP Workshops 1999: 67
• 
  Galal Hassan Galal:
  A Note on Scenarios in Software Architecting. ECOOP Workshops 1999: 68
• 
  Lodewijk Bergmans:
  Towards Systematically Designing Evolvable Software Architectures. ECOOP Workshops 1999: 69-70
• 
  Pierre America, William van der Sterren:
  Dealing with Evolution in Family Architecture. ECOOP Workshops 1999: 70
• 
  Michel Dao:
  Evolution of Layered Object-Oriented Models. ECOOP Workshops 1999: 71
• 
  James Huw Evans:
  Architectural Evolution: A Multi-level Perspective. ECOOP Workshops 1999: 71-72
• 
  Michael Mattsson:
  Evolution Characteristics of an Industrial Application Framework. ECOOP Workshops 1999: 72-73
• 
  Claudio Riva, Michael Przybilski, Kai Koskimies:
  Environment for Software Assessment. ECOOP Workshops 1999: 74
• 
  Tamar Richner:
  Using Recovered Views to Track Architectural Evolution. ECOOP Workshops 1999: 74-75
• 
  Kim Mens, Tom Mens, Bart Wouters, Roel Wuyts:
  Managing Unanticipated Evolution of Software Architectures. ECOOP Workshops 1999: 75-76
• 
  Bart Wydaeghe, Bart Michiels:
  Architectural Evolution Support Using Architectural Contracts. ECOOP Workshops 1999: 76-77
• 
  Takashi Kobayashi, Motoshi Saeki:
  Pattern-Based Software Evolution. ECOOP Workshops 1999: 77
• 
  Nathalie Chevaliera, Michel Dao, Christophe Dony, Marianne Huchard, Hervé Leblanc, Thérèse Libourel:
  An Environment for Building and Maintaining Class Hierarchies. ECOOP Workshops 1999: 77-78

Multi-user Object-Oriented Environments

• 
  Ivan Tomek, Alicia Díaz, Ronald Melster, António Rito Silva, Miguel Antunes, Vinny Cahill, Zièd Choukair, Alejandro Fernández, Mads Haahr, Eric Jul, Atsushi Ohnishi, Luís E. T. Rodrigues, Erich R. Schmidt, Cristian Tapus, Waldemar Wieczerzycki, Daniel M. Zimmerman:
  Multi-user Object-Oriented Environments. 80-96
• 
  Ivan Tomek:
  MUM - A Multi-universe MOO. ECOOP Workshops 1999: 83-84
• 
  Atsushi Ohnishi:
  Collaborative Requirements Definition with VRDL. ECOOP Workshops 1999: 84
• 
  Mads Haahr, Vinny Cahill, Eric Jul:
  Interfacing Real and Virtual Environments. ECOOP Workshops 1999: 84-86
• 
  Zièd Choukair:
  DVECOM: An Auto-adaptive Model for Collaboration within Distributed Virtual Reality Applications. ECOOP Workshops 1999: 86-87
• 
  António Rito Silva, Miguel Antunes:
  From DASCo to MOOSCo: MOO with Separation of Concerns. ECOOP Workshops 1999: 87-89
• 
  Alejandro Fernández, Alicia Díaz, Ronald Melster:
  Mining a Pattern Language for MOO Design. ECOOP Workshops 1999: 89-90
• 
  Luís E. T. Rodrigues:
  Scalability Issues in MOOs: The Role of Objcet Migration and Replication. ECOOP Workshops 1999: 90-91
• 
  Erich R. Schmidt, Cristian Tapus, Daniel M. Zimmerman:
  Applying the Distributed Programming Paradigm to Improve Scalability in Multi-user Environments. ECOOP Workshops 1999: 91-92
• 
  Waldemar Wieczerzycki:
  Agora - The Multi-user Environment for Co-authoring Documents. ECOOP Workshops 1999: 93-94

Formal Techniques for Java Programs

• 
  Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter:
  Formal Techniques for Java Programs. 97-115
• 
  Ludovic Casset, Jean-Louis Lanet:
  How to Formally Specify the Java Bytecode Semantivs Using the B Method. ECOOP Workshops 1999: 104-105
• 
  Pietro Cenciarelli:
  Towards a Modular Denotational Semantics of Java. ECOOP Workshops 1999: 105
• 
  Vishnu Kotrajaras, Susan Eisenbach:
  Thread and Main Memory Semantics. ECOOP Workshops 1999: 106
• 
  Bernhard Reus:
  A Logic of Recursive Objects. ECOOP Workshops 1999: 107
• 
  Stelvio Cimato, Paolo Ciancarini:
  A Formal Approach to the Specification of Java Components. ECOOP Workshops 1999: 107-108
• 
  Tony Clark:
  Formal Refinement and Proof of a Small Java Program. ECOOP Workshops 1999: 108
• 
  Clemens Fischer:
  Software Development with Object-Z, CSP, and Java: A Pragmatic Link from Formal Specifications to Programs. ECOOP Workshops 1999: 108-109
• 
  Marieke Huisman, Bart Jacobs, Joachim van den Berg:
  A Case Study in Class Library Verification: Java's Vector Class. ECOOP Workshops 1999: 109-110
• 
  K. Rustan M. Leino, James B. Saxe, Raymie Stata:
  Checking Java Programs via Guarded Commands. ECOOP Workshops 1999: 110-111
• 
  Kwangkeun Yi, Byeong-Mo Chang:
  Exception Analysis for Java. ECOOP Workshops 1999: 111-112

9th Workshop for PhD Students in Object Oriented Systems

• 
  Awais Rashid, David Parsons, Alexandru C. Telea:
  9th Workshop for PhD Students in Object Oriented Systems. 116-135

Aliasing in Object Oriented Systems

• 
  James Noble, Jan Vitek, Doug Lea, Paulo Sérgio Almeida:
  Aliasing in Object Oriented Systems. 136-163
• 
  Patrik Persson:
  Using Aliasing Information to Predict Real-Time Garbage Collection. ECOOP Workshops 1999: 137-138
• 
  Antony L. Hosking, Nathaniel Nystrom, David Whitlock, Quintin I. Cutts, Amer Diwan:
  Partial Redundancy Elimination for Access Path Expressions. ECOOP Workshops 1999: 138-141
• 
  John Boyland, Aaron Greenhouse:
  MayEqual: A New Alias Question. ECOOP Workshops 1999: 141-143
• 
  Wolfram Amme, Markus Schordan, László Böszörményi, Wilhelm R. Rossak:
  PAOLA - Program Analysis of Object-Oriented Languages. ECOOP Workshops 1999: 143-146
• 
  Günter Kniesel, Dirk Theisen:
  Flexible Aliasing with Protection. ECOOP Workshops 1999: 146-148
• 
  John Boyland:
  Alias Killing: Unique Variables without Destructive Reads. ECOOP Workshops 1999: 148-149
• 
  David G. Clarke, James Noble, John Potter:
  Overcoming Representation Exposure. ECOOP Workshops 1999: 149-151
• 
  Boris Bokowski:
  Implementing "Object Ownership to Order". ECOOP Workshops 1999: 151-152
• 
  Olivier Zendra, Dominique Colnet:
  Towards Safer Aliasing with the Eiffel Language. ECOOP Workshops 1999: 153-154
• 
  Peter Müller, Arnd Poetzsch-Heffter:
  Alias Control Is Crucial for Modular Verification of Object-Oriented Programs. ECOOP Workshops 1999: 154-156
• 
  Phillip M. Yelland:
  Intercontinental Workshop on Aliasing in Object-Oriented Systems. ECOOP Workshops 1999: 156-157
• 
  James Noble:
  The Objects of Aliasing. ECOOP Workshops 1999: 157-159

Experiences in Object-Oriented Re-engineering

• 
  Stéphane Ducasse, Oliver Ciupke:
  Experiences in Object-Oriented Re-engineering. 164-183
• 
  Anne-Marie Sassen, Radu Marinescu:
  Metrics-Based Problem Detection in Object-Oriented Legacy Systems Using Audit-Reengineer. ECOOP Workshops 1999: 164-165
• 
  Marcelo Machado Feres:
  Detecting Design Defects in Object-Oriented Software. ECOOP Workshops 1999: 166
• 
  Lucia Torres Gastal:
  A Guideline to Detect Reusable Components. ECOOP Workshops 1999: 166-167
• 
  Gerd Köhler, Heinrich Rust, Frank Simon:
  Understanding Object Oriented Software Systems without Source Code Inspection. ECOOP Workshops 1999: 167-168
• 
  Michele Lanza, Stéphane Ducasse, Serge Demeyer:
  Reverse Engineering Based on Metrics and Program Visualization. ECOOP Workshops 1999: 168-169
• 
  Markus Bauer:
  Analysing Software Systems by Using Combinations of Metrics. ECOOP Workshops 1999: 170-171
• 
  Ferenc Dósa Rácz, Kai Koskimies:
  Simplification of Class Diagrams Using Graph Compression Techniques. ECOOP Workshops 1999: 171-172
• 
  Kasper Østerbye:
  Minimalist Documentation of Frameworks. ECOOP Workshops 1999: 172-173
• 
  Rachel Pires Vieira de Vasconcelos:
  Formalization of UML Using Algebraic Specifications. ECOOP Workshops 1999: 174
• 
  Tarja Systä:
  Dynamic Reverse Engineering of Java Software. ECOOP Workshops 1999: 174-175
• 
  Thomas Genssler, Benedikt Schulz:
  Tool-Supported Component Evolution. ECOOP Workshops 1999: 175
• 
  Mel Ó Cinnéide, Paddy Nixon:
  Automated Application of Design Patterns to Legacy Code. ECOOP Workshops 1999: 176
• 
  Matthias Rieger, Stéphane Ducasse, Georges Golomingi:
  Tool Support for Refactoring Duplicated OO Code. ECOOP Workshops 1999: 177-178
• 
  Xavier Alvarez, Isabelle Borne:
  Extracting Architecture: The Behavioural Point of View. ECOOP Workshops 1999: 178-179
• 
  Oliver Ciupke:
  Report of Working Group on Metrcis, Visualisation, and Problem Detection. ECOOP Workshops 1999: 179-181
• 
  Stéphane Ducasse:
  Report of Working Group on Refactorings, andFrameworks (Re)-documentation. ECOOP Workshops 1999: 181-183

Component-Oriented Programming

• 
  Clemens A. Szyperski, Jan Bosch, Wolfgang Weck:
  Component-Oriented Programming. 184-192
• 
  Colin Atkinson, Thomas Kühne, Christian Bunse:
  Dimensions of Component Based Development. ECOOP Workshops 1999: 185-186
• 
  Günter Graw:
  Specification of Behaviour in Component Frameworks. ECOOP Workshops 1999: 186
• 
  Sotirios Terzis, Paddy Nixon:
  Component Trading: the Basis for a Component-Oriented Development Framework. ECOOP Workshops 1999: 186
• 
  Constantinos Constantinides, Atef Bader, Tzilla Elrad:
  An Apsect-Oriented Design Framework for Concurrent Systems. ECOOP Workshops 1999: 186
• 
  James Noble:
  Three Features for Component Frameworks. ECOOP Workshops 1999: 186-187
• 
  Alexandru C. Telea:
  A Component-Based Dataflow Framework for Simulation and Visualization. ECOOP Workshops 1999: 187
• 
  Ole Lehrmann Madsen:
  COM Suppot in BETA. ECOOP Workshops 1999: 187
• 
  Ulrik Pagh Schultz:
  Black-Box Program Specialization. ECOOP Workshops 1999: 187
• 
  Henrik Lykke Nielsen, René Elmstrøm:
  Proposal for Tools Supporting Component Based Programming. ECOOP Workshops 1999: 187-188
• 
  Jing Dong, Paulo S. C. Alencar, Donald D. Cowan:
  Correct Composition of Design Components. ECOOP Workshops 1999: 188
• 
  David Helton:
  Coarse-Grained Components as an Alternative to Component Frameworks. ECOOP Workshops 1999: 188

Object Technology for Product-Line Architectures

• 
  Philippe Lalanda, Jan Bosch, Ramon Lerchundi, Sophie Cherki:
  Object Technology for Product-Line Architectures. 193-206
• 
  Ramkumar Ramaswamy, Uttara Nerurkar:
  Creating Malleable Architectures for Application Software Product Families. ECOOP Workshops 1999: 197
• 
  Yannis Smaragdakis, Don S. Batory:
  Building Product-Lines with Mixin-Layers. ECOOP Workshops 1999: 197
• 
  Bo Nørregaard Jørgensen, Wouter Joosen:
  Standardizing Component Interaction Patterns in Product-Lines Architectures. ECOOP Workshops 1999: 197
• 
  Mathias Braux:
  Speeding up the Java Serialization Framewok through Partial Evaluation. ECOOP Workshops 1999: 198
• 
  Mikko Hämäläinen, Juha Savolainen:
  The Effect of Standardizing on Product Development. ECOOP Workshops 1999: 198
• 
  Sholom Cohen:
  From Product-Line Architectures to Products. ECOOP Workshops 1999: 198-199
• 
  Markku Hakala, Juha Hautamäki, Jyrki Tuomi, Antti Viljamaa, Jukka Viljamaa, Kai Koskimies, Jukka Paakki:
  Managing Object-Oriented Frameworks with Specialization Templates. ECOOP Workshops 1999: 199
• 
  Perdita Stevens:
  UML for Describing Product-Line Architectures? ECOOP Workshops 1999: 199
• 
  Renato Vinga-Martins:
  Requirements Traceability for Product-Lines. ECOOP Workshops 1999: 199-200
• 
  Tuomas Ihme:
  A ROOM Framework for the Spectrometer Controller Product-Line. ECOOP Workshops 1999: 200
• 
  Tomoji Kishi, Natsuko Noda:
  Analysing Hot / Frozen Spot from Performance Aspect. ECOOP Workshops 1999: 200-201
• 
  Clifford R. Hollander, John Ohlinger:
  CCT: A Component-Based Product Line Architecture for Satellite-Based Command and Control Systems. ECOOP Workshops 1999: 201

Object-Oriented Databases

Proceedings of the 1st ECOOP Workshop on Object-Oriented Databases, Lisbon, Portugal, 15 June 1999

Informal Proceedings

• 
  Giovanna Guerrini, Isabella Merlo, Elena Ferrari, Gerti Kappel, Adoración de Miguel Castaño:
  Object-Oriented Database. 207-221
• 
  Dirk Düllmann, Jamie Shiers:
  Object Databases and Petabyte Storage - Dreams or Reality? ECOOP Workshops 1999: 210
• 
  Awais Rashid, Peter Sawyer:
  Evaluation for Evolution: How Well Commercial Systems Do. ECOOP Workshops 1999: 210-211
• 
  Misha Dmitriev, Malcolm P. Atkinson:
  Evolutionary Data Conversion in the PJama Persistent Language. ECOOP Workshops 1999: 211-212
• 
  Stephan Korsholm:
  Transparent, Scalable, Efficient OO-Persistence. ECOOP Workshops 1999: 212
• 
  Vanja Josifovski, Tore Risch:
  Distributed Mediation Using a Light-Weight OODBMS. ECOOP Workshops 1999: 213
• 
  Leonidas Fegaras:
  VOODOO: A Visual Object-Oriented Database Language for ODMG OQL. ECOOP Workshops 1999: 213-214
• 
  Holger Riedel:
  Outdating Outdated Objects. ECOOP Workshops 1999: 214-215
• 
  María José Aramburu Cabo, Rafael Berlanga Llavori:
  Retrieval of Information from Temporal Document Databases. ECOOP Workshops 1999: 215
• 
  Hussien Oakasha, Stefan Conrad, Gunter Saake:
  Consistency Management in Object-Oriented Databases. ECOOP Workshops 1999: 216
• 
  Susan Even, David Spelt:
  Compensation Methods to Support Generic Graph Editing: A Case Study in Automated Verification of Schema Requirements for an Advanced Transaction Model. ECOOP Workshops 1999: 216-217

Parallel / High-Performance Object-Oriented Scientific Computing

• 
  Bernd Mohr, Federico Bassetti, Kei Davis, Stefan Hüttemann, Pascale Launay, Dan C. Marinescu, David J. Miller, Ruthe L. Vandewart, Matthias S. Müller, Augustin Prodan:
  Parallel / High-Performance Object-Oriented Scientific Computing. 222-239
• 
  Stefan Hüttemann:
  Object-Oriented Concepts for Parallel Smoothed Particle Hydrodynamics Simulations. ECOOP Workshops 1999: 223-225
• 
  Matthias Müller:
  Molecular Dynamics with C++. An Object-Oriented Approach. ECOOP Workshops 1999: 225-227
• 
  Dan C. Marinescu:
  An Agent-Based Design for Problem Solving Environments. ECOOP Workshops 1999: 228-230
•