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 BibTeX
@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
Electronic Edition (link) BibTeX
- Mohamed F. Younis, Thomas J. Marlowe, Grace Tsai, Alexander D. Stoyenko:
Toward Compiler Optimization of Distributed Real-Time Processes.
35-42
Electronic Edition (link) BibTeX
- Dieter Spath, Ulf Osmers:
Virtual Reality - An Approach to Improve the Generation of Fault-Free Software for Programmable Logic Controllers (PLC).
43-46
Electronic Edition (link) BibTeX
- Mauro Pezzè, Sergio Silva:
A Software Architecture Approach for Designing CASE Systems.
47-50
Electronic Edition (link) BibTeX
- Maurizio Piaggio, Antonio Sgorbissa, Renato Zaccaria:
A Distributed Architecture for Autonomous Robots.
51-
Electronic Edition (link) BibTeX
CSESAW I
RTAW I
CSESAW II
Exhibitor Statements
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
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Alan W. Brown, Kurt C. Wallnau:
Engineering of component-based systems.
414-422
Electronic Edition (link) BibTeX
- Hans Toetenel, R. F. Lutje Spelberg, Sylvia Stuurman, Jan van Katwijk:
Modeling and analysis of complex computer systems-the MTCCS approach.
423-
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Paul Mukherjee:
System Refinement in VDM-SL.
483-492
Electronic Edition (link) BibTeX
- 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-
Electronic Edition (link) BibTeX
ICECCS XI:
Formal Methods and Applications III
Copyright © Sat May 16 23:19:23 2009
by Michael Ley (ley@uni-trier.de)
