The Community for Technology Leaders
RSS Icon
Subscribe
Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05) (2000)
Albuquerque, New Mexico
Nov. 15, 2000 to Nov. 17, 2000
ISBN: 0-7695-0927-4
TABLE OF CONTENTS
Introduction
Banquet Address
Jim Skinner , Computer Sciences Corporation
pp. xi
Keynote Address
Session I: Test-Based Comprehension and Failure Prediction Models and Metrics
null (PDF)
pp. null
M. Hecht , SoHaR Inc.
Y. He , SoHaR Inc.
H Hecht , SoHaR Inc.
X An , SoHaR Inc.
pp. 7
D.T. Smith , Virginia Military Institute
T. A. DeLong , Virginia Military Institute
B. W. Johnson , Virginia Military Institute
T. C. Giras , Virginia Military Institute
pp. 17
T. Dohi , Hiroshima University
K. Goseva-Popstojanova , Hiroshima University
K. S. Trivedi , Hiroshima University
pp. 25
Panel Session: How can Symposia Be Structured to Benefit Both Industry and Academia?
null (PDF)
pp. null
R. R. Lutz , California Institute of Technology and Iowa State University
pp. 49
Session II: Using, Extending, and Analyzing UML
null (PDF)
pp. null
S. Gnesi , Istituto di Elaborazione dell'Inf., CNR
D. Latella , Istituto di Elaborazione dell'Inf., CNR
M. Massink , Istituto di Elaborazione dell'Inf., CNR
pp. 55
Weiguo He , University of Nebraska-Lincoln
S. Goddard , University of Nebraska-Lincoln
pp. 65
Yeong Choi Sang , Korea National Defense University
D. Wijesekera , Korea National Defense University
pp. 75
H. Gabor , Budapest University of Technology & Economics
M. Istvan , Budapest University of Technology & Economics
pp. 83
Keynote Address
John Rushby , SRI International
pp. 95
Session III: Special-Purpose High Consequence Processors
null (PDF)
pp. null
G. L. Wickstrom , Sandia Natational Laboratories
pp. 99
A. Requet , Gemplus Res. Lab.
L. Casset , Gemplus Res. Lab.
G. Grimaud , Gemplus Res. Lab.
pp. 115
Panel Session: Do Formal Methods Really Belong in the Toolbox of the Practicing Engineer?
null (PDF)
pp. null
Session IV: Requirements Specification, Analysis, and Synthesis
null (PDF)
pp. null
M. Brockmeyer , Wayne State University
pp. 147
S. Goddard , University of Nebraska-Lincoln
K. Jeffay , University of Nebraska-Lincoln
pp. 177
Session V: Works in Progress
null (PDF)
pp. null
B. J. Czerny , Delphi Automotive System
J. G. D'Ambrosio , Delphi Automotive System
B. T. Murray , Delphi Automotive System
pp. 189
T. K. Ghoshal , Jadavpur University
S. Bhattacharya , Jadavpur University
K. Datta , Jadavpur University
pp. 193
S. Patton , Illinois State University
B. Smith , Illinois State University
D. Doss , Illinois State University
W. Yurcik , Illinois State University
pp. 199
B. K. Aichernig , Graz University of Technology
A. Gerstinger , Graz University of Technology
R. Aster , Graz University of Technology
pp. 203
C. Bayrak , Arkansas University
M. Sahinoglu , Arkansas University
T Cummings , Arkansas University
pp. 207
K. S. Tso , IA Tech. Inc.
A. T. Tai , IA Tech. Inc.
L. Alkalai , IA Tech. Inc.
S.N. Chau , IA Tech. Inc.
W. H. Sanders , IA Tech. Inc.
pp. 212
Session VI: Specification, Rigorous Validation, and Analysis
null (PDF)
pp. null
M. Dal Cin , Erlangen-Nurnberg University
pp. 221
B. M. Atchison , Queensland University
P. A. Lindsay , Queensland University
pp. 228
K. Buchacker , Friedrich-Alexander-University
pp. 238
A. Coccoli , University of Pisa
S. Schemmer , University of Pisa
F. Di Giandomenico , University of Pisa
H. Mock , University of Pisa
A. Bondavalli , University of Pisa
pp. 247
Session VII: Development and Testing Tools and System Architectures
null (PDF)
pp. null
Yutao He , SoHaR Inc.
H. Hecht , SoHaR Inc.
R. A. Paul , SoHaR Inc.
pp. 259
F. B. Bastani , University of Texas at Dallas
S. Ntafos , University of Texas at Dallas
I-Ling Yen , University of Texas at Dallas
D. E. Harris , University of Texas at Dallas
R. R. Morrow , University of Texas at Dallas
R. Paul , University of Texas at Dallas
pp. 265
Zhiwei Xu , Florida Atlantic University
T. M. Khoshgoftaar , Florida Atlantic University
E. B. Allen , Florida Atlantic University
pp. 281
Panel Session: Testing in High Assurance System Engineering
null (PDF)
pp. null
Session VIII: Reliability Models and Metrics
null (PDF)
pp. null
R. M. Kieckhafer , Michigan Technological Unversity
M. H. Azadmanesh , Michigan Technological Unversity
Y. Hui , Michigan Technological Unversity
pp. 293
T. M. Khoshgoftaar , Florida Atlantic University
R. Shan , Florida Atlantic University
E. B. Allen , Florida Atlantic University
pp. 301
A. F. Garcia , Pontificia Universidade Catolica do Rio de Janeiro
D. M. Beder , Pontificia Universidade Catolica do Rio de Janeiro
C. M. F. Rubira , Pontificia Universidade Catolica do Rio de Janeiro
pp. 311
B. Cukic , West Virginia University
D. Chakravarthy , West Virginia University
pp. 321
Author Index
Author Index (PDF)
pp. 331
427 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool