2. ICECCS 1996:
Montreal,
Canada
2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 21-25 October 1996, Montreal, Canada.
IEEE Computer Society 1996, ISBN 0-8186-7614-0 
@proceedings{DBLP:conf/iceccs/1996,
title = {2nd IEEE International Conference on Engineering of Complex Computer
Systems (ICECCS '96), 21-25 October 1996, Montreal, Canada},
booktitle = {ICECCS},
publisher = {IEEE Computer Society},
year = {1996},
isbn = {0-8186-7614-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Formal Methods and Applications I
Parallel Sessions
- Ricardo M. Fricks, Steven W. Hunter, Sachin Garg, Kishor S. Trivedi:
IDEA: Integrated Design Environment for Assessment of ATM Networks.
27-34
- Mohamed F. Younis, Thomas J. Marlowe, Grace Tsai, Alexander D. Stoyenko:
Toward Compiler Optimization of Distributed Real-Time Processes.
35-42
- Dieter Spath, Ulf Osmers:
Virtual Reality - An Approach to Improve the Generation of Fault-Free Software for Programmable Logic Controllers (PLC).
43-46
- Mauro Pezzè, Sergio Silva:
A Software Architecture Approach for Designing CASE Systems.
47-50
- Maurizio Piaggio, Antonio Sgorbissa, Renato Zaccaria:
A Distributed Architecture for Autonomous Robots.
51-
CSESAW I
RTAW I
CSESAW II
Exhibitor Statements
- Maarten Boasson:
Subscription as a Model for the Architecture of Embedded Systems.
130-133
- Frederick I. Moxley:
On the specification of complex software systems.
134-138
- Mark W. Maier:
Developments in System Architecting.
139-142
- Raymond J. A. Buhr:
Understanding Large-Scale Behavior Patterns in Complex systems.
143-146
- James R. Stuart:
Teledesic network and space infrastructure architecture and design.
147-
RTAW II
ICECCS III:
System Visualization,
Imaging and Technologies
CSESAW III
RTAW III
ICECCS IV:
Protocols and Communications
CSESAW IV
ICECCS V:
Complex Real-Time Systems and Tools
ICECCS VI:
Formal Methods and Applications II
Parallel Sessions:
ICECCS VII:
Databases and Database Management Systems
ICECCS VIII:
System and Software Architectures
- Michael Gloger, Stefan Jockusch, Norbert Weber:
Assessment and Optimization of System Architectures - Experience from Industrial Applications at Siemens.
400-407
- Walter J. Ellis, Richard F. Hilliard II, Thomas F. Saunders, Peter T. Poon, David Rayford, B. Sherlund, Ronald L. Wade:
Toward a Recommended Practice for Architectural Description.
408-413
- Alan W. Brown, Kurt C. Wallnau:
Engineering of component-based systems.
414-422
- Hans Toetenel, R. F. Lutje Spelberg, Sylvia Stuurman, Jan van Katwijk:
Modeling and analysis of complex computer systems-the MTCCS approach.
423-
ICECCS IX:
Tools and Approaches
ICECCS X:
Reuse,
Refinement,
Evolution
- Alejandro Alonso, Juan Antonio de la Puente:
Building Reusable Software Architectures with Ada 95.
467-472
- Bhavani M. Thuraisingham, Arkady Kanevsky, Peter C. Krupp, Alice Schafer, Mike Gates, Thomas Wheeler, Edward H. Bensley, Ruth Ann Sigel, Michael Squadrito:
Evolvable Real-Time C3 Systems-II: Real-Time Infrastructure Requirements.
473-482
- Paul Mukherjee:
System Refinement in VDM-SL.
483-492
- Letha H. Etzkorn, Carl G. Davis, Lisa L. Bowen, David B. Etzkorn, L. W. Lewis, Bradley L. Vinz, Janet C. Wolf:
A knowledge-based approach to object-oriented legacy code reuse.
493-
ICECCS XI:
Formal Methods and Applications III
Last update Wed Feb 15 05:06:06 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
