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

ASE 2000 [front matter] (PDF)

pp. iii-viii

Model checking programs (Abstract)

pp. 3-11

Finding comparatively important concepts between texts (Abstract)

R. Lecoeuche , Div. of Inf., Edinburgh Univ., UK
pp. 55-60

Renaming detection (Abstract)

pp. 73-80

Specialization patterns (Abstract)

pp. 197-206

Java model checking (Abstract)

pp. 253-256

A transformational viewpoint on design patterns (Abstract)

M. Zaine , Lab. d'Inf., Paris VI Univ., France
pp. 273-276

Computing interfaces in Java (Abstract)

pp. 317-320

Index of authors (PDF)

pp. 329-330
Short Papers

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
87 ms
(Ver 3.3 (11022016))