10. ECBS 2003: Huntsville, AL, USA

@proceedings{DBLP:conf/ecbs/2003,
  title     = {10th IEEE International Conference on Engineering of Computer-Based
               Systems (ECBS 2003), 7-10 April 2003, Huntsville, AL, USA},
  booktitle = {ECBS},
  publisher = {IEEE Computer Society},
  year      = {2003},
  isbn      = {0-7695-1917-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Papers

• Aditya Agrawal, Ákos Lédeczi:
  Multigranular Simulation of Heterogeneous Embedded Systems. 3-10
  
• Ted Bapty, Sandeep Neema, Steven Nordstrom, Shweta Shetty, Divya Vashishtha, Jason Overdorf, Paul Sheldon:
  Modeling and Generation Tools for Large-Scale, Real-Time Embedded Systems. 11-16
  
• Franck Barbier, Nicolas Belloir:
  Component Behavior Prediction and Monitoring through Built-In Test. 17-22
  
• Harry L. Brewer:
  Systems Engineering Transitions into the 21st Century. 23-30
  
• Darren Dalcher:
  Trust, Systems and Accidents: Designing Complex Systems. 31-38
  
• Mark Denford, Tim O'Neill, John Leaney:
  Architecture-Based Design of Computer Based Systems. 39-46
  
• Dong Yang, Shen-sheng Zhang:
  Using p - calculus to Formalize UML Activity Diagram. 47-54
  
• Dong Yang, Shen-sheng Zhang:
  Modeling Workflow Process Models with Statechart. 55-61
  
• Darren Dalcher:
  Dynamic Systems Development: Towards Continuity, Growth and Evolution. 62-71
  
• Brandon Eames, Ted Bapty, Ben Abbott, Sandeep Neema, Kumar Chhokra:
  Model-Integrated Design Toolset for Polymorphous Computer-Based Systems. 72-79
  
• Abdoulaye Gamatié, Thierry Gautier:
  The SIGNAL Approach to the Design of System Architectures. 80-88
  
• Jiang Guo:
  An Approach for Modeling and Designing Software Architecture. 89-97
  
• Chethana Kuloor, Armin Eberlein:
  Aspect-Oriented Requirements Engineering for Software Product Lines. 98-107
  
• Brandon Morel, Perry Alexander:
  A Slicing Approach for Parallel Component Adaptation. 108-114
  
• Carlos Juiz, Ramón Puigjaner:
  Performance Modelling of Interaction Protocols for Component-Based System Design Using Object-Oriented Simulation. 115-124
  
• Miroslav Svéda:
  Rapid Prototyping of Networked Embedded Systems. 125-132
  
• Cindy Kong, Perry Alexander:
  The Rosetta Meta-Model Framework. 133-140
  
• Zonghua Gu, Kang G. Shin:
  Integrated Modeling and Analysis of Computer-Based Embedded Control Systems. 141-148
  
• Jae C. Oh, Madhura S. Tamhankar, Daniel Mossé:
  Design of Very Lightweight Agents for Reactive Embedded Systems. 149-158
  
• Jonathan Sprinkle, Aditya Agrawal, Tihamer Levendovszky, Feng Shi, Gabor Karsai:
  Domain Model Translation Using Graph Transformations. 159-167
  
• Miroslav Svéda, Charles Rattray, Jerzy W. Rozenblit:
  Formal Specifications of Computer-Based Systems. 169-172
  
• Frank Keller, Siegfried Wendt:
  FMC: An Approach Towards Architecture-Centric System Development. 173-182
  
• Gabriele Luculli:
  An ISA-Retargetable Framework for Embedded Software Analysis. 183-190
  
• Diane Feldman, Josephine Micallef, Dennis Mulcare:
  Enterprise-Wide Solutions Architecting Using UML. 191-199
  
• Nikos Migas, William J. Buchanan, Kevin A. McArtney:
  Mobile Agents for Routing, Topology Discovery, and Automatic Network Reconfiguration in Ad-Hoc Networks. 200-206
  
• Jianfeng Peng, Jerzy W. Rozenblit, Liana Suantak:
  A Hybrid Architecture for Visualization and Decision Making in Battlespace Environments. 207-213
  
• Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka:
  Model Checking and Evidence Exploration. 214-223
  
• Mohamed Shehata, Armin Eberlein:
  Requirements Interaction Detection Using Semi-Formal Methods. 224-232
  
• Paul Mason, Amer Saeed, Paul Arkley, Steve Riddle:
  Meta-Modelling Approach to Traceability for Avionics: A Framework for Managing the Engineering of Computer Based Aerospace Systems. 233-246
  
• Roy Sterritt, David W. Bustard:
  Autonomic Computing - A Means of Achieving Dependability? 247-251
  
• Keith Whisnant, Zbigniew Kalbarczyk, Ravishankar K. Iyer:
  A Foundation for Adaptive Fault Tolerance in Software. 252-260
  
• Stephanie White:
  Social Engineering. 261-
  

Panel Description

• Stephanie White, Murray Cantor, Sanford Friedenthal, Cris Kobryn, Byron Purves:
  Panel: Extending UML from Software to Systems Engineering. 271-
  

Workshop on Model Based Development of Computer Based Systems: Workshop Papers

• Ferdinand Wagner, Peter Wolstenholme:
  Modeling and Building Reliable, Re-Useable Software. 277-286
  
• Bernhard Schätz, Peter Braun, Franz Huber, Alexander K. Wißpeintner:
  Consistency in Model-Based Development. 287-296
  
• Detlef Streitferdt, Matthias Riebisch, Ilka Philippow:
  Details of Formalized Relations in Feature Models Using OCL. 297-304
  
• Silva Robak, Andrzej Pieczynski:
  Employing Fuzzy Logic in Feature Diagrams to Model Variability in Software Product-Lines. 305-311
  
• Frank Marschall, Maurice Schoenmakers:
  Towards Model-Based Requirements Engineering for Web-Enabled B2B Applications. 312-320
  
• Gregory Butler, Xin Shen, Lugang Xu:
  Issues in Architectural Modeling and Evolution in the Know-It-All Case Study. 321-330
  

Last update Thu May 24 04:16:37 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page