compsac 1996

20th Annual International Computer Software and Applications Conference (COMPSAC 1996)

• 장소·일정: Seoul, Korea, Aug 21–23, 1996
• 논문: 105편 (IEEE Xplore 98편, 무료 사본 3편)

Keynote Address I

• Information Technology and GII Visions — J. U. Seo · Scholar 검색

Processes Supporting Software Development

• A Software Process Management System Considering Workers Workload — A. Hazeyama and S. Komiya
• Software Cost Option Strategy Tool (S-COST) — B. Boehm and H. In
• Process Model Reuse to Promote Organizational Learning in Software Development — E. Ellmer, D. Merkl, G. Quirchmayr and A. M. Tjoa

Parallelism in Petri Net

• A Colored Petri Net-Based Formal Method for the Design of Control Systems — M. Makungu, R. St-Denis and M. Barbeau
• Verifying Timing Properties for Distributed Real-Time Systems Using Timing Constraint Petri Nets — J. J.-P. Tsai, S. J. Yang, Y.-H. Chang and E. Y. T. Juan
• Extracting Parallelism in Nested Loops — W. B. Song, D. S. Park, B. S. Kim and Y. H. Kong

Multimedia Environment and Applications

• Coordination of Systems with Real-Time Properties in Manifold — G. A. Papadopoulos and F. Arbab
• SESAME: A Scalable and ExtenSible Architecture for Multimedia Entertainment — Y.-J. Lee, D. H. C. Du and W.-H. Ma
• A Popularity-Based Data Allocation Scheme for a VOD Server — C. K. Chang, C.-C. Shih, T. T. Nguyen and P. Mongkolwat

Object-Oriented Technology I

• Mapping Petri Nets to Parallel Programs in CC++ — W. Yao and X. He
• Integrating Parallel Functions into the Manipulation for Distributed Persistent Objects — Y. Jiang, M. Aritsugi and A. Makinouchi
• A Semantics of the Separation of Interface and Implementation in C++ — E.-S. Cho, S.-Y. Han and H.-J. Kim

Metrics in Software Development

• Design-Level Cohesion Measures: Derivation, Comparison, and Applications — B.-K. Kang and J. M. Bieman
• Data Models for Metrics-Based Project Management Systems — R. Paul, C. L. Chee, T. Kunii and Y. Shinagawa
• Heuristics for Computing Attribute Values of C++ Program Complexity Metrics — E. M. Kim, S. Kusumoto, T. Kikuno and O. B. Chang
• Object-Oriented Framework for Metrics Guided Risk Management — R. Paul, Y. Shinagawa, Y. F. Day, M. F. Khan and A. Ghafoor

Security and Compilation

• Applying Composable Security Properties to Assessment of Information Systems — Q. Shi and N. Zhang
• Program Partitioning Optimizations in an HPF Prototype Compiler — M. Sato, T. Hirooka, K. Wada and F. Yamamoto
• A Task-Based Approach to Verifying Conceptual Models — J. Lee, L. F. Lai and W. T. Huang
• Compilation of Disjunctive Logic Programs Using an Extended WAM — D. Shin and M. L. Hilton

Panel: Multimedia on the Internet: Emerging Technology

• Multimedia on the Internet: Emerging Technology (Panel) — Y. Y. Al-Salqan · Scholar 검색
• Handling Multimedia Data for Mobile Computers — C. E. Perkins
• Multimedia Over the Internet — R. R. Pillai
• Multimedia on the Internet — P. Shah
• Multimedia on the Internet: Emerging Technology — J. Smith

Panel: Is OO Working as Promised?

• Is OO Working as It Promised? — S.-M. Han
• OO is NOT the Silver Bullet — J. B. Thompson

Panel: Software Industry in Asia

• Software Industries in Asia — C. L. Chee
• Software Industry in Taiwan — J.-S. Ke

Potpourri

• Business Rule Extraction from Legacy Code — H. Huang, W. T. Tsai, S. Bhattacharya, X. P. Chen, Y. Wang and J. Sun
• Sharing the Design Information in a Distributed Concurrent Development of Large-Scale Software Systems — M. Aoyama
• Real-Time Simulation Techniques Based on the RTO.k Object Modeling — K. H. Kim, C. Nguyen and C. Park
• Scheduling Algorithms for N-Version Programming Scheme — O. A. Abulnaja, S. H. Hosseini and K. Vairavan

Distributed DB Application Tools

• Decentralized Transaction Management in Multidatabase Systems — B. Hwang and S. H. Son
• Classification of Weak Correctness Criteria for Real-Time Database Applications — K. Lee and S. Park
• Hierarchical Program Diagram Editor Based on Attributed Graph Grammar — Y. Adachi, K. Anzai, K. Tsuchida and T. Yaku
• On Integrating Existing Bibliographic Databases and Structured Databases — Y. lu and E.-P. Lim · 무료 사본 · ink.library.smu.edu.sg

Panel: Would Internet Meet Global Expectation?

• Would Internet Meet Global Acceptance? — S. Goto · Scholar 검색
• Hypermedia Conference Proceedings — K. Chon
• Would Internet Meet Global Expectation? — T. W. Tan
• Internet Multimedia Application Technologies Current Practice and Future Directions — S. Miyakawa

Keynote Address II

• Autonomous Decentralization of Society Structures and Information Systems — Y. Takeda

Formal Approaches in Software Development

• Algebraic Software Testing in Vector Spaces of Functions — T. R. Cain and E. K. Park
• Incremental Elicitation and Formalization of User Requirements through Rapid Prototyping via Software Transformations — C.-C. Chiang and J. E. Urban
• Extending Statecharts with Duration — K. R. P. H. Leung and D. K. C. Chan

Formal Networks

• Extending Z with State Transition Constraints — K. Taguchi and K. Araki
• Consistency Checking between Data and Process Diagrams based on Formal Methods — S. Kouno, H.-M. Chang and K. Araki
• A Dynamic Indexing Structure for Searching Time-Series Patterns — Y. I. Kim, Y. Park and J. Chun
• A Fuzzy Association Algebra Based on a Fuzzy Object Oriented Data Model — S. Na and S. Park

Multimedia Database

• A Presentation Scheduling Scheme for Multimedia Databases — J. Park, S. Lee, J. Cha and Y. Nah
• Integration of a Relational Database with Multimedia Data — S. M. Chung, P. S. Mah and J. L. Kim
• VIRON: An Annotation-Based Video Information Retrieval System — K.-W. Kim, K.-B. Kim and H.-J. Kim

Object-Oriented Technology II

• Modeling Active Object-Oriented Database Applications using Multi-Level Diagrams — M. J. V. Silva and C. R. Carlson
• Static Slicing of Concurrent Object-Oriented Programs — J. Zhao, J. Cheng and K. Ushijima
• A History-Based Approach for Early Faulty State Detection — P. Hsia, X. Li and D. C. Kung

Software Integration

• Integration Issues in Information System Reengineering — W. W. Song
• Integrating Through User Interface: A Flexible Integration Framework for Third-Party Software — Y. Bao and E. Horowitz
• A Formal Method to Software Integration in Reuse — W. C. Chu and H. Yang

Panel: The Role of Architecture in the Development of Software Systems

• The Role of Architecture in the Development of Software Systems — M. Boasson
• Designing Software Architectures as Knowledge Specializations — M. Aksit · 무료 사본 · research.utwente.nl

Object-Oriented Database

• SOPView: A Visual Query and Object Browsing Environment for SOP OODBMS — S.-W. Chang, S.-H. Lee and H.-J. Kim
• Extending OODB with Behavioral Temporal Management Capability — G.-D. Chen, Y.-H. Lee and C.-C. Liu
• Consolidation of Query Results in a Multidatabase Environment: An Object-Oriented Approach — D. J. Callen and S. D. Urba

Panel: Which Network Will Win?

• Which Network Will Win? — A. Ghafoor · Scholar 검색
• Marriage of Wired and Wireless Networks to Build Tomorrows Internet — S. Sanyal and S. Bhattacharya

Software Architecture and Component Engineering

• An Experience Report on Architecture Development — H. L. Lutfiyya and M. A. Bauer
• Slicing Functional Components from Data-Intensive Business Programs — H. B. K. Tan and T. W. Ling
• A Component-Based Software Development Model — J. Q. Ning

Panel: High Assurance Systems Engineering

• High Assurance Systems Engineering — A. Ghafoor
• High Assurance Systems Engineering - Position Paper — K. D. Shere · Scholar 검색
• Dynamic Network Management for Firmware Controlled Network Topology — L. K. Nahar and S. Bhattacharya

Database Theory

• A New Signature Scheme for Query Processing in Object-Oriented Database — H. Shin and J. Chang
• Optimal Linear Hashing Files for Orthogonal Range Retrieval — C. Y. Chen, C. C. Chang, R. C. T. Lee and D. C. Lin
• A Logic Database System with Extended Functionality — S.-G. Lee, D.-H. Choi and S.-H. Lee
• A Representation Method of Time-Varying Characteristics of Entity on the Basis of Core-Surface Concept — T. Ushiama and T. Watanabe · 무료 사본 · nagoya.repo.nii.ac.jp

Panel: Emerging Technology for Network Software Development

• Emerging Technologies for Network Software Development: Past, Present and Future — T. Arano and M. Aoyama
• Network Management System Development Using an Application Framework — T. Fujisaki

Keynote Address

• Revolutionizing Software Development — R. L. Martin

Panel: Software Process Re-Engineering and Improvement

• Software Process Re-Engineering and Improvement — M. Aoyama
• Is Software Process Re-Engineering and Improvement the "Silver Bullet" of the 1990s or a Constructive Approach to Meet Pre-Defined Business Targets? — A. Kuntzmann-Combelles
• Attention to Process and People are Key to Technology Adoption — M. D. Konrad
• A Team-Based Process Improvement Initiative — P. Y. Wong

Testing and Debugging

• A Tool for Debugging OSF DCE Applications — D. J. Taylor, T. Kunz and J. P. Black
• Applying Conventional Testing Techniques for Class Testing — I.-S. Chung, M. Munro, W. K. Lee and Y. R. Kwon
• Estimating Uncaught Exceptions in Standard ML Programs from Type-Based Equations — K. Yi, S. Ryu and K.-H. Pyun
• Detection of Infeasible Paths Using Presburger Arithmetic — K. Naoi and N. Takahashi

Network-Software Engineering

• Mobile-IP, Ad-Hoc Networking, and Nomadicity — C. E. Perkins
• The Design and Verification of Services Feature Interaction Manager on AIN Using Z Schema — M. Kang, T. Kwon, C. Yang and J. Song
• Hardware/Software Partitioning for Telecommunications Systems — F. Rousseau, J.-M. Berge and M. Israel

Object-Oriented Applications

• An Object-Oriented Real Time Systems Modeling and Verification Methodology — D. C. Kung, S. R. Oksanen and J. Lin
• OOHS: An Object-Oriented Hypermedia System — H. Kim, H. Shin and J. Chang
• A Framework for an Integrated Tool Set for Object-Oriented Analysis of Application Software Development — S. S. Yau and J. Wang

Software Design and Analysis Methods

• Use Case Driven Structured Analysis — M. Mirza, S. H. Cha, J.-I. Jung, K.-J. Lee and C. Youn
• Opusdei-Integrated Environment for Software Development and Maintenance — A. K. Onoma, H. Suganuma, M. Poonawala, S. Subramanian, W. T. Tsai and T. Syomura
• Measuring the Structural Complexity of OPS5 Rule-Based Programs — A. M. K. Cheng

Panel: Software Education in the Asia-Pacific Region in the 21st Century

• Panel Overview-Software Education in the Asia-Pacific Region in the 21st Century — J. Urban · Scholar 검색
• Computer Science Education in the Asia-Pacific Region in the 21st Century — C. T. Chong
• Software Education in the 21st Century — R. T. Chin
• Emerging Software Engineering Education — M. J. Matsumoto

Client/Server and Video Processing

• Performance Evaluation of the OLVP (OnLine Video Processing) System — F. Andres, K. Ihara, J. Boulos, K. Ono and Y. Yasuda
• VGUIDE: 4GL Application Platform for Large Distributed Information Systems — S. Yamamoto, R. Kawasaki and M. Nagaoka
• Recovery Technique Based on Fuzzy Checkpoint in a Client/Server DataBase System — E-I. Choi and H-C. Lim
• A Language for Developing Collaborative Learning Activities on World Wide Web — C.-K. Chang, G.-D. Chen, B.-J. Liu and K.-L. Ou

Closing Session: The Trends of Software Technology and Applications

• Closing Panel Session The Trends of Software Technology and Applications — S. S. Yau, C.-K. Chang, K. Kim, A. Combelles, I. Toda and J. C. Yoon · Scholar 검색