The Community for Technology Leaders
Engineering of Computer-Based Systems, IEEE International Conference on the (2000)
Edinburgh, Scotland
Apr. 3, 2000 to Apr. 7, 2000
ISBN: 0-7695-0604-6
TABLE OF CONTENTS

Preface (PDF)

pp. ix
Distributed Systems

Integrating CAD and CAM via CORBA (Abstract)

D.H. Yoon , University of Michigan at Dearborn
F.Z. Shaikh , Ford Motor Company
pp. 3

An Algorithm for Tolerating Crash Failures in Distributed Systems (Abstract)

Vincenzo de Florio , Katholieke Universiteit at Leuven
Rudy Lauwereins , Katholieke Universiteit at Leuven
Geert Deconinck , Katholieke Universiteit at Leuven
pp. 9

A Choice of SM/DM Parallel ANN Implementation for Embedded Applications (Abstract)

Vaclav Dvorak , Brno University of Technology
Rudolf Cejka , Brno University of Technology
pp. 18
Architecture 1

Architecture-Based Performance Analysis of the COLLINS Class Submarine Open System Extension (COSE) Concept Demonstrator (CD) (Abstract)

Tim O'Neill , University of Technology at Sydney
Philip Martyn , University of Technology at Sydney
John Leaney , University of Technology at Sydney
pp. 26

SAABNet: Managing Qualitative Knowledge in Software Architecture Assessment (Abstract)

Jilles Van Gurp , University of Karlskrona/Ronneby
Jan Bosch , University of Karlskrona/Ronneby
pp. 45
Invited Paper

Limited Software Warranties (Abstract)

Jeffrey Voas , Reliable Software Technologies
pp. 56
Modeling 1

Modeling and Simulating Functional and Timing Aspects of Real-Time Systems by Delegated Execution (Abstract)

Martin Naedele , ABB Corporate Research and Swiss Federal Institute of Technology
pp. 64

Java-Prototyping of Hardware/Software CBS Using a Behavioral OO Model (Abstract)

R Gallant , Jerusalem College of Technology
J-F. Brette , Universit? Paris V
B. Mendelbaum , Jerusalem College of Technology and Universit? Paris V
Ch. F. Ducateau , Universit? Paris V
pp. 73

Designing a Model-Based Interaction Planner with Dialogue Analysis (Abstract)

T.M. Khan , University of North London
J. Cook , University of North London
pp. 82
Components and Reuse 1

A Survey of Software Reuse Repositories (Abstract)

Jiang Guo , United States National Research Council
Luqi , United States Naval Postgraduate School
pp. 92

On the Design of ORBIT (Abstract)

Badar Farooqi , University of Cincinnati
Amitvikram Rajkhowa , University of Cincinnati
Murali Rangarajan , University of Cincinnati
Perry Alexander , University of Cincinnati
Darryl D. Dieckman , University of Cincinnati
Cindy Kong , University of Cincinnati
Iqbal Mutabanna , University of Cincinnati
Arun Venkataraman , University of Cincinnati
Roshan Kamath , University of Cincinnati
Sarjoun Doumit , University of Cincinnati
Nael Abu-Ghazaleh , State University of New York at Binghamton
pp. 110

Keynote Speaker (PDF)

Ian Sommerville , University of Lancaster, UK
pp. null
Architecture 2

A Component-Driven Architecture for Internet-Based, Directly Reactive Information Systems (Abstract)

René Stolle , Friedrich Schiller Universi?t Jena
Vassilka Kirova , New Jersey Institute of Technology
Wilhelm Rossak , Friedrich Schiller Universi?t Jena
pp. 129

Enhancing Architectural Mismatch Detection with Assumptions (Abstract)

Daniel Yankelevich , Universidad de Buenos Aires
Sebastian Uchitel , Universidad de Buenos Aires
pp. 138
Instrumentation and Industrial Control 1

Coupling Architectures for Low- Level Fieldbusses (Abstract)

Radimir Vrba , Technical University of Brno
Frantisek Zezulka , Technical University of Brno
Miroslav Sveda , Technical University of Brno
pp. 148

The Virtual Automation Lab - Web Based Teaching of Automation Engineering Concepts (Abstract)

Dieter Bühler , Universit?t T?bingen
Gerd Nusser , Universit?t T?bingen and Institut fuer Angewandte Forschung in der Automatisierung Fachhochschule fuer Technik und Wirtschaft
Wolfgang Küchlin , Universit?t T?bingen
Gerhard Gruhler , Institut fuer Angewandte Forschung in der Automatisierung Fachhochschule fuer Technik und Wirtschaft
pp. 156

Truly Distributed Control Systems using Fieldbus Technology (Abstract)

W.J. Buchanan , Napier University
A.V. Scott , Napier University
pp. 165
Instrumentation and Industrial Control 2

The Use of Architecture Description Languages to Describe a Distributed Measurement System (Abstract)

Geri Georg , Agilent Technologies Laboratories
Stephen Seidman , Colorado State University at Fort Collins
pp. 185
Agents

Monitoring of Distributed Processes with Mobile Agents (Abstract)

Ryan P. Kennedy , New Jersey Institute of Technology
pp. 205

Software Agents and Computer Network Security (Abstract)

J. Pikoulas , Napier University
W. Buchanan , Napier University
M. Mannion , Napier University
pp. 211

Enhancing Network Management using Mobile Agents (Abstract)

W.J. Buchanan , Napier University
A.V. Scott , Napier University
M. Naylor , Napier University
pp. 218
Components and Reuse 2

PuLSE-I: Deriving Instances from a Product Line Infrastructure (Abstract)

Joachim Bayer , Fraunhofer Institute for Experimental Software Engineering
Dirk Muthig , Fraunhofer Institute for Experimental Software Engineering
Tanya Widen , Fraunhofer Institute for Experimental Software Engineering
Cristina Gacek , Fraunhofer Institute for Experimental Software Engineering
pp. 237

Development Experiences of a Component-Based System (Abstract)

Magnus Larsson , ABB Automation Products AB
Ivica Crnkovic , M?lardalen University
pp. 246
Design

Formal Parameters Synthesis for Track Segments of a Subway Mesh (Abstract)

Joao Batista de Camargo, Jr. , University of Sao Paulo
Arnaldo Vieira Moura , University of Campinas
Adilson Luiz Bonifacio , University of Campinas
Jorge Rady de Almeida, Jr. , University of Sao Paulo
pp. 263

Ensuring Structure and Behavior Correctness in Design Composition (Abstract)

Donald D. Cowan , University of Waterloo
Paulo S.C. Alencar , University of Waterloo
Jing Dong , University of Waterloo
pp. 279

Keynote Speaker (PDF)

Stuart Arnold , Defence Research Agency, UK
pp. null
Requirements and Specification 1

Refinement in Requirements Specification and Analysis: A Case Study (Abstract)

Edwin de Jong , Hollandse Signaalapparaten
Jozef Hooman , University of Nijmegen
pp. 290

System Specification in Rosetta (Abstract)

Perry Alexander , University of Kansas
David Barton , AverStar, Inc
Roshan Kamath , University of Cincinnati
pp. 299
Verification and Validation

Application of Factorial Design to Validation of System Performance (Abstract)

Per Runeson , Lund University
Tomas Berling , Ericsson Microwave Systems AB
pp. 318

Assisting the Definition and Execution of Test Suites for Complex Systems (Abstract)

Mario Piattini , University of Castilla at La Mancha
Maria-Angeles Mahillo , Technical University of Madrid
Juan Garbajosa , Technical University of Madrid
Maria Alandes , Technical University of Madrid
pp. 327
Modeling 2

Model Checking the Java Meta-Locking Algorithm (Abstract)

Samik Basu , State University of New York at Stony Brook
Scott A. Smolka , State University of New York at Stony Brook
Orson R. Ward , State University of New York at Stony Brook
pp. 342

Support for Representation of Functional Behavior Specifications in AP-233 (Abstract)

Anders Törne , Link?ping Universitet
Erik Herzog , Link?ping Universitet
pp. 351

Systematic Derivation of Operational Scenarios Using ECSAM (Abstract)

Joseph Kudish , Systems and Software Engineering
Jonah Z. Lavi , CBSE Associates
pp. 359
Process Support

A Java-Based CSCW Tool for Supporting Software Processes (Abstract)

Zhou Zhiying , Tsinghua University
Lu Haipeng , Tsinghua University
pp. 368
Working Group Meetings

IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems (Abstract)

Charles Rattray , University of Stirling
Franz Pichler , Johannes Kepler University Linz
Miroslav Sveda , Technical University of Brno
pp. 382

IEEE ECBS'99 TC Architecture Working Group (AWG) Report (Abstract)

Zoltan Papp , TNO Institute of Applied Physics
Byron Purves , Boeing
Murali Rangarajan , University of Cincinnati
Edwin de Jong , Hollandse Signaalapparaten
Ted Bapty , Vanderbilt University
David Rowe , University of Technology at Sydney
Jurgen Weiss , Berner & Mattner
Tim O'Neill , University of Technology at Sydney
Gabor Horvath , Technical University of Budapest
Hugo Simpson , MATRA
John Leaney , University of Technology at Sydney
pp. 383

Forensic ECBS: A Situational Assessment (Abstract)

Darren Dalcher , South Bank University
pp. 390

Author Index (PDF)

pp. 398
87 ms
(Ver 3.3 (11022016))