The Community for Technology Leaders
RSS Icon
Subscribe
Engineering of Complex Computer Systems, IEEE International Conference on (1999)
Las Vegas, Nevada
Oct. 18, 1999 to Oct. 22, 1999
ISBN: 0-7695-0434-5
TABLE OF CONTENTS
Foreword (PDF)
pp. vii
Session 1: Collaboration and Distribution
Robert C. Seacord , Carnegie Mellon University
Fred Long , Carnegie Mellon University
John E. Robert , Carnegie Mellon University
pp. 2
Runhe Huang , The University of Aizu
pp. 21
Session 2: Representing Complex Systems and Processes
Dennis Heimbigner , University of Colorado
Richard S. Hall , University of Colorado
Alexander L. Wolf , University of Colorado
pp. 32
B. Rumpe , Munich University ofTechnology
A. Radermacher , University of the Federal Armed Forces at Munich
A. Schürr , University of the Federal Armed Forces at Munich
pp. 43
Session 3: Performance and Tradeoff Analysis
M. Buonopane , University of Florence
M. Montanelli , University of Florence
P. Nesi , University of Florence
pp. 66
Chun Jin , Florida International University
Jiacun Wang , Florida International University
pp. 77
Roman Nossal , Vienna University of Technology
Carlos C. Amaro , Lockheed Martin Government Electronic Systems
pp. 86
Session 4: Applying Formal Methods to Complex Systems
Nicolas Guelfi , Institut Sup?rieur de Technologie
Alexander Romanovsky , University of New Castle upon Tyne
Avelino Francisco Zorzo , University of New Castle upon Tyne and PUCRS
pp. 98
Eric Petitjean , Universit? de Reims Champagne-Ardenne
pp. 109
A Jefferson Offutt , George Mason University
Yiwei Xiong , George Mason University
Shaoying Liu , Hiroshima City University
pp. 119
Session 5: Industrial Experience Reports
Christopher Landauer , The Aerospace Corporation
Kirstie L. Bellman , The Aerospace Corporation
pp. 132
Scott A. Smolka , State University of New York at Stony Brook
Yifei Dong , State University of New York at Stony Brook
Stephanie M. White , Long Island University
pp. 153
Keynote Speakers
John D. Musa , Software Reliability Engineering and Testing Courses
pp. 162
Tutorials
Author Index (PDF)
pp. 185
19 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool