9. ICECCS 2004: Florence, Italy

Keynote Address

• Manfred Broy:
  Architecture Driven Modeling in Software Development. 3-12
  

Panel

• Bernhard Steffen:
  Major Threat: From Formal Methods without Tools to Tools without Formal Methods. 15
  

Security

• Hassan Gomaa, Michael Eonsuk Shin:
  Modeling Complex Systems by Separating Application and Security Concerns. 19-28
  
• Panayiotis Periorellis, Olusola C. Idowu, Steven J. Lynden, Malcolm P. Young, Péter András:
  Dealing with Complex Networks of Process Interactions: A Security Measure. 29-36
  

Networks

• Vilgot Claesson, Neeraj Suri:
  TTET: Event-Triggered Channels on a Time-Triggered Base. 39-46
  
• Mara Nikolaidou, Dimosthenis Anagnostopoulos:
  Enterprise Information Systems Configuration: Emphasizing the Symbiotic Relationship between Applications and the Underlying Network. 47-56
  

Validation

• Xiaoxu Ren, Max Ong, Geoffrey Allan, Visakan Kadirkamanathan, Haydn A. Thompson, Peter J. Fleming:
  Integrated Fault Diagnostics on the Grid. 59-65
  
• Marios M. Polycarpou, Jay A. Farrell, Manu Sharma:
  Robust On-Line Approximation Control of Uncertain Nonlinear Systems Subject to Constraints. 66-74
  
• Stefania Gnesi, Diego Latella, Mieke Massink:
  Formal Test-Case Generation for UML Statecharts. 75-84
  

Formal Specification

• Michael Poppleton, Richard Banach:
  Requirements Validation by Lifting Retrenchments in B. 87-96
  
• Kenji Taguchi, Jin Song Dong, Gabriel Ciobanu:
  Relating pi-calculus to Object-Z. 97-106
  
• Tommaso Bolognesi:
  A Conceptual Framework for State-Based and Event-Based Formal Behavioural Specification Languages. 107-116
  

Tools

• P. Mattias Weckstén, Jonas Vasell, Magnus Jonsson:
  Towards a Tool for Derivation of Implementation Constraints. 119-127
  
• Sheena R. Judson, Robert B. France, Doris L. Carver:
  Supporting Rigorous Evolution of UML Models. 128-137
  
• Denise M. Woit, M. Fan:
  Independence Transformations and Tools for Components. 138-146
  

Managing Complexity

• Paul Robertson, Robert Laddaga:
  Using Contexts to Manage System Complexity. 149-158
  

Case Studies

• R. M. Marks, F. George Wilkie:
  Visualising Object-Oriented Source Code Complexity Using XML. 161-170
  
• Paolo Donzelli, Paolo Bresciani:
  Domain Visualization for Dealing with Complex Information Systems . 171-180
  
• Vieri Del Bianco, Gianluca Ripa, Emma Tracanella, Luigi Lavazza:
  A Web-Based Infrastructure for the Management of Semantic Meta-Data. 181-190
  
• Tao Cheng, Zailin Guan, Liming Liu, Bo Wu, Shuzi Yang:
  A CORBA-Based Multi-Agent System Integration Framework. 191-198
  
• Sita Ramakrishnan, Ashley Cambrell:
  Muse over University Organisational Ecology in Action and Service-Oriented Architectures. 199-206
  
• George K. Adam:
  Design of a Microprocessor-Based Control System of a Compression Molding Process. 207-212
  
• L. Braccesi, Massimo Monsignori, Paolo Nesi:
  Monitoring and Optimizing Industrial Production Processes. 213-222
  
• Francisco J. Barrientos García, Isaac García Incertis, Félix Miguel Trespaderne, Eusebio de la Fuente López, José Ramón Perán González:
  System for the Production Control and Automatic Packaging of Plastic Air Sleeve Guides. 223-227
  

Burning Problems

• Christopher Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey:
  Verification of NASA Emergent Systems. 231-238
  
• Boby George, Shawn A. Bohner, Rubén Prieto Díaz:
  Software Information Leaks: A Complexity Perspective. 239-248
  
• Fumiko Nagoya, Shaoying Liu, Yuting Chen:
  An Investigation of the Approach to Specification-Based Program Review through Case Studies. 249-258
  

Last update Sat May 18 13:59:14 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page