CSDL - 15th IEEE International Conference on Automated Software Engineering (ASE

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

K. Havelund

G. Brat

Seungjoon Park

pp. 3-11

Exploring the design of an intentional naming scheme with an automatic constraint analyzer (Abstract)

S. Khurshid , Lab. for Comput. Sci., MIT, Cambridge, MA, USA

D. Jackson

pp. 13-22

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

F.M. Shipman

pp. 35-43

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

H.M. Harmain , Dept. of Comput. Sci., Sebha Univ., Libya

R. Gaizauskas

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

J.J. Hunt

W.F. Tichy

pp. 73-80

Mutation operators for specifications (Abstract)

P.E. Black , Nat. Inst. of Stand. & Technol., Gaithersburg, MD, USA

V. Okun

Y. Yesha

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

A DSL approach to improve productivity and safety in device drivers development (Abstract)

L. Reveillere , IRISA/INRIA, Rennes I Univ., France

pp. 101-109

A declarative approach for designing and developing adaptive components (Abstract)

P. Boinot , IRISA/INRIA, Rennes I Univ., France

pp. 111-119

Circular coinductive rewriting (Abstract)

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

K. Lin

C. Rosu

pp. 123-131

Formal construction of the Mathematically Analyzed Separation Kernel (Abstract)

pp. 133-141

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

Practical large scale what-if queries: case studies with software risk assessment (Abstract)

T. Menzies , WVU IV&V Fac., NASA, Fairmont, WV, USA

E. Sinsel

pp. 165-173

Exploring and validating the contributions of real-world knowledge to the diagnostic performance of automated database design tools (Abstract)

S.A. Noah , Fac. of Inf. Sci. & Technol., Nat. Univ. of Malaysia, Bangi, Malaysia

M. Williams

pp. 177-185

Using graph rewriting to specify software architectural transformations (Abstract)

H. Fahmy , Dept. of Comput. Sci., Toronto Univ., Ont., Canada

R.C. Holt

pp. 187-196

Specialization patterns (Abstract)

U.P. Schultz , IRISA/INRIA, Rennes I Univ., France

J.I. Lawall

C. Consel

pp. 197-206

Identification of potentially infeasible program paths by monitoring the search for test data (Abstract)

P.M.S. Bueno , DCA/FEEC/Unicamp, Campinas, Brazil

M. Jino

pp. 209-218

Generating test data for branch coverage (Abstract)

N. Gupta , Dept. of Comput. Sci., Arizona Univ., Tucson, AZ, USA

A.P. Mathur

M.L. Soffa

pp. 219-227

Test sequences generation from LUSTRE descriptions: GATEL (Abstract)

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

A. Arnould

pp. 229-237

Automating the composition of middleware configurations (Abstract)

C. Kloukinas , Inst. Nat. de Recherche en Inf. et Autom., Le Chesnay, France

V. Issarny

pp. 241-244

/spl pi/-SPACE: a formal architecture description language based on process algebra for evolving software systems (Abstract)

C. Chaudet , LLP/CESALP Lab., Savoie Univ., Annecy, France

F. Oquendo

pp. 245-248

Towards explicit representation of architectural design assumptions (Abstract)

J.J. Kyaruzi , Fac. of Inf. Technol. & Syst., Delft Univ. of Technol., Netherlands

J. van Katwijk

pp. 249-252

Java model checking (Abstract)

D.Y.W. Park , Dept. of Comput. Sci., Stanford Univ., CA, USA

U. Stern

J.U. Skakkebaek

D.L. Dill

pp. 253-256

Non-interference analysis for mixed criticality code in avionics systems (Abstract)

M.G. Hill , DERA, Malvern, UK

T.W. Lake

pp. 257-260

Automated security checking and patching using TestTalk (Abstract)

C. Liu , Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA

D.J. Richardson

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

An overview of a method and its support tool for generating B specifications from UML notations (Abstract)

R. Laleau , CEDRIC-IIE, CNAM, Evry, France

A. Mammar

pp. 269-272

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

Representing technology to promote reuse in the software design process (Abstract)

K.S. Barber , Texas Univ., Austin, TX, USA

S. Bhattacharya

pp. 285-288

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

H. Lounis

M.A. Boukadoum

F. Etheve

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

D. Vasura

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

Automatic derivation of Petri net based distributed specification with optimal allocation of resources (Abstract)

K. El-Fakih , Sch. of Inf. Technol. & Eng., Ottawa Univ., Ont., Canada

H. Yamaguchi

G. v. Bochmann

T. Higashino

pp. 305-308

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

S.L. Cornford

T.W. Larson

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

J.S. Ferreira

K.M. Goncalves

J. Wainer

pp. 313-316

Computing interfaces in Java (Abstract)

M. Huchard , LIRMM, Montpellier, France

H. Leblanc

pp. 317-320

Extending UML to support domain analysis (Abstract)

M. Morisio , Politecnico di Torino, Italy

G.H. Travassos

M.E. Stark

pp. 321-324

Proceedings Fifth IEEE International Workshop on Computer Architectures for Machine Perception (PDF)

pp. 325

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

Non-Interference Analysis for Mixed Criticality Code in Avionics Systems (Abstract)

Mike G. Hill , DERA

Thomas W. Lake , InterGlossa Ltd.

pp. 257

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

Controlled Automation of Consistency Enforcement (Abstract)

Klaus-Dieter Schewe , Massey University

pp. 265

An Overview of a Method and its Support Tool for Generating B Specifications from UML Notations (Abstract)

Regine Laleau , CEDRIC-IIE

Amel Mammar , CEDRIC-IIE

pp. 269

A Transformational Viewpoint on Design Patterns (Abstract)

Mikal Ziane , Universit? Paris 6 and Universit? Ren? Descartes

pp. 273

Issues for the Automatic Generation of Safety Critical Software (Abstract)

C. O'Halloran , DERA

pp. 277

An Experiment in Scientific Program Understanding (Abstract)

Mark E.M. Stewart , Dynacs Engineering, Inc.

pp. 281

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

Towards the Automatic Assessment of Evolvability for Reusable Class Libraries (Abstract)

Houari A. Sahraoui , Universit? de Montr?al

Hakim Lounis , CRIM

Mounir A. Boukadoum , Universit? du Qu?bec

Frédéric Ethève , ENST

pp. 289

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

Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of Resources (Abstract)

Khaled El-Fakih , University of Ottawa

Gregor v. Bochmann , University of Ottawa

Hirozurni Yarnaguchi , Osaka University

Teruo Higashino , Osaka University

pp. 305

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

Computing Interfaces in Java (Abstract)

Marianne Huchard , LIRMM

Herve Leblanc , LIRMM

pp. 317

Extending UML to Support Domain Analysis (Abstract)

Maurizio Morisio , Politecnico di Torino

Guilherme H. Travassos , COPPE/UFRJ

Michael E. Stark , ESEG/UM

pp. 321

Systematic Generation of Dependable Change Coordination Plans for Automated Switching of Coordination Policies (Abstract)

Mark G. Matthews , The MITRE Corporation

Prasanta Bose , George Mason University

pp. 325

Index of Authors (PDF)

pp. 329