1. Home
  2. Proceedings
  3. ICECCS
  4. ICECCS 2004
Default Cover Image

Engineering of Complex Computer Systems, IEEE International Conference on

Apr. 14 2004 to Apr. 16 2004

Florence, Italy

ISSN: 1050-4729

ISBN: 0-7695-2109-6

Table of Contents

Proceedings Ninth IEEE International Conference on Engineering Complex Computer Systems Navigating Complexity in The e-Engineering AgeFreely available from IEEE.pp. iii-iii
Major threat: from formal methods without tools to tools without formal methodsFreely available from IEEE.pp. 15-15
by B. Steffen
Introduction
Message from the ChairsFreely available from IEEE.pp. viii-ix
Introduction
Organizing and Program CommitteesFreely available from IEEE.pp. x-xi
Keynote Address
Architecture Driven Modeling in Software DevelopmentFull-text access may be available. Sign in or learn about subscription options.pp. 3-12
by Manfred Broy
Panel
Major Threat: From Formal Methods without Tools to Tools without Formal MethodsFull-text access may be available. Sign in or learn about subscription options.pp. 15
by Bernhard Steffen
Session: Security
Modeling Complex Systems by Separating Application and Security ConcernsFull-text access may be available. Sign in or learn about subscription options.pp. 19-28
by Hassan Gomaa, Michael Eonsuk Shin
Session: Security
Dealing with Complex Networks of Process Interactions: A Security MeasureFull-text access may be available. Sign in or learn about subscription options.pp. 29-36
by P. Periorellis, O. C. Idowu, S. J. Lynden, M. P. Young, P. Andras
Session: Networks
TTET: Event-Triggered Channels on a Time-Triggered BaseFull-text access may be available. Sign in or learn about subscription options.pp. 39-46
by Vilgot Claesson, Neeraj Suri
Session: Networks
Enterprise Information Systems Configuration: Emphasizing the Symbiotic Relationship between Applications and the Underlying NetworkFull-text access may be available. Sign in or learn about subscription options.pp. 47-56
by Mara Nikolaidou, Dimosthenis Anagnostopoulos
Session: Validation
Integrated Fault Diagnostics on the GridFull-text access may be available. Sign in or learn about subscription options.pp. 59-65
by Xiaoxu Ren, Max Ong, Geoffrey Allan, Visakan Kadirkamanathan, Haydn Thompson, Peter Fleming
Session: Validation
Robust On-Line Approximation Control of Uncertain Nonlinear Systems Subject to ConstraintsFull-text access may be available. Sign in or learn about subscription options.pp. 66-74
by Marios Polycarpou, Jay Farrell, Manu Sharma
Session: Validation
Formal Test-Case Generation for UML StatechartsFull-text access may be available. Sign in or learn about subscription options.pp. 75-84
by Stefania Gnesi, Diego Latella, Mieke Massink
Session: Formal Specification
Requirements Validation by Lifting Retrenchments in BFull-text access may be available. Sign in or learn about subscription options.pp. 87-96
by Michael Poppleton, Richard Banach
Session: Formal Specification
Relating Π-calculus to Object-ZFull-text access may be available. Sign in or learn about subscription options.pp. 97-106
by Kenji Taguchi, Jin Song Dong, Gabriel Ciobanu
Session: Formal Specification
A Conceptual Framework for State-Based and Event-Based Formal Behavioural Specification LanguagesFull-text access may be available. Sign in or learn about subscription options.pp. 107-116
by Tommaso Bolognesi
Session: Tools
Towards a Tool for Derivation of Implementation ConstraintsFull-text access may be available. Sign in or learn about subscription options.pp. 119-127
by P. Mattias Weckst?, Jonas Vasell, Magnus Jonsson
Session: Tools
Supporting Rigorous Evolution of UML ModelsFull-text access may be available. Sign in or learn about subscription options.pp. 128-137
by Sheena R. Judson, Robert B. France, Doris L. Carver
Session: Tools
Independence Transformations and Tools for ComponentsFull-text access may be available. Sign in or learn about subscription options.pp. 138-146
by D. Woit, M. Fan
Session: Managing Complexity
Using Contexts to Manage System ComplexityFull-text access may be available. Sign in or learn about subscription options.pp. 149-158
by Paul Robertson, Robert Laddaga
Session: Case Studies
Visualising Object-Oriented Source Code Complexity Using XMLFull-text access may be available. Sign in or learn about subscription options.pp. 161-170
by R. M. Marks, F. G. Wilkie
Session: Case Studies
Domain Visualization for Dealing with Complex Information SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 171-180
by Paolo Donzelli, Paolo Bresciani
Session: Case Studies
A Web-Based Infrastructure for the Management of Semantic Meta-DataFull-text access may be available. Sign in or learn about subscription options.pp. 181-190
by Vieri Del Bianco, Gianluca Ripa, Emma Tracanella, Luigi Lavazza
Session: Case Studies
A CORBA-Based Multi-Agent System Integration FrameworkFull-text access may be available. Sign in or learn about subscription options.pp. 191-198
by Tao Cheng, Zailin Guan, Liming Liu, Bo Wu, Shuzi Yang
Session: Case Studies
Muse over University Organisational Ecology in Action and Service-Oriented ArchitecturesFull-text access may be available. Sign in or learn about subscription options.pp. 199-206
by Sita Ramakrishnan, Ashley Cambrell
Session: Case Studies
Design of a Microprocessor-Based Control System of a Compression Molding ProcessFull-text access may be available. Sign in or learn about subscription options.pp. 207-212
by George K. Adam
Session: Case Studies
Monitoring and Optimizing Industrial Production ProcessesFull-text access may be available. Sign in or learn about subscription options.pp. 213-222
by L. Braccesi, M. Monsignori, P. Nesi
Session: Case Studies
System for the Production Control and Automatic Packaging of Plastic Air Sleeve GuidesFull-text access may be available. Sign in or learn about subscription options.pp. 223-227
by Francisco J. Barrientos Garc?, Isaac Garc?a Incertis, F?lix Miguel Trespaderne, Eusebio de la Fuente L?pez, Jos? R. Per?n Gonz?lez
Session: Burning Problems
Verification of NASA Emergent SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 231-238
by Christopher Rouff, Amy Vanderbilt, Walt Truszkowski, James Rash, Mike Hinchey
Session: Burning Problems
Software Information Leaks: A Complexity PerspectiveFull-text access may be available. Sign in or learn about subscription options.pp. 239-248
by Boby George, Shawn A. Bohner, Ruben Prieto-Diaz
Session: Burning Problems
An Investigation of the Approach to Specification-Based Program Review through Case StudiesFull-text access may be available. Sign in or learn about subscription options.pp. 249-258
by Fumiko Nagoya, Shaoying Liu, Yuting Chen
Author Index
Author IndexFreely available from IEEE.pp. 259
Showing 32 out of 32