The Community for Technology Leaders
RSS Icon
Subscribe
11th IEEE International Conference on Engineering of Complex Computer Systems (2006)
Stanford, CA
Aug. 15, 2006 to Aug. 17, 2006
ISBN: 0-7695-2530-X
TABLE OF CONTENTS
Introduction
Preface (PDF)
pp. viii
J.L. Fiadeiro , University of Leicester, Leicester, LE1 7RH, UK
pp. 3
Introduction
Keynote Speaker
Jos? Luiz Fiadeiro , University of Leicester, Leicester, LE1 7RH, UK
pp. 3
Software Experiences
Reinhard Klemm , Avaya Labs Research, Basking Ridge, NJ
pp. 7-16
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
Magnus E. Larsson , Penn State University
Phillip A. Laplante , Penn State University
pp. 37-46
Requirements Engineering
Dae-Kyoo Kim , Oakland University Rochester, MI
Lunjin Lu , Oakland University Rochester, MI
pp. 47-56
Josh Pauli , Dakota State University Madison, SD, USA
Dianxiang Xu , North Dakota State University Fargo, ND
pp. 57-66
Xiaoshan Li , University of Macau, Macao,China
pp. 67-76
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
Ray Walshe , Dublin City University, Ireland
pp. 177-188
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
Milos Besta , Google Inc.
Frank Stomp , Wayne State University, Detroit, MI
pp. 199-208
Duoduo Liao , George Washington University
pp. 209-216
Distributed Systems
Jovan Cakic , University of York, UK.
Richard F. Paige , University of York, UK.
pp. 227-235
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
Norman F. Schneidewind , Naval Postgraduate School
pp. 279-288
Author Index
Author Index (PDF)
pp. 289
5 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool