11. ICECCS 2006: Stanford University, CA, USA

Keynote Speaker

• José Luiz Fiadeiro:
  Physiological vs. Social Complexity in Software Design. 3
  

Software Experiences

• Reinhard Klemm:
  Efficient Dynamic Multikeys in Enterprise JavaBeans. 7-16
  
• Jane Huffman Hayes, Inies C. M. Raphael, Elizabeth Ashlee Holbrook, David M. Pruett:
  A Case History of International Space Station Requirement Faul. 17-26
  
• Jing Liu, Jifeng He:
  Reactive Component based Service-Oriented Design - A Case Study. 27-36
  
• Magnus E. Larsson, Phillip A. Laplante:
  On the Complexity of Design in Imaging Software. 37-46
  

Requirements Engineering

• Dae-Kyoo Kim, Lunjin Lu:
  Inference of Design Pattern Instances in UML models via Logic Programming. 47-56
  
• Joshua J. Pauli, Dianxiang Xu:
  Integrating Functional and Security Requirements with Use Case Decomposition. 57-66
  
• Xiaoshan Li:
  A Characterization of UML Diagrams and their Consistency. 67-76
  
• Mara Nikolaidou, Anargyros Tsadimas, Nancy Alexopoulou, Alexandros Dais, Dimosthenis Anagnostopoulos:
  A UML Profile utilizing Enterprise Information System Configuration. 77-88
  

Invited Session: Objects and Communication

• Susan Stepney, Fiona Polack, Heather R. Turner:
  Engineering Emergence. 89-97
  
• Steve Schneider, Helen Treharne, Ana Cavalcanti, Jim Woodcock:
  A Layered Behavioural Model of Platelets. 98-106
  
• Peter H. Welch, Fred R. M. Barnes, Fiona Polack:
  Communicating Complex Systems. 107-120
  

Hardware and Software

• Yuting Chen, Shaoying Liu, Fumiko Nagoya:
  A Tool-Supported Review Approach to Detecting Structural Consistency Violations. 121-130
  
• Geguang Pu, Chong Zhang, Zongyan Qiu, Jifeng He, Wang Yi:
  Integrating Timed Automata into Tabu Algorithm for HW-SW Partitioning. 131-138
  
• Huibiao Zhu, Jifeng He, Jonathan P. Bowen:
  From Algebraic Semantics to Denotational Semantics for Verilog. 139-151
  
• Hui Liang, Jin Song Dong, Jing Sun, Roger Duke, Rudolph E. Seviora:
  Formal Specification-based Online Monitoring. 152-162
  

Invited Session: Autonomous and Autonomic Systems

• Roy Sterritt, Michael G. Hinchey:
  Biologically-Inspired Concepts for Self-Management of Complexity. 163-168
  
• Tiziana Margaria, Christian Kubczak, Marc Njoku, Bernhard Steffen:
  Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC. 169-176
  
• Ray Walshe:
  Modelling Bacterial Growth Patterns in the presence of Antibiotic. 177-188
  

System Verification

• Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu:
  A Type System for the Relational Calculus of Object Systems. 189-198
  
• Milos Besta, Frank A. Stomp:
  An Assertional Correctness Proof of a Self-Stabilizing - Exclusion Algorithm. 199-208
  
• Duoduo Liao:
  A Real-time High-fidelity Driving Simulator System Based on PC Clusters. 209-216
  

Distributed Systems

• Gregory M. Provan:
  Multi-Level Modeling and Distributed Agent-Based Inference: the Role of System Structure. 217-226
  
• Jovan Cakic, Richard F. Paige:
  Origins of the Grid Architectural Style. 227-235
  
• Pierfrancesco Bellini, Ivan Bruno, Paolo Nesi:
  A GRID based Framework and tools for automating production of cross media content. 236-248
  

Invited Session: Z: The Next Generation

• Jim Davies, James Welch, Alessandra Cavarra, Edward Crichton:
  On the Generation of Object Databases using Booster. 249-258
  
• David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira:
  Automation of Java Card component development using the B method. 259-268
  
• Ana Cavalcanti, Phil Clayton:
  Verification of Control Systems using Circus. 269-278
  
• Norman F. Schneidewind:
  Reliability - Security Model. 279-288
  

Last update Tue Feb 14 04:00:51 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page