• 
  1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), November 6-10, 1995, Fort Lauderdale, Florida, USA. IEEE Computer Society 1995

Deliberate Potpourri I

• 
  Alvin S. Lim: Automatic analytical tools for reliability and dynamic adaptation of complex distributed systems. 1-8
• 
  Jair Jehuda, Gilad Koren, Daniel M. Berry: A time-sharing architecture for complex real-time systems. 9-16
• 
  Richard P. Evans, Sooyong Park, Mark Merriman: Engineering baselines in system development: using ASCII files, two-column index piles, and system numbers, engineering tags, and change set numbers. 17-20
• 
  P. Blysa: SDT a tool for complex real-time systems. 21-

Deliberate Potpourri II

• 
  Christof Ebert: Tracing complexity through the software process. 23-30
• 
  Jin Song Dong, Gordon A. Rose, Roger Duke: The role of secondary attributes in formal object modelling. 31-38
• 
  Wolfgang A. Halang, Kim-Fung Man, Matjaz Colnaric: A graphical paradigm facilitating correct programming of complex computer control systems. 39-42
• 
  Luciano Baresi, Alessandro Orso, Mauro Pezzè: Customizable notations for kernel formalisms. 43-

Deliberate Potpourri III

• 
  Alvaro Rendón, Juan C. Dueñas, Miguel A. de Miguel, Jyrki Leskela, Juan Antonio de la Puente, Gonzalo León, Alejandro Alonso: Animation of heterogeneous prototypes of real-time systems. 47-54
• 
  Moon Lee, Noah S. Prywes, Insup Lee: Automation of analysis and simulation for understanding of large real-time Ada software. 55-58
• 
  Paul Curzon, I. M. Leslie: A case study on design for provability. 59-62
• 
  Humberto E. Garcia: Control and supervision of a complex production process using hybrid systems techniques. 63-67
• 
  Paul A. Bennett: Advances in the design and deployment of human-machine interfaces. 68-69
• 
  Wael M. Elseaidy, Rance Cleaveland: A tool for modeling and verifying real-time systems. 70-

Design Methods

• 
  Daniel A. Menascé, Hassan Gomaa, Larry Kerschberg: A performance oriented design methodology for large-scale distributed data intensive information systems. 72-79
• 
  Vassilka Kirova, Wilhelm Rossak: Representing architectural designs: a central issue in the development of complex systems. 80-87
• 
  Shiu-Kai Chin, John Faust, Joseph Giordano: Integrating formal methods tools to support system design. 88-

Real Time

• 
  Amitava Raha, Nicholas Malcolm, Wei Zhao: Hard real-time communications with weighted round robin service in ATM local area networks. 96-

Software and Systems Engineering

• 
  Norman F. Schneidewind: Predictions for increasing confidence in the reliability of safety critical software. 104-107
• 
  Joseph J. Martinka: Requirements for client/server performance modeling. 108-111
• 
  J. Richard Newman, Sharon L. Rohde: Managing system technical risks using a process-based, integration infrastructure. 112-115
• 
  Faouzi Boufarès, Faïez Gargouri, Naoufel Kraïem: On the integration of heterogeneous methods for complex applications. 116-120
• 
  Martin J. Diepstraten: Command and control system requirements analysis. System requirements specification tactical system CUP CMT. 121-124
• 
  Peter Henderson, Graham D. Pratten: POSD-a notation for presenting complex systems of processes. 125-

Formal Methods

• 
  Kevin Lano, S. J. Goldsack: Discrete event process controller synthesis using VDM/sup ++/. 129-136
• 
  Shaoying Liu, Yong Sun: Structured methodology+object-oriented methodology+formal methods: methodology of SOFL. 137-144
