The Community for Technology Leaders
RSS Icon
Subscribe
2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) (2000)
Grenoble, France
Sept. 11, 2000 to Sept. 15, 2000
ISBN: 0-7695-0710-7
TABLE OF CONTENTS
Preface (PDF)
pp. ix
Sponsors (PDF)
pp. xii
pp. xiii
Session 1: Verification
Willem Visser , NASA Ames Research Center
Klaus Havelund , NASA Ames Research Center
Guillaume Brat , NASA Ames Research Center
SeungJoon Park , NASA Ames Research Center
pp. 3
Sarfraz Khurshid , Massachusetts Institute of Technology
Daniel Jackson , Massachusetts Institute of Technology
pp. 13
Dieter Hutter , German Research Center for Artificial Intelligence
pp. 23
Session 2: Requirements
R. Gaizauskas , University of Sheffield
H.M. Harmain , University of Sebha
pp. 45
Session 3: Evolution
Robert J. Hall , AT &T Labs Research
pp. 63
Renaming Detection (Abstract)
Guido Malpohl , University of Karlsruhe
James J. Hunt , University of Karlsruhe
Walter F. Tichy , University of Karlsruhe
pp. 73
Paul E. Black , National Institute of Standards and Technology
Vadim Okun , University of Maryland in Baltimore County
Yaacov Yesha , University of Maryland in Baltimore County
pp. 81
Session 4: Synthesis and Code Generation
Session 5: Algebraic Specification
Joseph Goguen , University of California at San Diego
Kai Lin , University of California at San Diego
Grigore Rosu , University of California at San Diego
pp. 123
Adel Bouhoula , Ecole Sup?rieure des Communications de Tunis
pp. 143
Session 6: Process
Barbara Staudt Lemer , Williams College
Eric K. McCall , HP Laboratories
Alexander Wise , University of Massachusetts at Amherst
Aaron G. Cass , University of Massachusetts at Amherst
Leon J. Osterweil , University of Massachusetts at Amherst
Stanley M. Sutton, Jr. , IBM T.J. Watson Research Center
pp. 155
Tim Menzies , NASA/West Virginia University
Erik Sinsel , NASA/West Virginia University
pp. 165
Session 7: Design
Hoda Fahmy , University of Toronto
Richard C. Holt , University of Waterloo
pp. 187
pp. 197
Session 8: Testing
Mary Lou Soffa , University of Pittsburgh
Aditya P. Mathur , Purdue University
Neelam Gupta , University of Arizona
pp. 219
Bruno Marre , Universite de Paris-Sud
Agnes Arnould , Universite de Poitiers
pp. 229
Short Papers
Christos Kloukinas , INRIA-Rocquencourt
Valerie Issamy , INRIA-Rocquencourt
pp. 241
John J. Kyaruzi , Delft University of Technology
jan van Katwijk , Delft University of Technology
pp. 249
Java Model Checking (Abstract)
David Y.W. Park , Stanford University
Ulrich Stern , Stanford University
Jens U. Sakkebæk , Stanford University
David L. Dill , Stanford University
pp. 253
Chang Liu , University of California at Irvine
Debra J. Richardson , University of California at Irvine
pp. 261
Mikal Ziane , Universit? Paris 6 and Universit? Ren? Descartes
pp. 273
Mark E.M. Stewart , Dynacs Engineering, Inc.
pp. 281
K.S. Barber , University of Texas at Austin
Sutirtha Bhattacharya , University of Texas at Austin
pp. 285
Liwu Li , University of Windsor
pp. 293
Nikolai Mansurov , Russian Academy of Sciences
Dmitri Vasura , Russian Academy of Sciences
pp. 297
Alexander Egyed , University of Southern California
pp. 301
Martin S. Feather , California Institute of Technology
Steven L. Cornford , California Institute of Technology
Timothy W. Larson , California Institute of Technology
pp. 309
Cleidson R.B. Souza , Federal University of Par?
Jair S. Ferreira, Jr. , Federal University of Par?
Kleder M. Gonçalves , Federal University of Par?
Jacques Wainer , State University of Campinas
pp. 313
pp. 317
Maurizio Morisio , Politecnico di Torino
pp. 321
pp. 329
5 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool