The Community for Technology Leaders
Engineering of Computer-Based Systems, IEEE International Conference on the (2001)
Washington DC
Apr. 17, 2001 to Apr. 20, 2001
ISBN: 0-7695-1086-8
TABLE OF CONTENTS
Modeling

XML based Security for E-Commerce Applications (Abstract)

Eugene Xavier , Infosys Technologies Limited
pp. 0010
Panel: System Composition Strategies
Tools and Technology

Risk Management for an Open CBS Project (Abstract)

Tim O'Neill , University of Technology, Sydney
John Leaney , University of Technology, Sydney
pp. 0045
Testing and Web-Based Systems

An Agent for Web-Based Process Management (Abstract)

John Debenham , University of Technology, Sydney
pp. 0062

Object-Oriented Analysis and Design of Web-Based Information Systems (Abstract)

Jyhjong Lin , Chaoyang University of Technology
Huammi Tsai , Chaoyang University of Technology
Yalei Chu , Chaoyang University of Technology
pp. 0068

Synthesis of High-Level Requirements Models for Automatic Test Generation (Abstract)

P. Gupta , The University of Arizona
S.J. Cunning , The University of Arizona
J.W. Rozenblit , The University of Arizona
pp. 0076

Coverage Based Test-Case Generation Using Model Checkers (Abstract)

Sanjai Rayadurgam , University of Minnesota
Mats P. E. Heimdahl , University of Minnesota
pp. 0083
Real-Time

Toward a Real-time Event Flow Architecture Style (Abstract)

Robert W. Schwanke , Siemens Corporate Research, Inc.
pp. 0094

Experiences from Introducing State-of-the-Art Real-Time Techniques in the Automotive Industry (Abstract)

Christer Norström , M?lardalen University
Kristian Sandström , M?lardalen University
Jukka Mäki-Turja , M?lardalen University
Mikael Gustafsson , TietoEnator ArosTech AB
Nils-Erik Bånkestad , Volvo Construction Equipment Components AB
pp. 0111
Architecture

Systematic Definition of Reusable Architectures (Abstract)

Ilka Philippow , Ilmenau Technical University
Matthias Riebisch , Ilmenau Technical University
pp. 0128

Information Modelling for System Specification Representation and Data Exchange (Abstract)

Erik Herzog , Link?pings Universitet
Anders Törne , Link?pings Universitet
pp. 0136

Developing a Traceable Domain Reference Architecture to Support Clinical Trials at the National Cancer Institute - An Experience Report (Abstract)

K.S. Barber , The University of Texas at Austin
T. Graser , The University of Texas at Austin
J. Silva , National Cancer Institute
pp. 0144
Quality and Measurement

Effective Values: An Approach for Characterizing Dependability Parameters (Abstract)

S. Noureddine , University of Federal Armed Forces
A. Lehmann , University of Federal Armed Forces
pp. 0162

Need-Based Requirements Change Management (Abstract)

Atsushi Kobayashi , NEC Corporation
Mamoru Maekawa , University of Electro-Communications
pp. 0171

Measuring the Effectiveness of Computer Based Systems: An Open System Measurement Example (Abstract)

John Leaney , University of Technology, Sydney
David Rowe , University of Technology, Sydney
Tim O'Neill , University of Technology, Sydney
Steve Hoye , OSM Pty Ltd
Petros Gionis , OSM Pty Ltd
pp. 0179
Fault Tolerance and Emulation

Discovering Rules for Fault Management (Abstract)

Roy Sterritt , University of Ulster
pp. 0190

ESFFI - A Novel Technique for the Emulation of Coftware Faults in COTS Components (Abstract)

Diamantino Costa , Centre for Informatics and Systems of the University of Coimbra
Tiago Rilho , Centre for Informatics and Systems of the University of Coimbra
M. Vieira , Centre for Informatics and Systems of the University of Coimbra
Henrique Madeira , Centre for Informatics and Systems of the University of Coimbra
pp. 0197

Fault-Adaptive Control: A CBS Application (Abstract)

Gabor Karsai , Vanderbilt University
Gautam Biswas , Vanderbilt University
Tal Pasternak , Vanderbilt University
Sriram Narasimhan , Vanderbilt University
Gabor Peceli , Technical University of Budapest
Gyula Simon , Technical University of Budapest
Tamas Kovacshazy , Technical University of Budapest
pp. 0205
Tools and Technology II

Developing Instance Model-Based Applications (Abstract)

Giorgio Bruno , Politecnico di Torino
Marco Torchiano , Politecnico di Torino
pp. 0214

A Practical Semantics for Design Facet Interaction (Abstract)

Perry Alexander , The University of Kansas Information and Telecommunications Technology Center
Cindy Kong , The University of Kansas Information and Telecommunications Technology Center
David Schonberger , The University of Kansas Information and Telecommunications Technology Center
pp. 0229
Agents

An Agent-Based Bayesian Forecasting Model for Enhanced Network Security (Abstract)

J. Pikoulas , Napier University
W.J. Buchanan , Napier University
M. Mannion , Glasgow Caledonian University
K. Triantafyllopoulos , University of Warwick
pp. 0247

TRACY A Prototype of an Architected Middleware to support Mobile Agents (Abstract)

Peter Braun , Friedrich Schiller University Jena
Jan Eismann , Friedrich Schiller University Jena
Christian Erfurth , Friedrich Schiller University Jena
Wilhelm Rossak , Friedrich Schiller University Jena
pp. 0255
Tools and Technology III

Sensor Networking (Abstract)

Miroslav Sveda , Brno University of Technology
Radimir Vrba , Brno University of Technology
pp. 0262

A Graduate-Level Course on CBS Design Tool Development (Abstract)

Greg Nordstrom , Vanderbilt University
James Davis , Vanderbilt University
Mark Briski , Vanderbilt University
pp. 0269

The New Metamodeling Generation (Abstract)

Jonathan M. Sprinkle , Vanderbilt University
Akos Ledeczi , Vanderbilt University
Gabor Karsai , Vanderbilt University
Greg Nordstrom , Vanderbilt University
pp. 0275
Analysis and Experimentation

Analysis of DSP-Kernel Software by Implicit Cache Simulation (Abstract)

Gabriele Luculli , STMicroelectronics
Alberto Sangiovanni-Vincentelli , University of California at Berkeley
pp. 0282

Twenty Years of Safe Train Control in Sweden (Abstract)

Harold W. Lawson , Lawson Konsult AB
Sivert Wallin , Teknogram AB
Berit Bryntse , Teknogram AB
Bertil Friman , Friman Data Konsult AB
pp. 0289

A Super Tracer and an Analyzer for Analyzing Detailed Behavior of a Linux on a Pentium Family Processor (STDB) (Abstract)

Yasushi Sugimura , NTT Information Sharing Platform Laboratories
Seiichi Ido , NTT Information Sharing Platform Laboratories
pp. 0298
Composition and CBS

Visual Composition with SDL Beans (Abstract)

Kurt Verschaeve , Vrije Universiteit Brussel
Bart Wydaeghe , Vrije Universiteit Brussel
pp. 0308

Software Components Adaptive Integration (Abstract)

Jiang Guo , California State University, Bakersfield
pp. 0315

Towards a New Component Composition Process (Abstract)

Wim Vanderperren , Vrije Universiteit
Bart Wydaeghe , Vrije Universiteit
pp. 0322
Working Group Reports

Forensic ECBS: The Way Forward (Abstract)

Darren Dalcher , Middlesex University
pp. 0332

Ambulance Despatch Systems: The Melbourne Story (Abstract)

Darren Dalcher , Middlesex University
pp. 0337

Engineering of Computer-Based Systems -A Proposed Curriculum for a Degree Program at Bachelor Level (Abstract)

Darren Dalcher , Middlesex University
Mike Mannion , Glasgow Caledonian University
Jonah Z. Lavi , CBSE Associates
Reuven Gallant , Jerusalem College of Technology
Bonnie E. Melhart , Texas Christian Univ.
Regina M. Gonzales , New Mexico State University
pp. 0344

Author Index (PDF)

pp. 0359
109 ms
(Ver 3.3 (11022016))