compsac 1993

17th Annual International Computer Software and Applications Conference (COMPSAC 1993)

• 장소·일정: Phoenix, Arizona, USA, Nov 1–5, 1993
• 논문: 58편 (IEEE Xplore 58편, 무료 사본 1편)

Object Oriented Software Development Models

• Entity Behaviour Descriptions - A Specification Model for Communicating Entities — J. L. Boyd and G. M. Karam
• Visual CASE: A Software Development System for Home Appliances — Y. Imai, K. Sumiya, K. Yasutake and S. Haruna
• Object-Oriented Database Views for Supporting Multidisciplinary Concurrent Engineering — K. W. Liu and D. Spooner

Software Process

• Recording Software Design Processes for Maintaining the Software — M. Hamada and H. Adachi
• Software Process Assessment and Improvement Using Production Models — A. von Mayrhauser and A. Roeseler
• Process-Centered Project Management System by Stepwise Particularizing Software Process — K. Genji, M. Ishiwaka, T. Ogihara and K. Inoue

Object Oriented Testing and Maintenance

• Developmental Testing of Abstract Data Types — A. Parrish, D. Cordes and R. Borie
• An Object-Oriented Prototyping Approach to System Development — T. Arano, C. K. Chang, P. Mongkolwat, Y. Liu and X. Shu
• Maintenance Support Needs for Object-Oriented Software — R. T. Crocker and A. von Mayrhauser

Software Development Practices

• Coordination of Software-Development Activities Among Sites that Are Geographically Separated — L. F. Truett, E. Z. Faby, J. W. Grubb, J. P. Loftis and P. C. Shipe · 무료 사본 · osti.gov
• Software Engineering in the Commercial Sector Present and Future: A United Kingdom Perspective — J. B. Thompson and S. C. Stobart
• A Framework for Modelling Evolving Requirements — A. J. C. Blyth, J. Chudge, J. E. Dobson and M. R. Strens

Reusable Software

• Experiences with a Faceted Classification Scheme in a Large Reusable Software Library (RSL) — J. S. Poulin and K. P. Yglesias
• Software Reengineering for Reusability — S. Jarzabek
• Degrees of Consciousness for Reuse of Software in Practice: Maintainability, Balance, Standardization — S. Biffl and T. Grechenig

Panel: Tool Integration Frameworks - Fact or Fiction

• Tool Integration Frameworks - Facts and Fiction — K. Singh

Parallel and Distributed Software Development

• Designing Parallel Database Programs Using PARSE — J. Gray, I. Gorton and I. Jelly
• Parallel Software Engineering with PARSE — I. Gorton, I. Jelly and J. Gray
• SD² - A System for Distributed Software Development — H.-Y. Yang, D.-L. Lang and A.-C. Liu

Complex Object Manipulation

• Petri Net Based Modelling of Procedures in Complex Object Database Applications — A. Oberweis, P. Sander and W. Stucky
• An Extended Recursive Algebra for Nested Relations and its Optimization — B. Rathakrishnan and J. L. Kim
• Design and Implementation of a Distributed Database — B. Thuraisingham, H. Rubinovitz, D. Foti and A. Abreu

Group Communication Protocols

• Secure Group Communication Protocol for Distributed Systems — M. Takizawa and H. Mita
• A Reduced Incremental ECFSM-Based Protocol Verification — C.-M. Huang, H.-Y. Lai and D.-T. Huang
• The Xthreads Library: Design, Implementation, and Applications — J. Sang, F. Knop, V. Rego, J. K. Lee and C.-T. King

Software Analysis

• A Formal Technique to Analyze Real-Time Systems — J. Wang and H. Chen
• Integrating Abstraction Flexibility with Diverse Program Perspectives — J. I. Khan and I. Miyamoto
• A Method of Drawing Tree-Structured Program Diagrams on the Euclidian Plane — Y. Miyadera, K. Anzai, H. Banba, K. Tsuchida and T. Yaku

Object Oriented Modeling

• Capturing the Objected-Oriented Database Model in Relational Form — S.-Y. Hsieh, C. K. Chang, P. Mongkolwat, W. W. Pilch and C.-C. Shih
• Object Prototyping: Concept and Specification Language — H.-J. Lee and W.-T. Tsai
• Multimedia Object Modelling and Storage Allocation Strategies for Heterogeneous Parallel Access Storage Devices in Real Time Multimedia Computing Systems — C. Y. R. Chen, K. C. Nwosu and P. B. Berra

Distributed Algorithms

• Fault-Tolerant Distributed Deadlock Detection/Resolution — P.-Y. Li and B. McMillin
• Process Dependence Net of Distributed Programs and its Applications in Development of Distributed Systems — J. Cheng
• An Integrated Data Structure with Multiple Access Paths for Database and its Performance — V. Kumar and J. Mullins

Software Design

• Adaptive Algorithm Selection Method (AASM) for Dynamic Software Tuning — K. Suzaki, T. Kurita, H. Tanuma and S. Hirano
• Efficient Commitment of Events in Distributed Simulation — V. Bharghavan and C. V. Ramamoorthy
• DELTA-DEsign Language To Actor — N. Gautier and D. L. Carver

Software Management

• Computing with Real World: A Fuzzy Duration Calculus — M.-Y. Zhu and C.-W. Wang
• The Motorola Software Engineering Benchmark Program: Organization, Directions, and Results — J. Fritsch

Distributed System Design

• A Concurrent Programming Environment for Memory-Mapped Persistent Object Systems — M.-M. Fu and P. Dasgupta
• Choices in Database Workstation-Server Architecture — I. S. Chu and M. S. Winslett
• Online Workload, Performance and Scalability of a Database Production System: A Case Study — M.-C. Hsueh

Formal Methods

• Specification Slicing in Formal Methods of Software Development — T. Oda and K. Araki
• Z Meets Haskell: A Case Study — L. B. Sherrell and D. L. Carver
• Use of a Specification Construction and Animation Tool to Teach Formal Methods — I. Morrey, J. Siddiqi, G. Buckberry and R. Hibberd

Panel: On Developing A General Theory of Software Engineering

• On Developing a General Theory of Software Engineering — K. B. Zerangue

Scheduling

• A Task Allocation Algorithm for Distributed Computing Systems — S. S. Yau and V. R. Satish
• Two-Level Processor Scheduling for Multiprogrammed Numa Multiprocessors — A. Fukuda, R. Fujiki and H.-A. Kai
• Scheduling of Dynamic Divide-and-Conquer Computations on Multicomputers — V. Karamcheti and B. W. Wah

Software Testing

• Model-Based Formal Specification Directed Testing of Abstract Data Types — X. Jia
• Using Computational Learning Theory to Analyze the Testing Complexity of Program Segments — K. Romanik and J. S. Vitter
• A Practical and Space Efficient Scheme for Keeping Source Location in Parse Trees — J. Zhu

Distributed Modeling

• A Software Architecture for Maintaining Temporal Consistency in a Distributed Real-Time Environment — P. Raja, J. Hernandez, L. Ruiz, G. Noubir and J. D. Decotignie
• A Temporal Model for Transparent Monitoring of Shared-Memory Multiprocessors — D. F. Robinson and B. H. C. Cheng
• An Integrated Environment for Software Reliability Modeling — J. Tian and P. Lu

Software Maintenance

• Formal Support for Software Maintenance — D. Cooke and L. Luqi
• Criteria for Selecting a Family of Software Indicators — D. T. Calliss and F. W. Calliss
• System Dependence Graph Construction for Recursive Programs — P. E. Livadas and S. Croll