• 
  Egon Börger, Giuseppe Del Castillo: A formal method for provably correct composition of a real-life processor out of basic components. (The APE100 Reverse Engineering Study. 145-148
• 
  K. Brink, L. J. G. Bun, Jan van Katwijk, W. J. Toetenel: Hybrid specification of control systems. 149-

Real Time

• 
  Edward H. Bensley, Lawrence Fisher, Mike Gates, James Houchens, Arkady Kanevsky, Soohee Kim, Peter C. Krupp, Alice Schafer, Bhavani M. Thuraisingham: Evolvable real-time C3 systems. 153-

Software and Systems Engineering

• 
  Haifeng Qian, Eduardo B. Fernández, Jie Wu: A combined functional and object-oriented approach to software design. 167-174
• 
  R. H. Cofer, T. J. Sanders: STADIUM: a new tool for high assurance in systems design. 175-178
• 
  Thomas C. Choinski, Daniel J. Organ, Nila D. Patel, John J. McGahan: A software design for integrating DESTINATION with ACEIT. 179-182
• 
  Dunia Ramazani: Contribution of object-oriented methodologies to the specification of complex systems. 183-186
• 
  Thomas J. Redling: Derivation of S-domain aircraft models. 187-

Keynote Speech

• 
  Anita K. Jones: Complex Systems - The External Influences.

Databases and Integration Frameworks

• 
  Jen-Yao Chwng, Donald F. Ferguson, George Wang, Christos Nikolaou, Jim Teng: Goal-oriented dynamic buffer pool management for data base systems. 191-198
• 
  Christopher Landauer, Kirstie L. Bellman: Active integration frameworks. 199-206
• 
  E. Argante, Peter van der Stok, Ian Willers: On-line event reconstruction using a parallel in-memory database. 207-210
• 
  Robert A. Basta, William H. Greene: A system engineering methodology for predicting scalability of very large real-time databases. 211-

Real-Time Schedulability and Scheduling Issues

• 
  Ramesh Yerraballi, Ravi Mukkamala: Schedulability related issues in end-to-end systems. 215-222
• 
  Robert T. Goettge, Eric W. Brehm, Charles Palczak, John A. Stankovic, Marty Humphrey: Knowledge-Based assistance for real-time systems. 223-

Tools and Environments

• 
  Gabor Karsai, Janos Sztipanovits, Hubertus Franke, Samir Padalkar, Frank DeCaria: Model-embedded on-line problem solving environment for chemical engineering. 227-233
• 
  E. M. Osman, Grace Baratta-Perez, Thomas J. Walsh, Kenneth J. Fowler: A unique tool set for engineering complex systems. 234-

Specification and Reasoning

• 
  Ben C. Moszkowski: Compositional reasoning about projected and infinite time. 238-245
• 
  Milica Barjaktarovic, Shiu-Kai Chin, Kamal Jabbour: Formal specification and verification of communication protocols using automated tools . 246-253
• 
  K. Lano: Specifying static analysis tools using formal methods. 254-

Imaging & Artificial Intelligence

• 
  Michael S. Moore, Jim Nichols: Model-based synthesis of a real-time image processing system. 262-265
• 
  D. M. Wu, Ling Guan, G. Lau, D. Rahija: Design and implementation of a distributed real-time image processing system. 266-269
• 
  L. E. Grossman, W. W. Foard, Everette Clif Burdette, P. L. Neubauer, G. K. Svensson: Real-time computer controlled ultrasound therapy system for breast cancer treatment. 270-

Software and Systems Engineering

• 
  Max Mühlhäuser: Modeling and design of complex cooperative software. 274-277
• 
  Michael L. Edwards, Matt Flanzer, Mark Terry, Joseph Landa: RECAP: a requirements elicitation, capture and analysis process prototype tool for large complex systems. 278-281
• 
  Flavio De Paoli, Francesco Tisato: Abstract and concrete components: an approach to complex systems engineering. 282-285
• 
  Matthew S. Harelick, Thomas J. Marlowe, Alexander D. Stoyenko, Purnendu Sinha: A constraint function classification for complex systems development. 286-

Object Orientation and Modeling

• 
  George Krasovec, Mark Baker, Serban Gheorghe: Target tracking: a real-time object oriented design experiment. 290-297
• 
  Leo Motus, R. Kinksaar, Tonu Naks, M. Pall: Enhancing object modelling technique with timing analysis capabilities. 298-301
• 
  Pablo Darscht, Carlos Eduardo Pereira: An object-oriented approach to handle complex real-time industrial automation projects. 302-305
• 
  Jürgen Ziegler, Maher Awad, Juha Kuusela: Applying object-oriented technology in real-time systems with the OCTOPUS method. 306-309
• 
  Ramesh Achuthan, Vangalur S. Alagar, Thiruvengadam Radhakrishnan: An object-oriented modeling of real-time robotic assembly system. 310-

Networking and Communications

• 
  Swarup Acharya, Rafael Alonso: The computational requirements of mobile machines. 314-321
• 
  Ronald D. Fellman, Robert Grygiel, Isaac Chu: The effect of preemptive queuing in a priority-based real-time network. 322-

Heterogeneous Computing

• 
  James B. Armstrong, Howard Jay Siegel: Dynamic task migration from SIMD to SPMD virtual machines. 326-333
• 
  Timothy A. Budd, Timothy P. Justice, Rajeev K. Pandey: General-purpose multiparadigm programming languages: an enabling technology for constructing complex systems. 334-337
• 
  Panagiotis K. Linos: PolyCARE: a tool for re-engineering multi-language program integrations. 338-

Dependable and Fault-Tolerant Real-Time Systems

• 
  Eduardo B. Fernández, Robert B. France: Formal specification of real-time dependable systems. 342-348
• 
  Mohamed F. Younis, Grace Tsai, Thomas J. Marlowe, Alexander D. Stoyenko: Using speculative execution for fault tolerance in a real-time system. 349-356
• 
  Pam Binns, Steve Vestal: Architecture specifications for complex real-time dependable systems. 357-

Software and Systems Engineering

• 
  Janos Sztipanovits, Gabor Karsai, Csaba Biegl, Ted Bapty, Ákos Lédeczi, Amit Misra: MULTIGRAPH: an architecture for model-integrated computing. 361-368
• 
  Michelle M. Hugue, Richard C. Scalzo: Specifying fault tolerance in large complex computing systems. 369-372
• 
  Stephanie White, Michael Edwards: A requirements taxonomy for specifying complex systems. 373-

High Performance Architectures

• 
  Flavio Bonfatti, Paola Daniela Monari, Gianni Gadda: Bridging structural and software design of PLC-based system families. 377-384
• 
  B. Magnussen: A parallel control computer structure for complex high speed applications. 385-

Testing and Assessment

• 
  Taghi M. Khoshgoftaar, Edward B. Allen: Multivariate assessment of complex software systems: a comparative study. 389-396
• 
  Grace Tsai, M. Insall, Bruce M. McMillin: Ensuring the satisfaction of a temporal specification at run-time. 397-404
• 
  Mei-Chen Hsueh: Large complex system test: objectives and approaches. 405-

Deliberate Potpourri

• 
  Robert M. McGraw, Moshe Meyassed, Robert H. Klenke, James H. Aylor, Ronald D. Williams: Refinement of system-level designs using hybrid modeling. 409-416
• 
  C. Gaspar, J. J. Schwarz: The DELPHI experiment control system. 417-423
• 
  Manabu Kawada, Xu Wu, Tadashi Ae: A construction of neural-net based AI systems. 424-