Proceedings of the 15th IEEE International Conference on Automated Software Engineering
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter


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

SE
DBLP
Scholar
Full names Links ISxN
@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)

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–?.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.