Default Cover Image

Proceedings Sixth Asia Pacific Software Engineering Conference (ASPEC'99) (Cat. No.PR00509)

Dec. 7 1999 to Dec. 10 1999

Takamatsu, Japan

ISSN: 1530-1362

ISBN: 0-7695-0509-0

Table of Contents

Message from the General Co-ChairsFreely available from IEEE.pp. xi
Message from the Program Co-ChairsFreely available from IEEE.pp. xii
Committees and ReviewersFreely available from IEEE.pp. xiii
Keynote Address 1:
Patterns: Making the Obvious ProfoundFull-text access may be available. Sign in or learn about subscription options.
Session 1S: Software Evolution
Empirical Observations on Object EvolutionFull-text access may be available. Sign in or learn about subscription options.pp. 2
Session 1S: Software Evolution
An Approach for Measuring Software Evolution Using Source Code FeaturesFull-text access may be available. Sign in or learn about subscription options.pp. 10
Session 1S: Software Evolution
Software Development Based on Software Pattern EvolutionFull-text access may be available. Sign in or learn about subscription options.pp. 18
Session 1A: Components and Frameworks 1
Application of CBSE to Projects with Evolving Requirements - A Lesson-LearnedFull-text access may be available. Sign in or learn about subscription options.pp. 28
Session 1A: Components and Frameworks 1
An Operational Component Specification MethodFull-text access may be available. Sign in or learn about subscription options.pp. 38
Session 1A: Components and Frameworks 1
Connector Modeling Method for Component ExtractionFull-text access may be available. Sign in or learn about subscription options.pp. 46
Session 1A: Components and Frameworks 1
COMO: A UML-Based Component Development MethodologyFull-text access may be available. Sign in or learn about subscription options.pp. 54
Session 1B: Internet Applications Engineering
Development of an Intelligent Web Interface to Online Library Catalog DatabasesFull-text access may be available. Sign in or learn about subscription options.pp. 64
Session 1B: Internet Applications Engineering
Design of a Framework for Dynamic Content Adaptation to Web-Enabled Terminals and Enterprise ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 72
Session 1B: Internet Applications Engineering
Evaluation of Process Scheduling Mechanism for a Web Server Based on Its Behavior while ExecutingFull-text access may be available. Sign in or learn about subscription options.pp. 80
Session 1B: Internet Applications Engineering
Automatic Selecting of Required NetNews ArticlesFull-text access may be available. Sign in or learn about subscription options.pp. 88
Session 1C: Formal and Visual Methods
A Formal Specification of the Concurrency Control in Real-Time DatabasesFull-text access may be available. Sign in or learn about subscription options.pp. 94
Session 1C: Formal and Visual Methods
Visualization of Formal SpecificationsFull-text access may be available. Sign in or learn about subscription options.pp. 102
Session 1C: Formal and Visual Methods
Interactive Layout Method for Object Diagrams of OMTFull-text access may be available. Sign in or learn about subscription options.pp. 110
Session 1C: Formal and Visual Methods
A Visual Programming Method for Developing Sequence Controller ProgramsFull-text access may be available. Sign in or learn about subscription options.pp. 118
Session 2S: Empirical Software Engineering
A Study of Productivity and Efficiency for Object-Oriented Methods and LanguagesFull-text access may be available. Sign in or learn about subscription options.pp. 128
Session 2S: Empirical Software Engineering
Strongly Formative Pilot Studies on Constraints in Early Life-Cycle WorkFull-text access may be available. Sign in or learn about subscription options.pp. 614
Session 2S: Empirical Software Engineering
Factor Analysis of Comprehension States in the Learning Phases of a Programming LanguageFull-text access may be available. Sign in or learn about subscription options.pp. 136
Session 2S: Empirical Software Engineering
A Straightforward Approach to Effort Estimation for Updating Programs in Object-Oriented Prototyping DevelopmentFull-text access may be available. Sign in or learn about subscription options.pp. 144
Session 2A: Components and Frameworks 2
Intelligent Search Agent for Software ComponentsFull-text access may be available. Sign in or learn about subscription options.pp. 154
Session 2A: Components and Frameworks 2
Inter-Class Test Technique Between Black-Box-Class and White-Box-Class for Component Customization FailuresFull-text access may be available. Sign in or learn about subscription options.pp. 162
Session 2A: Components and Frameworks 2
SMARTS: A Smart CORBA Trader ServiceFull-text access may be available. Sign in or learn about subscription options.pp. 166
Session 2A: Components and Frameworks 2
An Object-Oriented Framework for Content-Based Image Retrieval Based on 5-Tier ArchitectureFull-text access may be available. Sign in or learn about subscription options.pp. 174
Session 2B: Business Process Modeling and Applications
Evolution of Business Processes and a Process Simulation ToolFull-text access may be available. Sign in or learn about subscription options.pp. 180
Session 2B: Business Process Modeling and Applications
An Event, Activity and Process Based Methodology for Requirements Elicitation and Its Application to an Educational Information SystemFull-text access may be available. Sign in or learn about subscription options.pp. 188
Session 2B: Business Process Modeling and Applications
An Integrated Framework of Supply Chain Management SystemFull-text access may be available. Sign in or learn about subscription options.pp. 196
Session 2B: Business Process Modeling and Applications
Software Support for Distributed Business ProcessesFull-text access may be available. Sign in or learn about subscription options.pp. 200
Session 2C: Requirements Engineering
A Detecting and Interpreting Method of the Inconsistency of Software Requirements SpecificationsFull-text access may be available. Sign in or learn about subscription options.pp. 208
Session 2C: Requirements Engineering
Using Multiple Graphs of Programs to Modify SpecificationsFull-text access may be available. Sign in or learn about subscription options.pp. 216
Session 2C: Requirements Engineering
Conducting Requirements Evolution by Replacing Components in the Current SystemFull-text access may be available. Sign in or learn about subscription options.pp. 224
Session 3A: Software Architectures
On Aspect-Oriented Design: An Approach to Designing Quality AttributesFull-text access may be available. Sign in or learn about subscription options.pp. 230
Session 3A: Software Architectures
Towards a Broader View on Software Architecture Analysis of FlexibilityFull-text access may be available. Sign in or learn about subscription options.pp. 238
Session 3A: Software Architectures
A Reusable Distributed Software Architecture Driven by MetadataFull-text access may be available. Sign in or learn about subscription options.pp. 246
Session 3B: Software Agents 1
Analysis and Verification of Multi-Agent Interaction ProtocolsFull-text access may be available. Sign in or learn about subscription options.pp. 252
Session 3B: Software Agents 1
Bee-gent: Bonding and Encapsulation Enhancement Agent Framework for Development of Distributed SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 260
Session 3B: Software Agents 1
Design and Implementation of Multi-Agent for Intelligent SoftwareFull-text access may be available. Sign in or learn about subscription options.pp. 268
Session 3C: Tools and Environments
Executable C++ Program Generation from the Structured Object-Oriented Design DiagramsFull-text access may be available. Sign in or learn about subscription options.pp. 630
Session 3C: Tools and Environments
Experience with Porting a Unix Version CASE Tool to the Corresponding Java VersionFull-text access may be available. Sign in or learn about subscription options.pp. 622
Session 3C: Tools and Environments
?SUDS-SDL: A Tool for Diagnosis and Understanding Software SpecificationsFull-text access may be available. Sign in or learn about subscription options.pp. 274
Session 4A: Software Patterns
A Formal Basis for Object-Oriented PatternsFull-text access may be available. Sign in or learn about subscription options.pp. 284
Session 4A: Software Patterns
A Source Code Generation Support System Using Design Pattern Documents Based on SGMLFull-text access may be available. Sign in or learn about subscription options.pp. 292
Session 4A: Software Patterns
Pattern Based Software Re-engineering: A Case StudyFull-text access may be available. Sign in or learn about subscription options.pp. 300
Session 4A: Software Patterns
Reusing Use Case Descriptions for Requirements Specification: Towards Use Case PatternsFull-text access may be available. Sign in or learn about subscription options.pp. 309
Session 4B: Software Agents 2
Agent-Oriented Software ModelingFull-text access may be available. Sign in or learn about subscription options.pp. 318
Session 4B: Software Agents 2
Reusable Strategies for Software Agents via the Subsumption ArchitectureFull-text access may be available. Sign in or learn about subscription options.pp. 326
Session 4B: Software Agents 2
An Evolutional Cooperative Computation Based on Adaptation to EnvironmentFull-text access may be available. Sign in or learn about subscription options.pp. 334
Session 4C: Program Slicing and Analysis 1
Slicing Methods Using Static and Dynamic Analysis InformationFull-text access may be available. Sign in or learn about subscription options.pp. 344
Session 4C: Program Slicing and Analysis 1
Extracting Code Fragment that Implements FunctionalityFull-text access may be available. Sign in or learn about subscription options.pp. 351
Session 4C: Program Slicing and Analysis 1
VRML Program SlicingFull-text access may be available. Sign in or learn about subscription options.pp. 355
Session 4C: Program Slicing and Analysis 1
Deriving Program Physical Structures Using Bond Energy AlgorithmFull-text access may be available. Sign in or learn about subscription options.pp. 359
Keynote Address 2
How Can Duration Calculus Deal with Continuous Time?Full-text access may be available. Sign in or learn about subscription options.
Session 5A: Object-Oriented Methodologies 1
Specifying Constraints with Message Sequence SpecificationsFull-text access may be available. Sign in or learn about subscription options.pp. 368
Session 5A: Object-Oriented Methodologies 1
Enhancing the Object Constraint Language for More Expressive SpecificationsFull-text access may be available. Sign in or learn about subscription options.pp. 376
Session 5A: Object-Oriented Methodologies 1
Improving Object Oriented Analysis by Explicit Change AnalysisFull-text access may be available. Sign in or learn about subscription options.pp. 384
Session 5A: Object-Oriented Methodologies 1
Object-Oriented Essential ModelingFull-text access may be available. Sign in or learn about subscription options.pp. 388
Session 5B: Software Engineering Practice
Feature-Oriented Engineering of PBX SoftwareFull-text access may be available. Sign in or learn about subscription options.pp. 394
Session 5B: Software Engineering Practice
Applying SOFL to Develop a University Information SystemFull-text access may be available. Sign in or learn about subscription options.pp. 404
Session 5B: Software Engineering Practice
Software Creation: Detail of Human Design Knowledge and Its Application to Automatic Software DesignFull-text access may be available. Sign in or learn about subscription options.pp. 412
Session 5B: Software Engineering Practice
A Systematic Approach to Software SafetyFull-text access may be available. Sign in or learn about subscription options.pp. 420
Session 5C: Program Slicing and Analysis 2
Towards an Algorithmic Debugging for Distributed ProgramsFull-text access may be available. Sign in or learn about subscription options.pp. 426
Session 5C: Program Slicing and Analysis 2
On the Practical Static Checker of Semantic Run-Time ErrorsFull-text access may be available. Sign in or learn about subscription options.pp. 434
Session 5C: Program Slicing and Analysis 2
A System Dependence Net Generator for Ada ProgramsFull-text access may be available. Sign in or learn about subscription options.pp. 441
Session 5C: Program Slicing and Analysis 2
The Quest for Correct Systems: Model Checking of Diagrams and DatatypesFull-text access may be available. Sign in or learn about subscription options.pp. 449
Keynote Address 3
Information Networking RevolutionFull-text access may be available. Sign in or learn about subscription options.
Session 6A: Behavior and Semantic Models
Simply Observable Behavioral SpecificationFull-text access may be available. Sign in or learn about subscription options.pp. 460
Session 6A: Behavior and Semantic Models
Sequence Operators: Specifying Behavioral Interfaces of Smalltalk BlocksFull-text access may be available. Sign in or learn about subscription options.pp. 468
Session 6A: Behavior and Semantic Models
Manipulating Software Semantics with Unified Computational Model and Software Quark ModelFull-text access may be available. Sign in or learn about subscription options.pp. 476
Session 6B: Real-Time Software Engineering
Expanding Small Example into Large Scale Real-Time Control SystemFull-text access may be available. Sign in or learn about subscription options.pp. 486
Session 6B: Real-Time Software Engineering
Proposal of a Support System for Device Driver GenerationFull-text access may be available. Sign in or learn about subscription options.pp. 494
Session 6C: Reengineering and Maintenance
Interactive Variable Classification Technique to Support the Maintenance of COBOL Business Application SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 500
Session 6C: Reengineering and Maintenance
Maintenance with Reuse: An Integrated Approach Based on Software Configuration ManagementFull-text access may be available. Sign in or learn about subscription options.pp. 507
Session 6C: Reengineering and Maintenance
Maintainability Myth Causes Performance Problems in SMP ApplicationFull-text access may be available. Sign in or learn about subscription options.pp. 516
Session 7A: Object-Oriented Methodologies 2
Enhancing Object-Based System Composition through Per-Object MixinsFull-text access may be available. Sign in or learn about subscription options.pp. 522
Session 7A: Object-Oriented Methodologies 2
Testing, Reliability, and Interoperability Issues in the CORBA Programming ParadigmFull-text access may be available. Sign in or learn about subscription options.pp. 530
Session 7A: Object-Oriented Methodologies 2
Capturing Periodic Concurrent Interactions of Mission Computer TasksFull-text access may be available. Sign in or learn about subscription options.pp. 538
Session 7A: Object-Oriented Methodologies 2
On the Way to Establishing a jPLoP CommunityFull-text access may be available. Sign in or learn about subscription options.pp. 546
Session 7B: Software Process, Collaboration and Project Management
An Object-Oriented Formal Model for Software Project ManagementFull-text access may be available. Sign in or learn about subscription options.pp. 552
Session 7B: Software Process, Collaboration and Project Management
Supporting Distributed Collaborative PrioritizationFull-text access may be available. Sign in or learn about subscription options.pp. 560
Session 7B: Software Process, Collaboration and Project Management
ASP (A Software Process) for Improving Software ProcessFull-text access may be available. Sign in or learn about subscription options.pp. 564
Session 7B: Software Process, Collaboration and Project Management
Extending the Liaison Workflow Model and Engine to Support Different Signature PurposesFull-text access may be available. Sign in or learn about subscription options.pp. 572
Session 7C: Testing
An Approach to Automated Program Testing and DebuggingFull-text access may be available. Sign in or learn about subscription options.pp. 582
Session 7C: Testing
Test-Case Generation for Concurrent Programs with the Testing Criteria Using Interaction SequencesFull-text access may be available. Sign in or learn about subscription options.pp. 590
Session 7C: Testing
Integrating Approximation Methods with the Generalized Proportional Sampling StrategyFull-text access may be available. Sign in or learn about subscription options.pp. 598
Session 7C: Testing
MUMCUT: A Fault-Based Strategy for Testing Boolean SpecificationsFull-text access may be available. Sign in or learn about subscription options.pp. 606
Closing Panel: Software Engineering for the New Millennium
Author IndexFreely available from IEEE.pp. 637
Showing 90 out of 90