Table of Contents

• Complex Systems - The External InfluencesAnita K. Jones. [doi]
• Automatic analytical tools for reliability and dynamic adaptation of complex distributed systemsAlvin S. Lim. 1-8 [doi]
• A time-sharing architecture for complex real-time systemsJair Jehuda, Gilad Koren, Daniel M. Berry. 9-16 [doi]
• Engineering baselines in system development: using ASCII files, two-column index piles, and system numbers, engineering tags, and change set numbersRichard P. Evans, Sooyong Park, Mark Merriman. 17-20 [doi]
• SDT a tool for complex real-time systemsP. Blysa. 21 [doi]
• Tracing complexity through the software processChristof Ebert. 23-30 [doi]
• The role of secondary attributes in formal object modellingJin Song Dong, Gordon A. Rose, Roger Duke. 31-38 [doi]
• A graphical paradigm facilitating correct programming of complex computer control systemsWolfgang A. Halang, Kim-Fung Man, Matjaz Colnaric. 39-42 [doi]
• Customizable notations for kernel formalismsLuciano Baresi, Alessandro Orso, Mauro Pezzè. 43 [doi]
• Animation of heterogeneous prototypes of real-time systemsAlvaro Rendón, Juan C. Dueñas, Miguel A. de Miguel, Jyrki Leskela, Juan Antonio de la Puente, Gonzalo León, Alejandro Alonso. 47-54 [doi]
• Automation of analysis and simulation for understanding of large real-time Ada softwareMoon Lee, Noah S. Prywes, Insup Lee. 55-58 [doi]
• A case study on design for provabilityPaul Curzon, I. M. Leslie. 59-62 [doi]
• Control and supervision of a complex production process using hybrid systems techniquesHumberto E. Garcia. 63-67 [doi]
• Advances in the design and deployment of human-machine interfacesPaul A. Bennett. 68-69 [doi]
• A tool for modeling and verifying real-time systemsWael M. Elseaidy, Rance Cleaveland. 70 [doi]
• A performance oriented design methodology for large-scale distributed data intensive information systemsDaniel A. Menascé, Hassan Gomaa, Larry Kerschberg. 72-79 [doi]
• Representing architectural designs: a central issue in the development of complex systemsVassilka Kirova, Wilhelm Rossak. 80-87 [doi]
• Integrating formal methods tools to support system designShiu-Kai Chin, John Faust, Joseph Giordano. 88 [doi]
• Hard real-time communications with weighted round robin service in ATM local area networksAmitava Raha, Nicholas Malcolm, Wei Zhao. 96 [doi]
• Predictions for increasing confidence in the reliability of safety critical softwareNorman F. Schneidewind. 104-107 [doi]
• Requirements for client/server performance modelingJoseph J. Martinka. 108-111 [doi]
• Managing system technical risks using a process-based, integration infrastructureJ. Richard Newman, Sharon L. Rohde. 112-115 [doi]
• On the integration of heterogeneous methods for complex applicationsFaouzi Boufarès, Faïez Gargouri, Naoufel Kraïem. 116-120 [doi]
• Command and control system requirements analysis. System requirements specification tactical system CUP CMTMartin J. Diepstraten. 121-124 [doi]
• POSD-a notation for presenting complex systems of processesPeter Henderson, Graham D. Pratten. 125 [doi]
• Discrete event process controller synthesis using VDM/sup ++/Kevin Lano, S. J. Goldsack. 129-136 [doi]
• Structured methodology+object-oriented methodology+formal methods: methodology of SOFLShaoying Liu, Yong Sun. 137-144 [doi]
• A formal method for provably correct composition of a real-life processor out of basic components. (The APE100 Reverse Engineering StudyEgon Börger, Giuseppe Del Castillo. 145-148 [doi]
• Hybrid specification of control systemsK. Brink, L. J. G. Bun, Jan van Katwijk, W. J. Toetenel. 149 [doi]
• Evolvable real-time C3 systemsEdward H. Bensley, Lawrence Fisher, Mike Gates, James Houchens, Arkady Kanevsky, SooHee Kim, Peter C. Krupp, Alice Schafer, Bhavani M. Thuraisingham. 153 [doi]
• A combined functional and object-oriented approach to software designHaifeng Qian, Eduardo B. Fernández, Jie Wu. 167-174 [doi]
• STADIUM: a new tool for high assurance in systems designR. H. Cofer, T. J. Sanders. 175-178 [doi]
• A software design for integrating DESTINATION with ACEITThomas C. Choinski, Daniel J. Organ, Nila D. Patel, John J. McGahan. 179-182 [doi]
• Contribution of object-oriented methodologies to the specification of complex systemsDunia Ramazani. 183-186 [doi]
• Derivation of S-domain aircraft modelsThomas J. Redling. 187 [doi]
• Goal-oriented dynamic buffer pool management for data base systemsJen-Yao Chwng, Donald F. Ferguson, George Wang, Christos Nikolaou, Jim Teng. 191-198 [doi]
• Active integration frameworksChristopher Landauer, Kirstie L. Bellman. 199-206 [doi]
• On-line event reconstruction using a parallel in-memory databaseE. Argante, Peter van der Stok, Ian Willers. 207-210 [doi]
• A system engineering methodology for predicting scalability of very large real-time databasesRobert A. Basta, William H. Greene. 211 [doi]
• Schedulability related issues in end-to-end systemsRamesh Yerraballi, Ravi Mukkamala. 215-222 [doi]
• Knowledge-Based assistance for real-time systemsRobert T. Goettge, Eric W. Brehm, Charles Palczak, John A. Stankovic, Marty Humphrey. 223 [doi]
• Model-embedded on-line problem solving environment for chemical engineeringGabor Karsai, Janos Sztipanovits, Hubertus Franke, Samir Padalkar, Frank DeCaria. 227-233 [doi]
• A unique tool set for engineering complex systemsE. M. Osman, Grace Baratta-Perez, Thomas J. Walsh, Kenneth J. Fowler. 234 [doi]
• Compositional reasoning about projected and infinite timeBen C. Moszkowski. 238-245 [doi]
• Formal specification and verification of communication protocols using automated tools Milica Barjaktarovic, Shiu-Kai Chin, Kamal Jabbour. 246-253 [doi]
• Specifying static analysis tools using formal methodsK. Lano. 254 [doi]
• Model-based synthesis of a real-time image processing systemMichael S. Moore, Jim Nichols. 262-265 [doi]
• Design and implementation of a distributed real-time image processing systemD. M. Wu, Ling Guan, G. Lau, D. Rahija. 266-269 [doi]
• Real-time computer controlled ultrasound therapy system for breast cancer treatmentL. E. Grossman, W. W. Foard, E. C. Burdette, P. L. Neubauer, G. K. Svensson. 270 [doi]
• Modeling and design of complex cooperative softwareMax Mühlhäuser. 274-277 [doi]
• RECAP: a requirements elicitation, capture and analysis process prototype tool for large complex systemsMichael L. Edwards, Matt Flanzer, Mark Terry, Joseph Landa. 278-281 [doi]
• Abstract and concrete components: an approach to complex systems engineeringFlavio De Paoli, Francesco Tisato. 282-285 [doi]
• A constraint function classification for complex systems developmentMatthew S. Harelick, Thomas J. Marlowe, Alexander D. Stoyenko, Purnendu Sinha. 286 [doi]
• Target tracking: a real-time object oriented design experimentGeorge Krasovec, Mark Baker, Serban Gheorghe. 290-297 [doi]
• Enhancing object modelling technique with timing analysis capabilitiesLeo Motus, R. Kinksaar, Tonu Naks, M. Pall. 298-301 [doi]
• An object-oriented approach to handle complex real-time industrial automation projectsPablo Darscht, Carlos Eduardo Pereira. 302-305 [doi]
• Applying object-oriented technology in real-time systems with the OCTOPUS methodJürgen Ziegler, Maher Awad, Juha Kuusela. 306-309 [doi]
• An object-oriented modeling of real-time robotic assembly systemRamesh Achuthan, Vangalur S. Alagar, Thiruvengadam Radhakrishnan. 310 [doi]
• The computational requirements of mobile machinesSwarup Acharya, Rafael Alonso. 314-321 [doi]
• The effect of preemptive queuing in a priority-based real-time networkRonald D. Fellman, Robert Grygiel, Isaac Chu. 322 [doi]
• Dynamic task migration from SIMD to SPMD virtual machinesJames B. Armstrong, Howard Jay Siegel. 326-333 [doi]
• General-purpose multiparadigm programming languages: an enabling technology for constructing complex systemsTimothy A. Budd, Timothy P. Justice, Rajeev K. Pandey. 334-337 [doi]
• PolyCARE: a tool for re-engineering multi-language program integrationsPanagiotis K. Linos. 338 [doi]
• Formal specification of real-time dependable systemsEduardo B. Fernández, Robert B. France. 342-348 [doi]
• Using speculative execution for fault tolerance in a real-time systemMohamed F. Younis, Grace Tsai, Thomas J. Marlowe, Alexander D. Stoyenko. 349-356 [doi]
• Architecture specifications for complex real-time dependable systemsPam Binns, Steve Vestal. 357 [doi]
• MULTIGRAPH: an architecture for model-integrated computingJanos Sztipanovits, Gabor Karsai, Csaba Biegl, Ted Bapty, Ákos Lédeczi, Amit Misra. 361-368 [doi]
• Specifying fault tolerance in large complex computing systemsMichelle M. Hugue, Richard C. Scalzo. 369-372 [doi]
• A requirements taxonomy for specifying complex systemsStephanie White, Michael Edwards. 373 [doi]
• Bridging structural and software design of PLC-based system familiesFlavio Bonfatti, Paola Daniela Monari, Gianni Gadda. 377-384 [doi]
• A parallel control computer structure for complex high speed applicationsB. Magnussen. 385 [doi]
• Multivariate assessment of complex software systems: a comparative studyTaghi M. Khoshgoftaar, Edward B. Allen. 389-396 [doi]
• Ensuring the satisfaction of a temporal specification at run-timeGrace Tsai, M. Insall, Bruce M. McMillin. 397-404 [doi]
• Large complex system test: objectives and approachesMei-Chen Hsueh. 405 [doi]
• Refinement of system-level designs using hybrid modelingRobert M. McGraw, Moshe Meyassed, Robert H. Klenke, James H. Aylor, Ronald D. Williams. 409-416 [doi]
• The DELPHI experiment control systemC. Gaspar, J. J. Schwarz. 417-423 [doi]
• A construction of neural-net based AI systemsManabu Kawada, Xu Wu, Tadashi Ae. 424 [doi]