Proceedings of the 15th IEEE International Conference on Automated Software Engineering
ASE, 2000.

@proceedings{ASE-2000,
	publisher     = "{IEEE Computer Society}",
	title         = "{Proceedings of the 15th IEEE International Conference on Automated Software Engineering}",
	year          = 2000,
}

Event page: http://www.ase-conferences.org/ase/past/ase2000/

Contents (45 items)

10 ×#automation
6 ×#design
5 ×#generative
3 ×#analysis
3 ×#architecture
3 ×#case study
3 ×#specification
3 ×#testing
3 ×#using
2 ×#approach

ASE-2000-VisserHBP #model checking #source code

Model Checking Programs (WV, KH, GPB, SP), pp. 3–12.

ASE-2000-KhurshidJ #automation #constraints #design

Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer (SK, DJ), pp. 13–22.

ASE-2000-Hutter #verification

Management of Change in Structured Verification (DH), p. 23–?.

ASE-2000-MooreS #comparison #requirements

A Comparison of Questionnaire-Based and GUI-Based Requirements Gathering (JMM, FMSI), pp. 35–44.

ASE-2000-HarmainG #automation #named

CM-Builder: An Automated NL-Based CASE Tool (HMH, RJG), pp. 45–54.

ASE-2000-Lecoeuche #concept

Finding Comparatively Important Concepts between Texts (RL), p. 55–?.

ASE-2000-Hall #legacy

Upgrading Legacy Instances of Reactive Systems (RJH), pp. 63–72.

ASE-2000-MalpohlHT #detection

Renaming Detection (GM, JJH, WFT), pp. 73–80.

ASE-2000-BlackOY #specification

Mutation Operators for Specifications (PEB, VO, YY), p. 81–?.

ASE-2000-Monroy #abduction #recursion #using

The Use of Abduction and Recursion-Editor Techniques for the Correction of Faulty Conjectures (RM), pp. 91–100.

ASE-2000-ReveillereMCMM #approach #development #domain-specific language #safety

A DSL Approach to Improve Productivity and Safety in Device Drivers Development (LR, FM, CC, RM, GM), pp. 101–110.

ASE-2000-BoinotMNMC #adaptation #approach #component #declarative #design

A Declarative Approach for Designing and Developing Adaptive Components (PB, RM, JN, GM, CC), p. 111–?.

ASE-2000-GoguenLR #induction

Circular Coinductive Rewriting (JAG, KL, GR), pp. 123–132.

ASE-2000-MartinWTG #kernel

Formal Construction of the Mathematically Analyzed Separation Kernel (WM, PW, FST, AG), pp. 133–142.

ASE-2000-Bouhoula #confluence

Simultaneous Checking of Completeness and Ground Confluence (AB), p. 143–?.

ASE-2000-WiseCLMOS #coordination #re-engineering #using

Using Little-JIL to Coordinate Agents in Software Engineering (AEW, AGC, BSL, EKM, LJO, SMSJ), pp. 155–164.

ASE-2000-MenziesS #assessment #case study #query #risk management #scalability

Practical Large Scale What-If Queries: Case Studies with Software Risk Assessment (TM, ES), p. 165–?.

ASE-2000-NoahW #automation #database #design #performance #tool support #validation

Exploring and Validating the Contributions of Real-World Knowledge to the Diagnostic Performance of Automated Database Design Tools (SAN, MDW), pp. 177–186.

ASE-2000-FahmyH #architecture #graph grammar #using

Using Graph Rewriting to Specify Software Architectural Transformations (HF, RCH), pp. 187–196.

ASE-2000-SchultzLC

Specialization Patterns (UPS, JLL, CC), p. 197–?.

ASE-2000-BuenoJ #identification #monitoring #testing

Identification of Potentially Infeasible Program Paths by Monitoring the Search for Test Data (PMSB, MJ), pp. 209–218.

ASE-2000-GuptaMS #branch #generative #testing

Generating Test Data for Branch Coverage (NG, APM, MLS), pp. 219–228.

ASE-2000-MarreA #generative #sequence #testing

Test Sequences Generation from LUSTRE Descriptions: GATeL (BM, AA), p. 229–?.

ASE-2000-KloukinasI #automation #composition #middleware

Automating the Composition of Middleware Configurations (CK, VI), pp. 241–244.

ASE-2000-ChaudetO #algebra #architecture #evolution #named #process

pi-SPACE: A Formal Architecture Description Language Based on Process Algebra for Evolving Software Systems (CC, FO), pp. 245–248.

ASE-2000-KyaruziK #architecture #design #representation #towards

Towards Explicit Representation of Architectural Design Assumptions (JJK, JvK), pp. 249–252.

ASE-2000-ParkSSD #java #model checking

Java Model Checking (DYWP, US, JUS, DLD), pp. 253–256.

ASE-2000-HillL #analysis

Non-Interference Analysis for Mixed Criticality Code in Avionics Systems (MGH, TWL), pp. 257–260.

ASE-2000-LiuR #automation #security #using

Automated Security Checking and Patching Using TestTalk (CL, DJR), pp. 261–264.

ASE-2000-Schewe #automation #consistency

Controlled Automation of Consistency Enforcement (KDS), pp. 265–268.

ASE-2000-LaleauM #generative #overview #specification #uml

An Overview of a Method and Its Support Tool for Generating B Specifications from UML Notations (RL, AM), pp. 269–272.

ASE-2000-Ziane #design pattern

A Transformational Viewpoint on Design Patterns (MZ), pp. 273–276.

ASE-2000-OHalloran #automation #generative #safety

Issues for the Automatic Generation of Safety Critical Software (CO), pp. 277–280.

ASE-2000-Stewart #comprehension #empirical

An Experiment in Scientific Program Understanding (MEMS), pp. 281–284.

ASE-2000-BarberB #design #process #representation #reuse

Representing Technology to Promote Reuse in the Software Design Process (KSB, SB), pp. 285–288.

ASE-2000-SahraouiLBE #assessment #automation #library #reuse #towards

Towards the Automatic Assessment of Evolvability for Reusable Class Libraries (HAS, HL, MB, FE), pp. 289–292.

ASE-2000-Li #case study #diagrams #sequence chart

Translating Use Cases to Sequence Diagrams (LL), pp. 293–296.

ASE-2000-MansurovV #case study #interface #modelling #visual notation

New Visual Interface for Engineering Use Case Models (NM, DV), pp. 297–300.

ASE-2000-Egyed #abstraction #diagrams #semantics

Semantic Abstraction Rules for Class Diagrams (AE), pp. 301–304.

ASE-2000-El-FakihYBH #automation #distributed #petri net #specification

Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of Resources (KEF, HY, GvB, TH), pp. 305–308.

ASE-2000-FeatherCL #risk management #tool support

Combining the Best Attributes of Qualitative and Quantitative Risk Management Tool Support (MSF, SLC, TWL), pp. 309–312.

ASE-2000-SouzaFGW #analysis #design #object-oriented

A Group Critic System for Object-Oriented Analysis and Design (CRBdS, JSFJ, KMG, JW), pp. 313–316.

ASE-2000-HuchardL #interface #java

Computing Interfaces in Java (MH, HL), pp. 317–320.

ASE-2000-MorisioTS #analysis #uml

Extending UML to Support Domain Analysis (MM, GT, MES), pp. 321–324.

ASE-2000-BoseM #automation #coordination #generative #policy

Systematic Generation of Dependable Change Coordination Plans for Automated Switching of Coordination Policies (PKB, MGM), p. 325–?.