• I
  • ICECCS
  • 2006
  • 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06)
Advanced Search 
11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06)
Stanford, California
August 15-August 17
ISBN: 0-7695-2530-X
Table of Contents
Keynote Speaker
Introduction
Preface (PDF)
pp. viii
Software Experiences
Jane Huffman Hayes, University of Kentucky
Inies C.M. Raphael, University of Kentucky
Elizabeth Ashlee Holbrook, University of Kentucky
David M. Pruett, Geocontrol Systems Incorporated
pp. 17-26
Jing Liu, East China Normal University, Shanghai, China
Jifeng He, East China Normal University, Shanghai, China
pp. 27-36
Requirements Engineering
Josh Pauli, Dakota State University Madison, SD, USA
Dianxiang Xu, North Dakota State University Fargo, ND
pp. 57-66
M. Nikolaidou, Harokopio University of Athens, Greece
A. Tsadimas, Harokopio University of Athens, Greece
N. Alexopoulou, Harokopio University of Athens, Greece
A. Dais, University of Athens, Panepistimiopolis, 15771, Athens, Greece
D. Anagnostopoulos, Harokopio University of Athens, Greece
pp. 77-88
Invited Session: Objects and Communication
Susan Stepney, University of York, Heslington, York, YO10 5DD, UK
Fiona A. C. Polack, University of York, Heslington, York, YO10 5DD, UK
Heather R. Turner, University of York, Heslington, York, YO10 5DD, UK
pp. 89-97
Steve Schneider, University of Surrey, UK
Helen Treharne, University of Surrey, UK
Ana Cavalcanti, University of York, UK
Jim Woodcock, University of York, UK
pp. 98-106
Peter H. Welch, University of Kent, Canterbury, UK
Frederick R.M. Barnes, University of Kent, Canterbury, UK
Fiona A.C. Polack, University of York, UK
pp. 107-120
Hardware and Software
Yuting Chen, Hosei University, Tokyo, Japan
Shaoying Liu, Hosei University, Tokyo, Japan
Fumiko Nagoya, Hosei University, Tokyo, Japan
pp. 121-130
Geguang Pu, East China Normal University, Shanghai, P. R. China
Zhang Chong, Peking University, Beijing, P.R.China
Zongyan Qiu, Peking University, Beijing, P.R.China
Jifeng He, East China Normal University, Shanghai, P. R. China
Wang Yi, Uppsala University, Sweden
pp. 131-138
Huibiao Zhu, East China Normal University
Jifeng He, East China Normal University
Jonathan P. Bowen, London South Bank University, UK
pp. 139-151
Hui Liang, National University of Singapore
Jin Song Dong, 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
Roy Sterritt, University of Ulster, Jordanstown, Northern Ireland
Michael G. Hinchey, NASA Goddard Space Flight Center, Greenbelt, MD, USA
pp. 163-168
Tiziana Margaria, University of Potsdam, Potsdam, Germany
Christian Kubczak, University of Dortmund, Germany
Marc Njoku, University of Gottingen, Germany
Bernhard Steffen, University of Gottingen, Germany
pp. 169-176
System Verification
Liang Zhao, United Nation University, International Institute for Software Technology, Ma
Xiangpeng Zhao, Peking University, Beijing 100871, China
Quan Long, Peking University, Beijing 100871, China
Zongyan Qiu, Peking University, Beijing 100871, China
pp. 189-198
Distributed Systems
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
Jim Davies, Oxford University Computing Laboratory, UK
James Welch, Oxford University Computing Laboratory, UK
Alessandra Cavarra, Oxford University Computing Laboratory, UK
Edward Crichton, Oxford University Computing Laboratory, UK
pp. 249-258
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
Ana Cavalcanti, University of York, UK
Phil Clayton, Systems Assurance Group, QinetiQ Malvern, England
pp. 269-278
Author Index
Usage of this product signifies your acceptance of the Terms of Use.