The Community for Technology Leaders
Engineering of Complex Computer Systems, IEEE International Conference on (2006)
Stanford, California
Aug. 15, 2006 to Aug. 17, 2006
ISBN: 0-7695-2530-X
TABLE OF CONTENTS
Introduction

Preface (PDF)

pp. viii

Physiological vs. social complexity in software design (PDF)

J.L. Fiadeiro , University of Leicester, Leicester, LE1 7RH, UK
pp. 3
Introduction
Keynote Speaker

Physiological vs. Social Complexity in Software Design (PDF)

Jos? Luiz Fiadeiro , University of Leicester, Leicester, LE1 7RH, UK
pp. 3
Software Experiences

Efficient Dynamic Multikeys in Enterprise JavaBeans (Abstract)

Reinhard Klemm , Avaya Labs Research, Basking Ridge, NJ
pp. 7-16

A Case History of International Space Station Requirement Faul (Abstract)

Jane Huffman Hayes , University of Kentucky
Inies C.M. Raphael , University of Kentucky
David M. Pruett , Geocontrol Systems Incorporated
Elizabeth Ashlee Holbrook , University of Kentucky
pp. 17-26

Reactive Component based Service-Oriented Design - A Case Study (Abstract)

Jifeng He , East China Normal University, Shanghai, China
Jing Liu , East China Normal University, Shanghai, China
pp. 27-36

On the Complexity of Design in Imaging Software (Abstract)

Phillip A. Laplante , Penn State University
Magnus E. Larsson , Penn State University
pp. 37-46
Requirements Engineering

Inference of Design Pattern Instances in UML models via Logic Programming (Abstract)

Dae-Kyoo Kim , Oakland University Rochester, MI
Lunjin Lu , Oakland University Rochester, MI
pp. 47-56

Integrating Functional and Security Requirements with Use Case Decomposition (Abstract)

Dianxiang Xu , North Dakota State University Fargo, ND
Josh Pauli , Dakota State University Madison, SD, USA
pp. 57-66

A Characterization of UML Diagrams and their Consistency (Abstract)

Xiaoshan Li , University of Macau, Macao,China
pp. 67-76

A UML Profile utilizing Enterprise Information System Configuration (Abstract)

M. Nikolaidou , Harokopio University of Athens, Greece
N. Alexopoulou , Harokopio University of Athens, Greece
A. Tsadimas , Harokopio University of Athens, Greece
D. Anagnostopoulos , Harokopio University of Athens, Greece
A. Dais , University of Athens, Panepistimiopolis, 15771, Athens, Greece
pp. 77-88
Invited Session: Objects and Communication

Engineering Emergence (Abstract)

Heather R. Turner , University of York, Heslington, York, YO10 5DD, UK
Fiona A. C. Polack , University of York, Heslington, York, YO10 5DD, UK
Susan Stepney , University of York, Heslington, York, YO10 5DD, UK
pp. 89-97

A Layered Behavioural Model of Platelets (Abstract)

Helen Treharne , University of Surrey, UK
Steve Schneider , University of Surrey, UK
Jim Woodcock , University of York, UK
Ana Cavalcanti , University of York, UK
pp. 98-106

Communicating Complex Systems (Abstract)

Frederick R.M. Barnes , University of Kent, Canterbury, UK
Fiona A.C. Polack , University of York, UK
Peter H. Welch , University of Kent, Canterbury, UK
pp. 107-120
Hardware and Software

A Tool-Supported Review Approach to Detecting Structural Consistency Violations (Abstract)

Shaoying Liu , Hosei University, Tokyo, Japan
Yuting Chen , Hosei University, Tokyo, Japan
Fumiko Nagoya , Hosei University, Tokyo, Japan
pp. 121-130

Integrating Timed Automata into Tabu Algorithm for HW-SW Partitioning (Abstract)

Jifeng He , East China Normal University, Shanghai, P. R. China
Wang Yi , Uppsala University, Sweden
Zhang Chong , Peking University, Beijing, P.R.China
Zongyan Qiu , Peking University, Beijing, P.R.China
Geguang Pu , East China Normal University, Shanghai, P. R. China
pp. 131-138

From Algebraic Semantics to Denotational Semantics for Verilog (Abstract)

Jifeng He , East China Normal University
Huibiao Zhu , East China Normal University
Jonathan P. Bowen , London South Bank University, UK
pp. 139-151

Formal Specification-based Online Monitoring (Abstract)

Jin Song Dong , National University of Singapore
Hui Liang , National University of Singapore
Jing Sun , University of Auckland, NZ
Roger Duke , University of Queensland, Australia
Rudolph E. Seviora , University of Waterloo, Canada
pp. 152-162
Invited Session: Autonomous and Autonomic Systems

Biologically-Inspired Concepts for Self-Management of Complexity (Abstract)

Roy Sterritt , University of Ulster, Jordanstown, Northern Ireland
Michael G. Hinchey , NASA Goddard Space Flight Center, Greenbelt, MD, USA
pp. 163-168

Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC (Abstract)

Christian Kubczak , University of Dortmund, Germany
Bernhard Steffen , University of Gottingen, Germany
Marc Njoku , University of Gottingen, Germany
Tiziana Margaria , University of Potsdam, Potsdam, Germany
pp. 169-176

Modelling Bacterial Growth Patterns in the presence of Antibiotic (Abstract)

Ray Walshe , Dublin City University, Ireland
pp. 177-188
System Verification

A Type System for the Relational Calculus of Object Systems (Abstract)

Xiangpeng Zhao , Peking University, Beijing 100871, China
Liang Zhao , United Nation University, International Institute for Software Technology, Ma
Zongyan Qiu , Peking University, Beijing 100871, China
Quan Long , Peking University, Beijing 100871, China
pp. 189-198

An Assertional Correctness Proof of a Self-Stabilizing - Exclusion Algorithm (Abstract)

Frank Stomp , Wayne State University, Detroit, MI
Milos Besta , Google Inc.
pp. 199-208
Distributed Systems

Origins of the Grid Architectural Style (Abstract)

Jovan Cakic , University of York, UK.
Richard F. Paige , University of York, UK.
pp. 227-235

A GRID based Framework and tools for automating production of cross media content (Abstract)

Pierfrancesco Bellini , Universit? degli Studi di Firenze, Italy
Ivan Bruno , Universit? degli Studi di Firenze, Italy
Paolo Nesi , Universit? degli Studi di Firenze, Italy
pp. 236-248
Invited Session: Z: The Next Generation

On the Generation of Object Databases using Booster (Abstract)

James Welch , Oxford University Computing Laboratory, UK
Alessandra Cavarra , Oxford University Computing Laboratory, UK
Edward Crichton , Oxford University Computing Laboratory, UK
Jim Davies , Oxford University Computing Laboratory, UK
pp. 249-258

Automation of Java Card component development using the B method (Abstract)

David Deharbe , Universidade Federal do Rio Grande do Norte (UFRN), Brazil
Bruno Gurgel Gomes , Universidade Federal do Rio Grande do Norte (UFRN), Brazil
Anamaria Martins Moreira , Universidade Federal do Rio Grande do Norte (UFRN), Brazil
pp. 259-268

Verification of Control Systems using Circus (Abstract)

Phil Clayton , Systems Assurance Group, QinetiQ Malvern, England
Ana Cavalcanti , University of York, UK
pp. 269-278

Reliability - Security Model (Abstract)

Norman F. Schneidewind , Naval Postgraduate School
pp. 279-288
Author Index

Author Index (PDF)

pp. 289
99 ms
(Ver )