The Community for Technology Leaders
RSS Icon
Subscribe
Industrial-Strength Formal Specification Techniques, Workshop on (1995)
Boca Raton, Florida
Apr. 5, 1995 to Apr. 8, 1995
ISBN: 0-8186-7005-3
TABLE OF CONTENTS
Foreword (PDF)
pp. vii
Committees (PDF)
pp. viii
Session 1
S.P. Miller , Collins Commercial Avionics, Rockwell Int. Corp., Cedar Rapids, IA, USA
M. Srivas , Collins Commercial Avionics, Rockwell Int. Corp., Cedar Rapids, IA, USA
pp. 2
J.S. Fitzgerald , Dept. of Comput., Open Univ., Milton Keynes, UK
L.M. Barroca , Dept. of Comput., Open Univ., Milton Keynes, UK
pp. 17
R. Covington , Loral SIS, Houston, TX, USA
J. Kelly , Loral SIS, Houston, TX, USA
C. Kirkwood , Dept. of Comput. Sci., Glasgow Univ., UK
M. Thomas , Dept. of Comput. Sci., Glasgow Univ., UK
A.R. Flora-Holmquist , Dept. of Core Switching Dev., AT&T Bell Labs., Naperville, IL, USA
M.G. Staskauskas , Dept. of Core Switching Dev., AT&T Bell Labs., Naperville, IL, USA
D. Hamilton , Loral SIS, Houston, TX, USA
M. Srivas , Collins Commercial Avionics, Rockwell Int. Corp., Cedar Rapids, IA, USA
G. Cleland , Lab. for Found. of Comput. Sci., Edinburgh Univ., UK
D. MacKenzie , Lab. for Found. of Comput. Sci., Edinburgh Univ., UK
pp. 30
Session 2
G. Cleland , Lab. for Found. of Comput. Sci., Edinburgh Univ., UK
D. MacKenzie , Lab. for Found. of Comput. Sci., Edinburgh Univ., UK
pp. 46
C. Minkowitz , Sch. of Comput., Staffordshire Univ., Stafford, UK
J.H. Turner , Sch. of Comput., Staffordshire Univ., Stafford, UK
pp. 61
J. Hagar , Martin Marietta Astronaut. Co, Denver, CO, USA
pp. 76
Session 3
T. Kurfess , Dept. of Eng. & Public Policy, Carnegie Mellon Univ., Pittsburgh, PA, USA
V. Hartonas-Garmhausen , Dept. of Eng. & Public Policy, Carnegie Mellon Univ., Pittsburgh, PA, USA
D. Long , Dept. of Eng. & Public Policy, Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 88
S. Campos , Sch. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
E. Clarke , Sch. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
W. Marrero , Sch. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
M. Minea , Sch. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 97
J.S. Ostroff , Dept. of Comput. Sci., York Univ., North York, Ont., Canada
pp. 108
A.R. Flora-Holmquist , Dept. of Core Switching Dev., AT&T Bell Labs., Naperville, IL, USA
pp. 122
Session 4
C. Puchol , Dept. of Software Production Res., AT&T Bell Labs., Naperville, IL, USA
L.J. Jagadeesan , Dept. of Software Production Res., AT&T Bell Labs., Naperville, IL, USA
pp. 132
M. Ingleby , British Rail Res., Derby, UK
pp. 146
C. Kirkwood , Dept. of Comput. Sci., Glasgow Univ., UK
pp. 159
Author Index (PDF)
pp. 172
21 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool