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

ASE 2000 [front matter] (PDF)

pp. iii-viii

Model checking programs (Abstract)

W. Visser , Res. Inst. for Adv. Comput. Sci., NASA Ames Res. Center, Moffett Field, CA, USA
pp. 3-11

Management of change in structured verification (Abstract)

D. Hutter , German Res. Center for Artificial Intelligence, Saarbrucken, Germany
pp. 23-31

A comparison of questionnaire-based and GUI-based requirements gathering (Abstract)

J.M. Moore , Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
pp. 35-43

CM-Builder: an automated NL-based CASE tool (Abstract)

H.M. Harmain , Dept. of Comput. Sci., Sebha Univ., Libya
pp. 45-53

Finding comparatively important concepts between texts (Abstract)

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

Upgrading legacy instances of reactive systems (Abstract)

R.J. Hall , AT&T Labs. Res., Florham Park, NJ, USA
pp. 63-72

Renaming detection (Abstract)

G. Malpohl , IPD, Karlsruhe Univ., Germany
pp. 73-80

Mutation operators for specifications (Abstract)

P.E. Black , Nat. Inst. of Stand. & Technol., Gaithersburg, MD, USA
pp. 81-88

The use of abduction and recursion-editor techniques for the correction of faulty conjectures (Abstract)

R. Monroy , Dept. of Comput. Sci., ITESM-CEM, Atizapan, Mexico
pp. 91-99

Circular coinductive rewriting (Abstract)

J. Goguen , Dept. of Comput. Sci. & Eng., California Univ., San Diego, La Jolla, CA, USA
pp. 123-131

Simultaneous checking of completeness and ground confluence (Abstract)

A. Bouhoula , LORIA, Inst. Nat. de Recherche en Inf. et Autom., Villers-les-Nancy, France
pp. 143-151

Using Little-JIL to coordinate agents in software engineering (Abstract)

A. Wise , Dept. of Comput. Sci., Massachusetts Univ., Amherst, MA, USA
pp. 155-163

Using graph rewriting to specify software architectural transformations (Abstract)

H. Fahmy , Dept. of Comput. Sci., Toronto Univ., Ont., Canada
pp. 187-196

Specialization patterns (Abstract)

U.P. Schultz , IRISA/INRIA, Rennes I Univ., France
pp. 197-206

Generating test data for branch coverage (Abstract)

N. Gupta , Dept. of Comput. Sci., Arizona Univ., Tucson, AZ, USA
pp. 219-227

Test sequences generation from LUSTRE descriptions: GATEL (Abstract)

B. Marre , Lab. de Recherche en Inf., Univ. de Paris-Sud, Orsay, France
pp. 229-237

Automating the composition of middleware configurations (Abstract)

C. Kloukinas , Inst. Nat. de Recherche en Inf. et Autom., Le Chesnay, France
pp. 241-244

Towards explicit representation of architectural design assumptions (Abstract)

J.J. Kyaruzi , Fac. of Inf. Technol. & Syst., Delft Univ. of Technol., Netherlands
pp. 249-252

Java model checking (Abstract)

D.Y.W. Park , Dept. of Comput. Sci., Stanford Univ., CA, USA
pp. 253-256

Automated security checking and patching using TestTalk (Abstract)

C. Liu , Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA
pp. 261-264

Controlled automation of consistency enforcement (Abstract)

K.-D. Schewe , Sch. of Inf. Syst., Massey Univ., Palmerston North, New Zealand
pp. 265-268

A transformational viewpoint on design patterns (Abstract)

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

Issues for the automatic generation of safety critical software (Abstract)

C. O'Halloran , Syst. Assurance Group, DERA, Malvern, UK
pp. 277-280

An experiment in scientific program understanding (Abstract)

M.E.M. Stewart , Dynacs Eng. Inc., Cleveland, OH, USA
pp. 281-284

Toward the automatic assessment of evolvability for reusable class libraries (Abstract)

H.A. Sahraoui , Dept. d'Inf. et de Recherche Oper., Montreal Univ., Que., Canada
pp. 289-292

Translating use cases to sequence diagrams (Abstract)

Liwu Li , Sch. of Comput. Sci., Windsor Univ., Ont., Canada
pp. 293-296

New visual interface for engineering use case models (Abstract)

N. Mansurov , Dept. for CASE Tools, Acad. of Sci., Moscow, Russia
pp. 297-300

Semantic abstraction rules for class diagrams (Abstract)

A. Egyed , Dept. of Comput. Sci., Univ. of Southern California, Los Angeles, CA, USA
pp. 301-304

Combining the best attributes of qualitative and quantitative risk management tool support (Abstract)

M.S. Feather , Jet Propulsion Lab., California Inst. of Technol., Pasadena, CA, USA
pp. 309-312

A group critic system for object-oriented analysis and design (Abstract)

C.R.B. Souza , Dept. of Inf., Fed.. Univ. of Para, Belem, Brazil
pp. 313-316

Computing interfaces in Java (Abstract)

M. Huchard , LIRMM, Montpellier, France
pp. 317-320

Extending UML to support domain analysis (Abstract)

M. Morisio , Politecnico di Torino, Italy
pp. 321-324

Index of authors (PDF)

pp. 329-330
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

Automated Security Checking and Patching Using TestTalk (Abstract)

Chang Liu , University of California at Irvine
Debra J. Richardson , 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)

K.S. Barber , University of Texas at Austin
Sutirtha Bhattacharya , 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)

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

Extending UML to Support Domain Analysis (Abstract)

Maurizio Morisio , Politecnico di Torino
pp. 321

Index of Authors (PDF)

pp. 329
90 ms
(Ver 3.3 (11022016))