The Community for Technology Leaders
2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) (2000)
Grenoble, France
Sept. 11, 2000 to Sept. 15, 2000
ISSN: 1527-1366
ISBN: 0-7695-0710-7
TABLE OF CONTENTS

Preface (PDF)

pp. ix

Sponsors (PDF)

pp. xii
Session 1: Verification

Model Checking Programs (Abstract)

Klaus Havelund , NASA Ames Research Center
Willem Visser , NASA Ames Research Center
SeungJoon Park , NASA Ames Research Center
Guillaume Brat , NASA Ames Research Center
pp. 3

Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer (Abstract)

Daniel Jackson , Massachusetts Institute of Technology
Sarfraz Khurshid , Massachusetts Institute of Technology
pp. 13

Management of Change in Structured Verification (Abstract)

Dieter Hutter , German Research Center for Artificial Intelligence
pp. 23
Session 2: Requirements

CM-Builder: An Automated NL-Based CASE Tool (Abstract)

R. Gaizauskas , University of Sheffield
H.M. Harmain , University of Sebha
pp. 45
Session 3: Evolution

Renaming Detection (Abstract)

James J. Hunt , University of Karlsruhe
Guido Malpohl , University of Karlsruhe
Walter F. Tichy , University of Karlsruhe
pp. 73

Mutation Operators for Specifications (Abstract)

Yaacov Yesha , University of Maryland in Baltimore County
Paul E. Black , National Institute of Standards and Technology
Vadim Okun , University of Maryland in Baltimore County
pp. 81
Session 4: Synthesis and Code Generation
Session 5: Algebraic Specification

Circular Coinductive Rewriting (Abstract)

Grigore Rosu , University of California at San Diego
Kai Lin , University of California at San Diego
Joseph Goguen , University of California at San Diego
pp. 123

Simultaneous Checking of Completeness and Ground Confluence (Abstract)

Adel Bouhoula , Ecole Sup?rieure des Communications de Tunis
pp. 143
Session 6: Process

Using Little-JIL to Coordinate Agents in Software Engineering (Abstract)

Aaron G. Cass , University of Massachusetts at Amherst
Eric K. McCall , HP Laboratories
Barbara Staudt Lemer , Williams College
Leon J. Osterweil , University of Massachusetts at Amherst
Stanley M. Sutton, Jr. , IBM T.J. Watson Research Center
Alexander Wise , University of Massachusetts at Amherst
pp. 155

Practical Large Scale What-if Queries: Case Studies with Software Risk Assessment (Abstract)

Tim Menzies , NASA/West Virginia University
Erik Sinsel , NASA/West Virginia University
pp. 165
Session 7: Design

Using Graph Rewriting to Specify Software Architectural Transformations (Abstract)

Hoda Fahmy , University of Toronto
Richard C. Holt , University of Waterloo
pp. 187
Session 8: Testing

Generating Test Data for Branch Coverage (Abstract)

Aditya P. Mathur , Purdue University
Neelam Gupta , University of Arizona
Mary Lou Soffa , University of Pittsburgh
pp. 219

Test Sequences Generation from LUSTRE Descriptions: GATEL (Abstract)

Bruno Marre , Universite de Paris-Sud
Agnes Arnould , Universite de Poitiers
pp. 229
Short Papers

Automating the Composition of Middleware Configurations (Abstract)

Christos Kloukinas , INRIA-Rocquencourt
Valerie Issamy , INRIA-Rocquencourt
pp. 241

Towards Explicit Representation of Architectural Design Assumptions (Abstract)

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
Jens U. Sakkebæk , Stanford University
Ulrich Stern , Stanford University
David L. Dill , Stanford University
pp. 253

Automated Security Checking and Patching Using TestTalk (Abstract)

Debra J. Richardson , University of California at Irvine
Chang Liu , University of California at Irvine
pp. 261

A Transformational Viewpoint on Design Patterns (Abstract)

Mikal Ziane , Universit? Paris 6 and Universit? Ren? Descartes
pp. 273

Representing Technology to Promote Reuse in the Software Design Process (Abstract)

Sutirtha Bhattacharya , University of Texas at Austin
K.S. Barber , University of Texas at Austin
pp. 285

Translating Use Cases to Sequence Diagrams (Abstract)

Liwu Li , University of Windsor
pp. 293

New Visual Interface for Engineering Use Case Models (Abstract)

Nikolai Mansurov , Russian Academy of Sciences
Dmitri Vasura , Russian Academy of Sciences
pp. 297

Semantic Abstraction Rules for Class Diagrams (Abstract)

Alexander Egyed , University of Southern California
pp. 301

Combining the Best Attributes of Qualitative and Quantitative Risk Management Tool Support (Abstract)

Martin S. Feather , California Institute of Technology
Steven L. Cornford , California Institute of Technology
Timothy W. Larson , California Institute of Technology
pp. 309

A Group Critic System for Object-Oriented Analysis and Design (Abstract)

Jair S. Ferreira, Jr. , Federal University of Par?
Cleidson R.B. Souza , Federal University of Par?
Jacques Wainer , State University of Campinas
Kleder M. Gonçalves , Federal University of Par?
pp. 313

Extending UML to Support Domain Analysis (Abstract)

Maurizio Morisio , Politecnico di Torino
pp. 321

Index of Authors (PDF)

pp. 329
97 ms
(Ver )