Default Cover Image

Proceedings of Joint 4th International Computer Science Conference and 4th Asia Pacific Software Engineering Conference

Dec. 2 1997 to Dec. 5 1997

Clear Water Bay, HONG KONG

ISBN: 0-8186-8271-X

Table of Contents

Message from the Program Co-ChairsFreely available from IEEE.pp. xii
Committees of APSEC'97/ICSC'97Freely available from IEEE.pp. xiii
List of ReviewersFreely available from IEEE.pp. xv
Keynote Address
Observations Regarding Internet and Intranet TechnologyFull-text access may be available. Sign in or learn about subscription options.
Session 1A: Metrics and Quality Assurance
Quality and Reuse in Industrial Software EngineeringFull-text access may be available. Sign in or learn about subscription options.pp. 3
Session 1A: Metrics and Quality Assurance
Quality assurance certification: adoption by Australian software developers and its association with capability maturityFull-text access may be available. Sign in or learn about subscription options.pp. 13
Session 1A: Metrics and Quality Assurance
Criticality Models using SDL Metrics SetFull-text access may be available. Sign in or learn about subscription options.pp. 23
Session 1A: Metrics and Quality Assurance
Measuring Class Coupling and Cohesion: A Formal Metamodel ApproachFull-text access may be available. Sign in or learn about subscription options.pp. 31
Session 1B: Formal Methods
Possum: An Animator for the SUM Specification LanguageFull-text access may be available. Sign in or learn about subscription options.pp. 42
Session 1B: Formal Methods
A Formal Operational Semantics for SOFLFull-text access may be available. Sign in or learn about subscription options.pp. 52
Session 1B: Formal Methods
Multi-Plan Attribute GrammarsFull-text access may be available. Sign in or learn about subscription options.pp. 62
Session 1B: Formal Methods
Denotational Semantics for JSDFull-text access may be available. Sign in or learn about subscription options.pp. 72
Session 1C: Knowledge and Logic Based Systems
A distributed constraint-based search architecture for bus timetabling and duty assignmentFull-text access may be available. Sign in or learn about subscription options.pp. 82
Session 1C: Knowledge and Logic Based Systems
Discovery of Cases for Case-Based Reasoning in EngineeringFull-text access may be available. Sign in or learn about subscription options.pp. 89
Session 1C: Knowledge and Logic Based Systems
Reducing Uncertainties in Data MiningFull-text access may be available. Sign in or learn about subscription options.pp. 97
Session 1C: Knowledge and Logic Based Systems
HKBCN - A Hybrid Intelligent System for Knowledge RevisingFull-text access may be available. Sign in or learn about subscription options.pp. 106
Session 2A: Object-Oriented Techniques
A methodology for object-oriented constraint programmingFull-text access may be available. Sign in or learn about subscription options.pp. 116
Session 2A: Object-Oriented Techniques
The Development of an Object-Oriented, Discrete-Event Simulation Language Using JavaFull-text access may be available. Sign in or learn about subscription options.pp. 123
Session 2A: Object-Oriented Techniques
Towards Constructing a Class Evolution ModelFull-text access may be available. Sign in or learn about subscription options.pp. 131
Session 2B: Validation and Verification I
Modular reasoning in Object-ZFull-text access may be available. Sign in or learn about subscription options.pp. 140
Session 2B: Validation and Verification I
Finite Symbolic Reachability Graphs for High-Level Petri NetsFull-text access may be available. Sign in or learn about subscription options.pp. 150
Session 2B: Validation and Verification I
A Tool-Suite for Reachability Analysis of Concurrent Object-Oriented ProgramsFull-text access may be available. Sign in or learn about subscription options.pp. 160
Session 2C: Distributed and Mobile Systems
Mapping Ada Source Code into an Abstract Program SpaceFull-text access may be available. Sign in or learn about subscription options.pp. 171
Session 2C: Distributed and Mobile Systems
Client location tracking with k-step prediction and cache policy in ubiquitous information service networkFull-text access may be available. Sign in or learn about subscription options.pp. 181
Session 2C: Distributed and Mobile Systems
An Architecture and a Framework for IP ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 191
Panel
Exploring the Niche Market: The Future of Software Professionals in the Asia-Pacific RegionFull-text access may be available. Sign in or learn about subscription options.
Keynote Address
Software Industry in Mainland China - Opportunities and ProblemsFull-text access may be available. Sign in or learn about subscription options.
Session 3A: Software Design Methodology I
Using Extended Event Traces to Describe Communication in Software ArchitecturesFull-text access may be available. Sign in or learn about subscription options.pp. 203
Session 3A: Software Design Methodology I
Design by Contract for PythonFull-text access may be available. Sign in or learn about subscription options.pp. 213
Session 3A: Software Design Methodology I
A Reverse Engineering Method and Experiences for Industrial COBOL SystemFull-text access may be available. Sign in or learn about subscription options.pp. 220
Session 3A: Software Design Methodology I
Software Engineering Research: A Methodological AnalysisFull-text access may be available. Sign in or learn about subscription options.pp. 229
Session 3B: Validation and Verification I
Petri nets based proofs of Ada 95 solution for preference controlFull-text access may be available. Sign in or learn about subscription options.pp. 238
Session 3B: Validation and Verification I
About the Suitability of Petri Nets for Describing, Validating and Evaluating SA-RT SpecificationsFull-text access may be available. Sign in or learn about subscription options.pp. 249
Session 3B: Validation and Verification I
Integrating safety analysis and requirements engineeringFull-text access may be available. Sign in or learn about subscription options.pp. 259
Session 3B: Validation and Verification I
Detecting Common Mode Failures in N-Version Software Using Weakest Precondition AnalysisFull-text access may be available. Sign in or learn about subscription options.pp. 272
Session 3C: Software Process
Software Development as a Workflow ProcessFull-text access may be available. Sign in or learn about subscription options.pp. 282
Session 3C: Software Process
An Approach to Software Process Management Based on Formal Process Modeling and AnalysisFull-text access may be available. Sign in or learn about subscription options.pp. 292
Session 3C: Software Process
Genericity in method constructionFull-text access may be available. Sign in or learn about subscription options.pp. 302
Session 3C: Software Process
Legacy Systems Migration : A Method and its Tool-Kit FrameworkFull-text access may be available. Sign in or learn about subscription options.pp. 312
Session 4A: Software Design Methodology II
Object-oriented Web application architectures and development strategiesFull-text access may be available. Sign in or learn about subscription options.pp. 322
Session 4A: Software Design Methodology II
Scenario reuse: a technique for complementing scenario-based requirements engineering approachesFull-text access may be available. Sign in or learn about subscription options.pp. 332
Session 4A: Software Design Methodology II
A Design Framework for System Re-EngineeringFull-text access may be available. Sign in or learn about subscription options.pp. 342
Session 4B: User Interaction
Cognitive Deficiencies in Software Library DesignFull-text access may be available. Sign in or learn about subscription options.pp. 354
Session 4B: User Interaction
A Theory of Interactions and Scenes for User Centered Systems Specification and VerificationFull-text access may be available. Sign in or learn about subscription options.pp. 364
Session 4B: User Interaction
Specifying the UQ* user-interface with Object-ZFull-text access may be available. Sign in or learn about subscription options.pp. 374
Session 4C: Testing
Compacting regression-suites on-the-flyFull-text access may be available. Sign in or learn about subscription options.pp. 385
Session 4C: Testing
Slicing Object-Oriented ProgramsFull-text access may be available. Sign in or learn about subscription options.pp. 395
Session 4C: Testing
On the Criteria of Allocating Test Cases under UncertaintyFull-text access may be available. Sign in or learn about subscription options.pp. 405
Session 4C: Testing
Translating Object-Z Specifications to Object-Oriented Test OraclesFull-text access may be available. Sign in or learn about subscription options.pp. 414
Panel
The Year 2000 ProblemFull-text access may be available. Sign in or learn about subscription options.
Keynote Address
Who Will Build the Digital Systems?Full-text access may be available. Sign in or learn about subscription options.
Session 5A: Software Development Environment
DOOD: Distributed Object-Oriented Software Development EnvironmentFull-text access may be available. Sign in or learn about subscription options.pp. 427
Session 5A: Software Development Environment
MetaBuilder: a Generic CASE Tool BuilderFull-text access may be available. Sign in or learn about subscription options.pp. 435
Session 5A: Software Development Environment
JB-OODBT: An Object-Oriented Database Toolkit for JB/CASEFull-text access may be available. Sign in or learn about subscription options.pp. 445
Session 5A: Software Development Environment
Conditional Evaluation in Simple Multi-Visit Attribute-Grammar EvaluatorsFull-text access may be available. Sign in or learn about subscription options.pp. 455
Session 5B: Concurrency
A Formal Model of Concurrency for Distributed Object-Oriented SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 466
Session 5B: Concurrency
TPAL: A Timed-Probabilistic Model for Concurrent ProcessesFull-text access may be available. Sign in or learn about subscription options.pp. 475
Session 5B: Concurrency
A Test-case Generation Method for Concurrent Programs Including Task-typesFull-text access may be available. Sign in or learn about subscription options.pp. 485
Session 5B: Concurrency
Design of Protocols in Timed CSP for Highly Reliable and Available Client-Server SystemFull-text access may be available. Sign in or learn about subscription options.pp. 495
Panel
How Can Software Engineering Techniques Help Small Developers?Full-text access may be available. Sign in or learn about subscription options.
Concise Papers
A Z Specification of Use Cases: A Preliminary ReportFull-text access may be available. Sign in or learn about subscription options.pp. 505
Concise Papers
LOODS: a new learning-based object-oriented system development environmentFull-text access may be available. Sign in or learn about subscription options.pp. 507
Concise Papers
Integration of Application Systems by Modelling Information Shared Among ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 509
Concise Papers
A visual programming environment for Z specificationsFull-text access may be available. Sign in or learn about subscription options.pp. 511
Concise Papers
Software Metrics and Application Domain ComplexityFull-text access may be available. Sign in or learn about subscription options.pp. 513
Concise Papers
An Approach to Software Testability MeasurementFull-text access may be available. Sign in or learn about subscription options.pp. 515
Concise Papers
Not Whether Java but How JavaFull-text access may be available. Sign in or learn about subscription options.pp. 517
Concise Papers
Conceptual Issues of an Object-Centered Process ModelFull-text access may be available. Sign in or learn about subscription options.pp. 519
Concise Papers
Software Requirements Definition for Specification DatabaseFull-text access may be available. Sign in or learn about subscription options.pp. 521
Concise Papers
Component-Based Software Development-A New Paradigm in Software Engineering?Full-text access may be available. Sign in or learn about subscription options.pp. 523
Concise Papers
Exploiting the advantages of object oriented programming in the implementation of a database design environmentFull-text access may be available. Sign in or learn about subscription options.pp. 525
Concise Papers
Software Assisted Handover of Mobile Clients in Heterogeneous Wireless Computing EnvironmentsFull-text access may be available. Sign in or learn about subscription options.pp. 527
Concise Papers
An Overview of Legacy System MigrationFull-text access may be available. Sign in or learn about subscription options.pp. 529
Tutorial Summaries
Tutorial: organizing, managing and optimizing software testingFull-text access may be available. Sign in or learn about subscription options.pp. 532
Tutorial Summaries
Design Patterns-Essentials, Experience, Java Case StudyFull-text access may be available. Sign in or learn about subscription options.pp. 534
Tutorial Summaries
OPEN-MeNtOR: a third generation OO methodology-advanced tasks and techniquesFull-text access may be available. Sign in or learn about subscription options.pp. 536
Tutorial Summaries
Design and Implementation of Coordination and Workflow Management TechnologyFull-text access may be available. Sign in or learn about subscription options.pp. 538
Tutorial Summaries
Author IndexFreely available from IEEE.pp. 541
Showing 79 out of 79