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
Geert Deconinck , Katholieke Universiteit at Leuven
Rudy Lauwereins , 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
John Leaney , University of Technology at Sydney
Philip Martyn , 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)

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

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

J. Cook , University of North London
T.M. Khan , 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)

Murali Rangarajan , University of Cincinnati
Iqbal Mutabanna , University of Cincinnati
Darryl D. Dieckman , University of Cincinnati
Badar Farooqi , University of Cincinnati
Amitvikram Rajkhowa , University of Cincinnati
Sarjoun Doumit , University of Cincinnati
Arun Venkataraman , University of Cincinnati
Cindy Kong , University of Cincinnati
Roshan Kamath , University of Cincinnati
Perry Alexander , 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
Wilhelm Rossak , Friedrich Schiller Universi?t Jena
Vassilka Kirova , New Jersey Institute of Technology
pp. 129

Enhancing Architectural Mismatch Detection with Assumptions (Abstract)

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

Coupling Architectures for Low- Level Fieldbusses (Abstract)

Miroslav Sveda , Technical University of Brno
Radimir Vrba , Technical University of Brno
Frantisek Zezulka , 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
Wolfgang Küchlin , Universit?t T?bingen
Gerhard Gruhler , Institut fuer Angewandte Forschung in der Automatisierung Fachhochschule fuer Technik und Wirtschaft
Gerd Nusser , Universit?t T?bingen and Institut fuer Angewandte Forschung in der Automatisierung Fachhochschule fuer Technik und Wirtschaft
pp. 156

Truly Distributed Control Systems using Fieldbus Technology (Abstract)

A.V. Scott , Napier University
W.J. Buchanan , 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
M. Mannion , Napier University
W. Buchanan , Napier University
pp. 211

Enhancing Network Management using Mobile Agents (Abstract)

W.J. Buchanan , Napier University
M. Naylor , Napier University
A.V. Scott , 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
Cristina Gacek , Fraunhofer Institute for Experimental Software Engineering
Dirk Muthig , Fraunhofer Institute for Experimental Software Engineering
Tanya Widen , 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)

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

Ensuring Structure and Behavior Correctness in Design Composition (Abstract)

Jing Dong , University of Waterloo
Paulo S.C. Alencar , University of Waterloo
Donald D. Cowan , 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
Roshan Kamath , University of Cincinnati
David Barton , AverStar, Inc
pp. 299
Verification and Validation

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

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

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

Juan Garbajosa , Technical University of Madrid
Maria Alandes , Technical University of Madrid
Maria-Angeles Mahillo , Technical University of Madrid
Mario Piattini , University of Castilla at La Mancha
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)

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

Systematic Derivation of Operational Scenarios Using ECSAM (Abstract)

Jonah Z. Lavi , CBSE Associates
Joseph Kudish , Systems and Software Engineering
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)

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

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

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

Forensic ECBS: A Situational Assessment (Abstract)

Darren Dalcher , South Bank University
pp. 390

Author Index (PDF)

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