The Community for Technology Leaders
RSS Icon
Subscribe
Engineering of Complex Computer Systems, IEEE International Conference on (2000)
Tokyo, Japan
Sept. 11, 2000 to Sept. 15, 2000
ISBN: 0-7695-0583-X
TABLE OF CONTENTS
Introduction (PDF)
pp. ix
Reviewers (PDF)
pp. xiii
Invited Speech
J.A. McDermid , York Univ., UK
pp. 0002
Reactive Systems
O. Ormandjieva , Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
V.S. Alagar , Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
pp. 0012
M.A. Bruno , Dept. of Syst. & Inf., Firenze Univ., Italy
P. Bellini , Dept. of Syst. & Inf., Firenze Univ., Italy
pp. 0025
J.-C. Laprie , Lab. d'Autom. et d'Anal. des Syst., CNRS, Toulouse, France
M. Kaaniche , Lab. d'Autom. et d'Anal. des Syst., CNRS, Toulouse, France
pp. 0036
Session 1 - System Modeling
H. Gomaa , George Mason Univ., Fairfax, VA, USA
G.A. Farrukh , George Mason Univ., Fairfax, VA, USA
pp. 0050
H. Gomaa , Dept. of Inf. & Software Eng., George Mason Univ., Fairfax, VA, USA
M.E. Shin , Dept. of Inf. & Software Eng., George Mason Univ., Fairfax, VA, USA
pp. 0061
J. Rash , NASA Goddard Space Flight Center, Greenbelt, MD, USA
M.G. Hinchey , NASA Goddard Space Flight Center, Greenbelt, MD, USA
pp. 0072
Session 1 - Systems Development
Y. Sugiyama , Dept. of Comput. Sci., Nihon Univ., Koriyama, Japan
pp. 0082
W.G. Howerton , Air Force Weather Agency, Offutt Air Force Base, NE, USA
pp. 0105
Session 2 - Special Session: Network Software II
A. Miura , Inf. Sharing Platform Labs., NTT, Tokyo, Japan
R. Takeuchi , Inf. Sharing Platform Labs., NTT, Tokyo, Japan
pp. 0118
H. Ohnishi , NTT Network Service Syst. Labs., Tokyo, Japan
T. Ihara , NTT Network Service Syst. Labs., Tokyo, Japan
pp. 0120
S. Inoue , Fac. of Inf. Sci., Hiroshima City Univ., Japan
pp. 0122
Invited Speech
T.L. Kunii , Fac. of Comput. & Inf. Sci., Hosei Univ., Tokyo, Japan
pp. 0126
Session 1 - Embedded, Concurrent, and Distributed Systems
L.A. Cortes , Dept. of Comput. & Inf. Sci., Linkoping Univ., Sweden
Zebo Peng , Dept. of Comput. & Inf. Sci., Linkoping Univ., Sweden
pp. 0134
H. Honda , Graduate Sch. of Inf. Syst., Univ. of Electro-Commun., Tokyo, Japan
T. Yuba , Graduate Sch. of Inf. Syst., Univ. of Electro-Commun., Tokyo, Japan
pp. 0143
A.E. Santosa , Sch. of Comput., Nat. Univ. of Singapore, Singapore
R. Ramirez , Sch. of Comput., Nat. Univ. of Singapore, Singapore
pp. 0151
Session 2 - Special Session: Formal Engineering Method - SOFL
Invited Speech
Testing and Verification
Miao Huaikou , Sch. of Comput. Eng. & Sci., Shanghai Univ., China
pp. 0164
A. Abdurazik , Dept. of Inf. & Software Eng., George Mason Univ., Fairfax, VA, USA
A.J. Offutt , Dept. of Inf. & Software Eng., George Mason Univ., Fairfax, VA, USA
pp. 0172
P. Ammann , Dept. of Inf. & Software Eng., George Mason Univ., Fairfax, VA, USA
Wei Ding , Dept. of Inf. & Software Eng., George Mason Univ., Fairfax, VA, USA
J. Offutt , Dept. of Inf. & Software Eng., George Mason Univ., Fairfax, VA, USA
pp. 0179
B.A. Bakar , Int. Inst. for Software Technol., United Nations Univ., Macau
pp. 0188
Invited Speech
Communication and Control Systems
S. Hiraike , Dept. of Comput. Eng., Hiroshima City Univ., Japan
S. Inoue , Dept. of Comput. Eng., Hiroshima City Univ., Japan
Y. Kakuda , Dept. of Comput. Eng., Hiroshima City Univ., Japan
K. Toda , Dept. of Comput. Eng., Hiroshima City Univ., Japan
pp. 0210
S. Inoue , Fac. of Inf. Sci., Hiroshima City Univ., Japan
M. Terabe , Fac. of Inf. Sci., Hiroshima City Univ., Japan
pp. 218
Jakob Axelsson , Volvo Technological Development Corp., G?teborg, SWEDEN
pp. 0229
Panel - Software Complexity of the Net
Author Index (PDF)
pp. 240
7 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool