The Community for Technology Leaders
Engineering of Computer-Based Systems, IEEE International Conference on the (2003)
Huntsville, Alabama
Apr. 7, 2003 to Apr. 10, 2003
ISBN: 0-7695-1917-2
TABLE OF CONTENTS
Introduction
Papers

Multigranular Simulation of Heterogeneous Embedded Systems (Abstract)

Akos Ledeczi , Vanderbilt University
Aditya Agrawal , Vanderbilt University
pp. 3

Modeling and Generation Tools for Large-Scale, Real-Time Embedded Systems (Abstract)

Shweta Shetty , Vanderbilt University
Ted Bapty , Vanderbilt University
Sandeep Neema , Vanderbilt University
Steve Nordstrom , Vanderbilt University
Paul Sheldon , Vanderbilt University
Divya Vashishtha , Vanderbilt University
Jason Overdorf , Vanderbilt University
pp. 11

Architecture-Based Design of Computer Based Systems (Abstract)

John Leaney , University of Technology, Sydney
Mark Denford , University of Technology, Sydney
Tim O? Neill , University of Technology, Sydney
pp. 39

Using π - calculus to Formalize UML Activity Diagram (Abstract)

Zhang ShenSheng , Shanghai Jiaotong University
Yang Dong , Shanghai Jiaotong University
pp. 47

Modeling Workflow Process Models with Statechart (Abstract)

Yang Dong , Shanghai Jiaotong University
Zhang Shensheng , Shanghai Jiaotong University
pp. 55

Model-Integrated Design Toolset for Polymorphous Computer-Based Systems (Abstract)

Brandon Eames , Vanderbilt University
Kumar Chhokra , Vanderbilt University
Ben Abbott , Southwest Research Institute
Ted Bapty , Vanderbilt University
Sandeep Neema , Vanderbilt University
pp. 72

An Approach for Modeling and Designing Software Architecture (Abstract)

Jiang Guo , California State University at Los Angeles
pp. 89

Aspect-Oriented Requirements Engineering for Software Product Lines (Abstract)

Armin Eberlein , University of Calgary
Chethana Kuloor , University of Calgary
pp. 98

A Slicing Approach for Parallel Component Adaptation (Abstract)

Brandon Morel , University of Kansas
Perry Alexander , University of Kansas
pp. 108

Rapid Prototyping of Networked Embedded Systems (Abstract)

Miroslav Sveda , Brno University of Technology
pp. 125

The Rosetta Meta-Model Framework (Abstract)

Cindy Kong , University of Kansas
Perry Alexander , University of Kansas
pp. 133

Integrated Modeling and Analysis of Computer-Based Embedded Control Systems (Abstract)

Kang G. Shin , University of Michigan
Zonghua Gu , University of Michigan
pp. 141

Design of Very Lightweight Agents for Reactive Embedded Systems (Abstract)

Daniel Mossé , University of Pittsburgh
Madhura S. Tamhankar , Syracuse University
Jae C. Oh , Syracuse University
pp. 149

Domain Model Translation Using Graph Transformations (Abstract)

Aditya Agrawal , Vanderbilt University
Jonathan Sprinkle , Vanderbilt University
Feng Shi , Vanderbilt University
Gabor Karsai , Vanderbilt University
Tíhamer Levendovszky , Vanderbilt University
pp. 159

Formal Specifications of Computer-Based Systems (Abstract)

Jerzy Rozenblit , University of Arizona
Charles Rattray , University of Stirling
Miroslav Sveda , Brno University of Technology
pp. 169

FMC: An Approach Towards Architecture-Centric System Development (Abstract)

Frank Keller , Hasso Plattner Institute for Software Systems Engineering
Siegfried Wendt , Hasso Plattner Institute for Software Systems Engineering
pp. 173

Enterprise-Wide Solutions Architecting Using UML (Abstract)

Josephine Micallef , Telcordia Technologies
Diane Feldman , Telcordia Technologies
pp. 191

A Hybrid Architecture for Visualization and Decision Making in Battlespace Environments (Abstract)

J. W. Rozenblit , University of Arizona
J. Peng , University of Arizona
L. Suantak , University of Arizona
pp. 207

Model Checking and Evidence Exploration (Abstract)

Scott A. Smolka , State University of New York at Stony Brook
Yifei Dong , State University of New York at Stony Brook
C. R. Ramakrishnan , State University of New York at Stony Brook
pp. 214

Requirements Interaction Detection Using Semi-Formal Methods (Abstract)

Mohamed Shehata , University of Calgary
Armin Eberlein , University of Calgary
pp. 224

Meta-Modelling Approach to Traceability for Avionics: A Framework for Managing the Engineering of Computer Based Aerospace Systems (Abstract)

Paul Arkely , University of Newcastle upon Tyne
Amer Saeed , Advantage Business Group
Steve Riddle , University of Newcastle upon Tyne
Paul Mason , University of Newcastle upon Tyne
pp. 233

Autonomic Computing — A Means of Achieving Dependability? (Abstract)

Roy Sterritt , University of Ulster
Dave Bustard , University of Ulster
pp. 247

A Foundation for Adaptive Fault Tolerance in Software (Abstract)

R. K. Iyer , University of Illinois at Urbana-Champaign
K. Whisnant , University of Illinois at Urbana-Champaign
Z. Kalbarczyk , University of Illinois at Urbana-Champaign
pp. 252

Social Engineering (Abstract)

Stephanie M. White , Long Island University
pp. 261
Panel Description

Panel: Extending UML from Software to Systems Engineering (Abstract)

Cris Kobryn , Telelogic
Byron Purves , Boeing
Sanford Friedenthal , Lockheed Martin Corporation
Murray Cantor , Rational Software
Stephanie White , Long Island University
pp. 271
Workshop on Model Based Development of Computer Based Systems: Workshop Papers

Consistency in Model-Based Development (Abstract)

Peter Braun , Technische Universität München
Franz Huber , Technische Universität München
Alexander Wisspeintner , Technische Universität München
Bernhard Schätz , Technische Universität München
pp. 287

Details of Formalized Relations in Feature Models Using OCL (Abstract)

Matthias Riebisch , Technische Universit?t Ilmenau
Detlef Streitferdt , Technische Universit?t Ilmenau
Ilka Philippow , Technische Universit?t Ilmenau
pp. 297

Towards Model-Based Requirements Engineering for Web-Enabled B2B Applications (Abstract)

Frank Marschall , Technische Universität München
Maurice Schoenmakers , Technische Universität München
pp. 312

Issues in Architectural Modeling and Evolution in the Know-It-All Case Study (Abstract)

Greg Butler , Concordia University
Lugang Xu , Concordia University
Xin Shen , Concordia University
pp. 321
Author Index

Author Index (PDF)

pp. 331
96 ms
(Ver )