loading...
  • A
  • ASE
  • 2000
  • 15th IEEE International Conference on Automated Software Engineering (ASE'00)
Advanced Search 
15th IEEE International Conference on Automated Software Engineering (ASE'00)
Grenoble, France
September 11-September 15
ISBN: 0-7695-0710-7
Table of Contents
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
Session 2: Requirements
Session 3: Evolution
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
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
Session 7: Design
Session 8: Testing
Mary Lou Soffa, University of Pittsburgh
Aditya P. Mathur, Purdue University
Neelam Gupta, University of Arizona
pp. 219
Short Papers
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
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
Usage of this product signifies your acceptance of the Terms of Use.