10. ECBS 2003:
Huntsville,
AL,
USA
10th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2003), 7-10 April 2003, Huntsville, AL, USA.
IEEE Computer Society 2003, ISBN 0-7695-1917-2 BibTeX
@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
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Franck Barbier, Nicolas Belloir:
Component Behavior Prediction and Monitoring through Built-In Test.
17-22
Electronic Edition (link) BibTeX
- Harry L. Brewer:
Systems Engineering Transitions into the 21st Century.
23-30
Electronic Edition (link) BibTeX
- Darren Dalcher:
Trust, Systems and Accidents: Designing Complex Systems.
31-38
Electronic Edition (link) BibTeX
- Mark Denford, Tim O'Neill, John Leaney:
Architecture-Based Design of Computer Based Systems.
39-46
Electronic Edition (link) BibTeX
- Dong Yang, Shen-sheng Zhang:
Using p - calculus to Formalize UML Activity Diagram.
47-54
Electronic Edition (link) BibTeX
- Dong Yang, Shen-sheng Zhang:
Modeling Workflow Process Models with Statechart.
55-61
Electronic Edition (link) BibTeX
- Darren Dalcher:
Dynamic Systems Development: Towards Continuity, Growth and Evolution.
62-71
Electronic Edition (link) BibTeX
- Brandon Eames, Ted Bapty, Ben Abbott, Sandeep Neema, Kumar Chhokra:
Model-Integrated Design Toolset for Polymorphous Computer-Based Systems.
72-79
Electronic Edition (link) BibTeX
- Abdoulaye Gamatié, Thierry Gautier:
The SIGNAL Approach to the Design of System Architectures.
80-88
Electronic Edition (link) BibTeX
- Jiang Guo:
An Approach for Modeling and Designing Software Architecture.
89-97
Electronic Edition (link) BibTeX
- Chethana Kuloor, Armin Eberlein:
Aspect-Oriented Requirements Engineering for Software Product Lines.
98-107
Electronic Edition (link) BibTeX
- Brandon Morel, Perry Alexander:
A Slicing Approach for Parallel Component Adaptation.
108-114
Electronic Edition (link) BibTeX
- Carlos Juiz, Ramón Puigjaner:
Performance Modelling of Interaction Protocols for Component-Based System Design Using Object-Oriented Simulation.
115-124
Electronic Edition (link) BibTeX
- Miroslav Svéda:
Rapid Prototyping of Networked Embedded Systems.
125-132
Electronic Edition (link) BibTeX
- Cindy Kong, Perry Alexander:
The Rosetta Meta-Model Framework.
133-140
Electronic Edition (link) BibTeX
- Zonghua Gu, Kang G. Shin:
Integrated Modeling and Analysis of Computer-Based Embedded Control Systems.
141-148
Electronic Edition (link) BibTeX
- Jae C. Oh, Madhura S. Tamhankar, Daniel Mossé:
Design of Very Lightweight Agents for Reactive Embedded Systems.
149-158
Electronic Edition (link) BibTeX
- Jonathan Sprinkle, Aditya Agrawal, Tihamer Levendovszky, Feng Shi, Gabor Karsai:
Domain Model Translation Using Graph Transformations.
159-167
Electronic Edition (link) BibTeX
- Miroslav Svéda, Charles Rattray, Jerzy W. Rozenblit:
Formal Specifications of Computer-Based Systems.
169-172
Electronic Edition (link) BibTeX
- Frank Keller, Siegfried Wendt:
FMC: An Approach Towards Architecture-Centric System Development.
173-182
Electronic Edition (link) BibTeX
- Gabriele Luculli:
An ISA-Retargetable Framework for Embedded Software Analysis.
183-190
Electronic Edition (link) BibTeX
- Diane Feldman, Josephine Micallef, Dennis Mulcare:
Enterprise-Wide Solutions Architecting Using UML.
191-199
Electronic Edition (link) BibTeX
- Nikos Migas, William J. Buchanan, Kevin A. McArtney:
Mobile Agents for Routing, Topology Discovery, and Automatic Network Reconfiguration in Ad-Hoc Networks.
200-206
Electronic Edition (link) BibTeX
- Jianfeng Peng, Jerzy W. Rozenblit, Liana Suantak:
A Hybrid Architecture for Visualization and Decision Making in Battlespace Environments.
207-213
Electronic Edition (link) BibTeX
- Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka:
Model Checking and Evidence Exploration.
214-223
Electronic Edition (link) BibTeX
- Mohamed Shehata, Armin Eberlein:
Requirements Interaction Detection Using Semi-Formal Methods.
224-232
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Roy Sterritt, David W. Bustard:
Autonomic Computing - A Means of Achieving Dependability?
247-251
Electronic Edition (link) BibTeX
- Keith Whisnant, Zbigniew Kalbarczyk, Ravishankar K. Iyer:
A Foundation for Adaptive Fault Tolerance in Software.
252-260
Electronic Edition (link) BibTeX
- Stephanie White:
Social Engineering.
261-
Electronic Edition (link) BibTeX
Panel Description
Workshop on Model Based Development of Computer Based Systems:
Workshop Papers
- Ferdinand Wagner, Peter Wolstenholme:
Modeling and Building Reliable, Re-Useable Software.
277-286
Electronic Edition (link) BibTeX
- Bernhard Schätz, Peter Braun, Franz Huber, Alexander K. Wißpeintner:
Consistency in Model-Based Development.
287-296
Electronic Edition (link) BibTeX
- Detlef Streitferdt, Matthias Riebisch, Ilka Philippow:
Details of Formalized Relations in Feature Models Using OCL.
297-304
Electronic Edition (link) BibTeX
- Silva Robak, Andrzej Pieczynski:
Employing Fuzzy Logic in Feature Diagrams to Model Variability in Software Product-Lines.
305-311
Electronic Edition (link) BibTeX
- Frank Marschall, Maurice Schoenmakers:
Towards Model-Based Requirements Engineering for Web-Enabled B2B Applications.
312-320
Electronic Edition (link) BibTeX
- Gregory Butler, Xin Shen, Lugang Xu:
Issues in Architectural Modeling and Evolution in the Know-It-All Case Study.
321-330
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:07:53 2009
by Michael Ley (ley@uni-trier.de)
