![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
4th ECBS 1997: Monterey, CA, USA
- 1997 Workshop on Engineering of Computer-Based Systems (ECBS '97), March 24-28, 1997, Monterey, CA, USA. IEEE Computer Society 1997, ISBN 0-8186-7889-5
Requirement Analysis and Specification
- Laurence James:
Automatic requirements specification update processing from a requirements management tool perspective. 2-9 - Stephanie White:
Requirements capture and analysis prior to modeling. 10-17 - David Robinson:
Establishing performance requirements of computer based systems subject to uncertainty. 18-24 - Peter Hruschka:
Detailing and deriving system requirements. 25-
Parallel and Distributed Systems
- Minoru Uehara:
Fault tolerant computing in computational field model. 34-37 - A. Lodeczi:
Model-integrated parallel application synthesis. 38-45 - David Kaplan:
An introduction to the processing graph method. 46-
Plenary
- Jonah Z. Lavi, Bonnie E. Melhart, Ian Pyle:
Engineering of computer-based systems-a proposed curriculum for a degree program at Master level. 54-
Model-Based ECBS I
- Ben Abbott, Monica Joshi:
Tools for model-based real-time system synthesis. 65-72 - Stephan Schulz, Jerzy W. Rozenblit, Klaus Buchenrieder:
Towards an application of model-based codesign: an autonomous, intelligent cruise controller. 73-80 - Yufeng Chen, W. Gerry Howe, Nazir A. Warsi:
A multimodeling framework for complex software reuse . 81-87 - Ethan Scarl, Kurt McCall:
Model-based diagnosis in a power distribution testbed. 88-
Software and Systems
- Franz J. Kurfess
, Mrinalini Lankala, Ashok Vantipalli, Lonnie R. Welch:
A toolset for the reengineering of complex computer systems. 97-104 - H. Mayr:
Using software sensors for migrating from classical simulation systems towards virtual worlds. 105-112 - Xavier Crégut, Bernard Coulette:
Filling the gap between CASE tools and PSEEs. 113-120 - Vijaya K. Srivastava, William H. Farr, Walter Ellis:
Experience with the use of standard IEEE 982.1 on software programs. 121-
Visualization and Computer Modeling to Improve Human Understanding of Complex Military Systems
- Michael J. Barnes:
Process centered displays and cognitive models for command applications. 129-135 - Beverly G. Knapp:
C3I information flow models: integrating and interfaces. 136-138 - Carol H. Daniel:
Using models and simulations to visualize NMD C3: lessons learned. 139-141 - Norman D. Geddes:
Large Scale Models of Cooperative and Hostile Intentions . 142-
Formal Approaches and Techniques
- Manfred Mauerkirchner:
Event Based Modeling and Control of Software Development Processes. 149-156 - Byron Purves:
An intermediate language for system engineering. 157-160 - Phillip Baraona, Perry Alexander:
Representing abstract architectures with axiomatic specifications and activation conditions. 161-168 - Francis Bordeleau, Raymond J. A. Buhr:
UCM-ROOM modelling: from use case maps to communicating state machines. 169-
Plenary
- Harold W. Lawson:
The insides and outsides of computer-based system complexity. 180-
Model-Based ECBS II
- David W. Oliver:
Staffing and organization in the engineering of systems. 189-196 - Earl Long, Amit Misra:
A model-based engineering process for increasing productivity in discrete manufacturing. 197-202 - Amit Misra, Gabor Karsai, Janos Sztipanovits, Ákos Lédeczi, Michael Moore, Earl Long:
A model-integrated information system for increasing throughput in discrete manufacturing. 203-210 - Ernesto Compatangelo:
Towards an Open Framework for Conceptual Knowledge in ECBS Domain and Information Modelling. 211-
Object Oriented Design and Development
- Andrei Borshchev, Yuri G. Karpov, Victor Roudakov:
Systems modeling, simulation and analysis using COVERS active objects. 220-227 - J. S. Keane, Jerzy W. Rozenblit, Michael Barnes:
The Advanced Battlefield Architecture for Tactical Information Selection (ABATIS). 228-237 - Timothy K. Shih, Chi-Ming Chung, Chun-Chia Wang, Wen C. Pai:
Decomposition of inheritance hierarchy DAGs for object-oriented software metrics. 238-245 - Bernard Coulette, Sophie Marcaillou-Ebersold:
View based object oriented approach for complex system modelling. 246-
Real-Time and Mechatronic Systems
- Maria Brielmann, Joachim Stroop, Uwe Honekamp, Peter Wältermann:
Simulation of hybrid mechatronic systems: a case study. 256-263 - Marita Dücker, Georg Lehrenfeld, Wolfgang Müller, Christoph Tahedl:
A generic system for interactive real-time animation. 263-270 - Peter Altenbernd:
CHaRy: the C-LAB hard real-time system to support mechatronical design. 271-278 - O. Heitbreder, Bernd Kleinjohann, Lisa Kleinjohann, Jürgen Tacken:
Intelligent design assistance with SEA . 279-
Architectures
- Christoph Schaffer:
CASA: Computer Aided Systems Architecting. 288-295 - Nicholas E. Karangelen, Steven Howell:
High Level Architecture for an Advanced Distributed Complex Systems Engineering Environment. 296-303 - Dieter K. Hammer:
The many aspects of an IT-architecture. 304-311 - Hugo R. Simpson:
Layered Architecture(s): Principles and Practice in Concurrent and Distributed Systems. 312-
Complexity
- Jerzy W. Rozenblit:
Process and systems complexity. 322-323 - Barry Keepence, Mike Mannion
:
Complex systems. 324-326 - Michael Mrva:
Are we on the way towards design habitability? 327-328 - Harold W. Lawson:
Holistic view of complexity (position statement). 329 - Dennis Mulcare:
Striving for coherency to mitigate the complexity of system design. 330-
Applications
- Gérard Le Lann:
An analysis of the Ariane 5 flight 501 failure-a system engineering perspective. 339-246 - Miroslav Svéda, Otakar Babka, Jana Freeburn:
Knowledge Preserving Development: A Case Study. 347-
CBS Development -- Principles and Practice 1
- Roberto R. Kampfner:
Model-Based Development of Computer-Based Information Systems. 354-259 - David Rowe, John Leaney:
Evaluating evolvability of computer based systems architectures-an ontological approach. 360-267 - Witold Jacak, Andreas Wintersteiger, Jerzy W. Rozenblit:
System engineering based design and control of teletraining sessions in an open environment. 368-275 - Michael Bieber, Michael R. Bartolacci, Jerry Fjermestad, Franz J. Kurfess
, Qianhong Liu, Marvin K. Nakayama, Ajaz Rana, Wilhelm R. Rossak, Richard B. Scherl, Murat M. Tanik, Jason Tsong-Li Wang, Raymond T. Yeh, Peter A. Ng, Richard Sweeney, Fabio Vitali:
Electronic enterprise engineering: an outline of an architecture. 376-
Design Methodology
- Michael Mrva, Mike Heuchling, Wolfgang Ecker:
The Shall-Prototype-Test Development model. 385-391 - D. H. H. Yoon:
A survey of system design methodologies. 392-396 - David D. Walden:
A platform-centric functional hierarchy. 397-404 - Jerzy W. Rozenblit, Christine Kocourek:
Concepts for computer assisted engineering process management. 405-
Development -- Principles and Practice II
- Peter C. Scott, Susan Rose:
Integrated development for computer-based systems. 414-420 - Cecilia Haskins:
Model driven development: integrating tools with practices. 421-426 - Albert Alderson, S. Arnold, P. Brook, Ken Jackson, R. Stevens:
An improved system engineering model. 427-434 - Richard Evans, Sooyong Park, Henry Alberts:
Decisions not requirements: decision-centered engineering of computer-based systems. 435-
Real-Time Applications
- Wolfgang Küchlin, Gerhard Gruhler, Thomas Lumpp, Andreas Speck:
HighRobot: a high-performance universal robot control on parallel workstations. 444-451 - Binoy Ravindran, Lonnie R. Welch, Christian Kelling:
Building Distributed Scalable Dependable Real-TimeSystems. 452-459 - Bogdan Kasztenny
, Eugeniusz Rosolowski:
A digital protective relay as a real-time microprocessor system. 460-466 - Ted Bapty, Janos Sztipanovits:
Model-based engineering of large-scale real-time systems. 467-
Model-Based Engineering
- Jerzy W. Rozenblit:
Integrative, model-based engineering design. 476-477 - Byron Purves:
System design with models. 478 - Perry Alexander:
Insertion of formalism into systems level design. 479 - Janos Sztipanovits:
Model-integrated computing environments and computer-based systems. 480
Dependability and Safety Critical Systems
- Marie-Elena C. Kidd:
Ensuring critical event sequences in high consequence computer based systems as inspired by path expressions. 483-490 - Jan Madsen:
Validation and testing of sC++ applications. 491-497 - Ann Q. Gates, C. Kubo Della-Piana:
The identification of integrity constraints in requirements for context monitoring. 498-506
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.