default search action
10th 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
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
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
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
Design of Very Lightweight Agents for Reactive Embedded Systems. 149-158 - Jonathan Sprinkle
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
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
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
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 M. White
Social Engineering. 261-
Panel Description
- Stephanie M. 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
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-31 21:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: