7. ECBS 2000: Edinburgh, Scotland, UK

@proceedings{DBLP:conf/ecbs/2000,
  title     = {7th IEEE International Symposium on Engineering of Computer-Based
               Systems (ECBS 2000), 3-7 April 2000, Edinburgh, Scotland, UK},
  booktitle = {ECBS},
  publisher = {IEEE Computer Society},
  year      = {2000},
  isbn      = {0-7695-0604-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Distributed Systems

• D. H. Yoon, F. Z. Shaikh:
  Integrating CAD and CAM via CORBA. 3-8
  
• Vincenzo De Florio, Geert Deconinck, Rudy Lauwereins:
  An Algorithm for Tolerating Crash Failures in Distributed Systems. 9-17
  
• Vaclav Dvorak, Rudolf Cejka:
  A Choice of SM/DM Parallel ANN Implementation for Embedded Applications. 18-
  

Architecture 1

• Tim O'Neill, John Leaney, Philip Martyn:
  Architecture-Based Performance Analysis of the COLLINS Class Submarine Open System Extension (COSE) Concept Demonstrator (CD). 26-35
  
• Matthias Jung:
  A Component-Based Architecture for Software Communication Systems. 36-44
  
• Jilles van Gurp, Jan Bosch:
  SAABNet: Managing Qualitative Knowledge in Software Architecture Assessment. 45-
  

Invited Paper

• Jeffrey M. Voas:
  Limited Software Warranties. 56-63
  

Modeling 1

• Martin Naedele:
  Modeling and Simulating Functional and Timing Aspects of Real-Time Systems by Delegated Execution. 64-72
  
• B. Mendelbaum, Reuven Gallant, J.-F. Brette, Ch. F. Ducateau:
  Java-Prototyping of Hardware/Software CBS Using a Behavioral OO Model. 73-81
  
• J. Cook, Tariq M. Khan:
  Designing a Model-Based Interaction Planner with Dialogue Analysis. 82-
  

Components and Reuse 1

• Jiang Guo, Luqi:
  A Survey of Software Reuse Repositories. 92-100
  
• Philip Taylor, Terry J. Anderson, Peter N. Nicholl:
  Information Required for the Success Geographically Distributed Software Engineering of Components and Component-Based Systems. 101-109
  
• Murali Rangarajan, Iqbal Mutabanna, Darryl D. Dieckman, Badar Farooqi, Amitvikram Rajkhowa, Sarjoun Doumit, Arun Venkataraman, Cindy Kong, Roshan Kamath, Perry Alexander, Nael B. Abu-Ghazaleh:
  On the Design of ORBIT. 110-
  

Architecture 2

• Rogério de Lemos:
  A Co-Operative Object-Oriented Architecture for Adaptive Systems. 120-128
  
• René Stolle, Wilhelm Rossak, Vassilka Kirova:
  A Component-Driven Architecture for Internet-Based, Directly Reactive Information Systems. 129-137
  
• Sebastián Uchitel, Daniel Yankelevich:
  Enhancing Architectural Mismatch Detection with Assumptions. 138-
  

Instrumentation and Industrial Control 1

• Miroslav Svéda, Radimir Vrba, Frantisek Zezulka:
  Coupling Architectures for Low- Level Fieldbusses. 148-155
  
• Dieter Bühler, Wolfgang Küchlin, Gerhard Gruhler, Gerd Nusser:
  The Virtual Automation Lab - Web Based Teaching of Automation Engineering Concepts. 156-164
  
• A. V. Scott, William J. Buchanan:
  Truly Distributed Control Systems using Fieldbus Technology. 165-
  

Instrumentation and Industrial Control 2

• Andreas Speck:
  Component-Based Control System. 176-184
  
• Geri Georg, Stephen Seidman:
  The Use of Architecture Description Languages to Describe a Distributed Measurement System. 185-
  

Agents

• Armin Eberlein, Rob Kremer:
  Integrating the Components of an Intelligent Telecom Design Tool into an Agent-Based Framework. 196-204
  
• Ryan P. Kennedy:
  Monitoring of Distributed Processes with Mobile Agents. 205-210
  
• J. Pikoulas, Mike Mannion, William J. Buchanan:
  Software Agents and Computer Network Security. 211-217
  
• William J. Buchanan, M. Naylor, A. V. Scott:
  Enhancing Network Management using Mobile Agents. 218-
  

Components and Reuse 2

• Mathee Olarnsakul, Dentcho N. Batanov:
  Component Coordination Model for Customization and Composition of Component-Based System Design. 228-236
  
• Joachim Bayer, Cristina Gacek, Dirk Muthig, Tanya Widen:
  PuLSE-I: Deriving Instances from a Product Line Infrastructure. 237-245
  
• Magnus Larsson, Ivica Crnkovic:
  Development Experiences of a Component-Based System. 246-
  

Design

• Gabriele Schade:
  Multimedia Systems - On the Ergonomic Design and Evaluation of User Interfaces and System Structures. 256-262
  
• Adilson Luiz Bonifácio, Arnaldo Vieira Moura, Joao Batista de Camargo Jr., Jorge Rady de Almeida Jr.:
  Formal Parameters Synthesis for Track Segments of a Subway Mesh. 263-271
  
• Gabor Karsai:
  Design Tool Integration: An Exercise in Semantic Interoperability. 272-278
  
• Jing Dong, Paulo S. C. Alencar, Donald D. Cowan:
  Ensuring Structure and Behavior Correctness in Design Composition. 279-
  

Requirements and Specification 1

• Edwin D. de Jong, Jaco van de Pol, Jozef Hooman:
  Refinement in Requirements Specification and Analysis: A Case Study. 290-298
  
• Perry Alexander, Roshan Kamath, David Barton:
  System Specification in Rosetta. 299-307
  
• Stephan Schulz II, T. C. Ewing, Jerzy W. Rozenblit:
  Discrete Event System Specification (DEVS) and StateMate StateCharts Equivalence for Embedded Systems Modeling. 308-
  

Verification and Validation

• Tomas Berling, Per Runeson:
  Application of Factorial Design to Validation of System Performance. 318-326
  
• Juan Garbajosa, Maria Alandes, Maria-Angeles Mahillo, Mario Piattini:
  Assisting the Definition and Execution of Test Suites for Complex Systems. 327-333
  
• Bonnie E. Melhart, Stephanie White:
  Issues in Defining, Analyzing, Refining, and Specifying System Dependability Requirements. 334-
  

Modeling 2

• Samik Basu, Scott A. Smolka, Orson R. Ward:
  Model Checking the Java Meta-Locking Algorithm. 342-350
  
• Erik Herzog, Anders Törne:
  Support for Representation of Functional Behavior Specifications in AP-233. 351-358
  
• Jonah Z. Lavi, Joseph Kudish:
  Systematic Derivation of Operational Scenarios Using ECSAM. 359-367
  

Process Support

• Zhou Zhiying, Lu Haipeng:
  A Java-Based CSCW Tool for Supporting Software Processes. 368-374
  
• Karin Breitman, Julio Cesar Sampaio do Prado Leite:
  Scenario-Based Software Process. 375-
  

Working Group Meetings

• Miroslav Svéda, Franz Pichler, Charles Rattray:
  IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems. 382-382
  
• Tim O'Neill, John Leaney, David Rowe, Hugo Simpson, Murali Rangarajan, Jurgen Weiss, Zoltan Papp, Ted Bapty, Byron Purves, Gábor Horváth, Edwin D. de Jong:
  IEEE ECBS'99 TC Architecture Working Group (AWG) Report. 383-389
  
• Darren Dalcher:
  Forensic ECBS: A Situational Assessment. 390-392
  
• Darren Dalcher:
  Smooth Seas - Rough Sailing: The Case of the Lame Ship. 393-394
  
• Jonah Z. Lavi:
  ECBS Education and Training Working Group Report . 395-397