Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID20th COMPSAC 1996: Seoul, Korea
- COMPSAC '96 - 20th Computer Software and Applications Conference, August 19-23, 1996, Seoul, Korea. IEEE Computer Society 1996, ISBN 0-8186-7579-9
Keynote Address
- Jung Uck Seo:
Information Technology and GII Visions. 2-
Session 1: Processes Supporting Software Development
- Atsuo Hazeyama, Seiichi Komiya:
A Software Process Management System Considering Workers' Workload. 8-14 - Barry W. Boehm, Hoh In:
Software Cost Option Strategy Tool (S-COST). 15-20 - Ernst Ellmer, Dieter Merkl, Gerald Quirchmayr, A Min Tjoa
:
Process Model Reuse to Promote Organizational Learning in Software Development. 21-26
Session 2: Parallelism in Petri Net
- Mbi Makungu, Richard St-Denis, Michel Barbeau:
A Colored Petri Net-Based Format Method for the Design of Control Systems. 28-35 - Jeffrey J. P. Tsai, Stephen J. H. Yang, Yao-Hsiung Chang, Eric Y. T. Juan:
Verifying Timing Properties for Distributed Real-Time Systems Using Timing Constraint Petri Nets. 36-40 - W. B. Song, D. S. Park, B. S. Kim, Y.-H. Kong:
Extracting Parallelism in Nested Loops. 41-47
Session 3: Multimedia Environment and Applications
- George A. Papadopoulos, Farhad Arbab:
Coordination of Systems with Real-Time Properties in Manifold. 50-55 - Yen-Jen Lee, David Hung-Chang Du, Wei-hsiu Ma:
SESAME: A Scalable and ExtenSible Architecture for Multimedia Entertainment. 56-61 - Carl K. Chang, Chiao-Chuan Shih, Pattanasak Mongkolwat, Thinh T. Nguyen:
A Popularity-Based Data Allocation Scheme for a VOD Server. 62-67
Session 4: Object-Oriented Technology I
- Weili Yao, Xudong He:
Mapping Petri Nets to Parallel Programs in CC++. 70-75 - Yun Jiang, Masayoshi Aritsugi, Akifumi Makinouchi:
Integrating Parallel Functions into the Manipulation for Distributed Persistent Objects. 76-82 - Eun-Sun Cho, Sang-Yong Han, Hyoung-Joo Kim:
A Semantics of the Separation of Interface and Implementation in C++. 83-89
Session 5: Metrics in Software Development
- Byung-Kyoo Kang, James M. Bieman:
Design-Level Cohesion Measures: Derivation, Comparison, and Applications . 92-97 - Raymond A. Paul, C. L. Chee, Tosiyasu L. Kunii, Yoshihisa Shinagawa:
Data Models for Metrics-Based Project Management Systems. 98-103 - Eun Mi Kim, Shinji Kusumoto, Tohru Kikuno, Ok-Bae Chang:
Heuristics for Computing Attribute Values of C++ Program Complexity Metrics. 104-109 - Raymond A. Paul, Yoshihisa Shinagawa, Young Francis Day, M. Farrukh Khan, Arif Ghafoor:
Object-Oriented Framework for Metrics Guided Risk Management. 110-115
Session 6: Security and Compilation
- Qi Shi, Ning Zhang:
Applying Composable Security Properties to Assessment of Information Systems. 118-123 - Makoto Sato, Takashi Hirooka, Kiyomi Wada, Fujio Yamamoto:
Program Partitioning Optimizations in an HPF Prototype Compiler. 124-131 - Jonathan Lee, Lein F. Lai, Wei T. Huang:
A Task-Based Approach to Verifying Conceptual Models. 132-137 - Dongha Shin, Michael L. Hilton:
Compilation of Disjunctive Logic Programs Using an Extended WAM. 138-144
Session 7: Panel: Multimedia on the Internet: Emerging Technology
- Yahya Y. Al-Salqan:
Multimedia on the Internet: Emerging Technolgoy. 146 - Charles E. Perkins:
Handling Multimedia Data for Mobile Computers. 147-148 - R. Radhakrishna Pillai:
Multimedia Over the Internet. 149 - Pallavi Shah:
Multimedia on the Internet. 150 - Jerry Smith:
Multimedia on the Internet: Emerging Technology. 151-
Session 8 - Panel: Is OO Working as Promised?
- Sahng-Mann Han:
Is OO Working as It Promised? 154 - J. Barrie Thompson:
OO is NOT the Silver Bullet. 155-
Session 9 - Panel: Software Industry in Asia
- C. L. Chee:
Software Industries in Asia. 158 - Jyh-sheng Ke:
Software Industry in Taiwan. 159-
Session 10: Potpourri
- Hai Huang, Wei-Tek Tsai, Sourav Bhattacharya, Xiaoping Chen, Yamin Wang, Jianhua Sun:
Business Rule Extraction from Legacy Code. 162-167 - Mikio Aoyama:
Sharing the Design Information in a Distributed Concurrent Development of Large-Scale Software Systems. 168-175 - K. H. Kim, Cuong Nguyen, Chan-Mo Park:
Real-Time Simulation Techniques Based on the RTO.k Object Modeling. 176-183 - Osama Ahmed Abulnaja, Seyed H. Hosseini, K. Vairavan:
Scheduling Algorithms for N-Version Programming Scheme. 184-189
Session 11: Distributed DB Application Tools
- Buhyun Hwang, Sang Hyuk Son:
Decentralized Transaction Management in Multidatabase Systems. 192-198 - Kyu-Woong Lee, Seog Park:
Classification of Weak Correctness Criteria for Real-Time Database Applications. 199-204 - Yoshihiro Adachi, Koushi Anzai, Kensei Tsuchida, Takeo Yaku:
Hierarchical Program Diagram Editor Based on Attributed Graph Grammar. 205-213 - Ying Lu, Ee-Peng Lim:
On Integrating Existing Bibliographic Databases and Structured Databases. 214-219
Session 12 - Panel: Would Internet Meet Global Expectation
- Shigeki Goto:
Would Internet Meet Global Acceptance? 222 - Kilnam Chon:
Hypermedia Conference Proceedings. 223 - Tin Wee Tan:
Would Internet Meet Global Expectation? 224 - Shin Miyakawa:
Internet Multimedia Application Techologies Current Practice and Future. 225-
Keynote Address
- Yasutsugu Takeda:
Autonomous Decentralization of Society Structures and Information. 228-232
Session 13: Formal Approaches in Software Development
- Thomas R. Cain, E. K. Park:
Algebraic Software Testing in Vector Spaces of Functions. 234-239 - Chia-Chu Chiang, Joseph E. Urban:
Incremental Elicitation and Formalization of User Requirements through Rapid Prototyping via Software Transformations. 240-245 - Karl R. P. H. Leung, Daniel Kim Chung Chan:
Extending Statecharts with Duration. 246-251
Session 14: Formal Networks
- Kenji Taguchi, Keijiro Araki:
Extending Z with State Transition Constraints. 246-260 - Syouri Kouno, Han-Myung Chang, Keijiro Araki:
Consistency Checking between Data and Process Diagrams Based on Formal Methods. 261-269 - Youngin Kim, Youngbae Park, Jonghoon Chun:
A Dynamic Indexing Structure for Searching Time-Series Patterns. 270-275 - Selee Na, Seog Park:
A Fuzzy Association Algebra Based on a Fuzzy Object Oriented Data Model. 276-281
Session 15: Multimedia Database
- Jisook Park, Sukho Lee, Jaehyuk Cha, Yunmook Nah:
A Presentation Scheduling Scheme for Multimedia Databases. 284-289 - Soon Myoung Chung, Pyeong S. Mah, Jun-Guk Kim:
Integration of a Relational Database with Multimedia Data. 290-297 - Ki-Wook Kim, Ki-Byoung Kim, Hyoung-Joo Kim:
VIRON: An Annotation-Based Video Information Retrieval System. 298-303
Session 16: Object-Oriented Technology II
- Mauricio J. V. Silva, C. Robert Carlson:
Modeling Active Object-Oriented Database Application Using Multi-Level Diagrams. 306-311 - Jianjun Zhao, Jingde Cheng, Kazuo Ushijima:
Static Slicing of Concurrent Object-Oriented Programs. 312-320 - Pei Hsia, Xiaolin Li, David Chenho Kung:
A History-Based Approach for Early Faulty State Detection. 321-326
Session 17: Sofware Integration
- William Wei Song:
Integration Issues in Information System Reengineering. 328-335 - Yimin Bao, Ellis Horowitz:
Integrating Through User Interface: A Flexible Integration Framework for Third-Party Software. 336-342 - William C. Chu, Hongji Yang:
A Formal Method to Software Integration in Reuse. 343-348
Session 18 - Panel: The Role of Architecture in the Development of Software Systems
- Maarten Boasson:
The Role of Architecture in the Development of Software Systems. 350-351 - Mehmet Aksit:
Designing Software Architectures as Knowledge Specializations. 352-
Session 19: Object-Oriented Database
- Seong-Woo Chang, Sukho Lee, Hyoung-Joo Kim:
SOPView: A Visual Query and Object Browsing Environment for SOP OODBMS. 354-360 - Gwo-Dong Chen, Yeong-Hsen Lee, Chen-Chung Liu:
Extending OODB with Behavioral Temporal Management Capability. 361-366 - Daniel J. Callen, Susan Darling Urban:
Consolidation of Query Results in a Multidatabase Environemnt: An Object-Oriented Approach. 367-372
Session 20 - Panel: Which Network Will Win?
- Arif Ghafoor:
Which Network Will Win? 374 - Sandeepan Sanyal, Sourav Bhattacharya:
Marriage of Wired and Wireless Networks to Build Tomorrows Internet. 375-
Session 21: Software Architecture and Component Engineering
- Hanan Lutfiyya, Michael A. Bauer:
An Experience Report on Architecture Development. 378-383 - Hee Beng Kuan Tan, Tok Wang Ling:
Slicing Functional Components from Data-Intensive Business Programs. 384-388 - Jim Q. Ning:
A Component-Based Software Development Model. 389-
Session 22 - Panel: High Assurance Systems Engineering
- Arif Ghafoor:
High Assurance Systems Engineering. 396 - Kenneth D. Shere:
High Assurance Systems Engineering - Position Paper. 397 - L. K. Nahar, Sourav Bhattacharya:
Dynamic Network Management for Firmware Controlled Network Topology. 398-
Session 23: Database Theory
- Hakgene Shin, Jae-Woo Chang:
A New Signature Scheme for Query Processing in Object-Oriented Database. 400-405 - C. Y. Chen, Chin-Chen Chang, Richard C. T. Lee, D. C. Lin:
Optimal Linear Hashing Files for Orthogonal Range Retrieval. 406-413 - Sang-goo Lee, Dong-Hoon Choi, Sang-Ho Lee:
A Logic Database System with Extended Functionality. 414-419 - Taketoshi Ushiama, Toyohide Watanabe:
A Representation Method of Time-Varying Characteristics of Entity on the Basis of Core-Surface Concept. 420-425
Session 24 - Panel: Emerging Technology for Network Sofware Development
- Takashi Arano, Mikio Aoyama:
Emerging Technologies for Network Software Development: Past, Present and Future. 428 - Tomohiro Fujisaki:
Network Management System Development Using an Application Framework. 429-
Keynote Address
- Robert L. Martin:
Revolutionizing Software Development. 432-
Session 25 - Panel: Software Process Re-Engineering and Improvement
- Mikio Aoyama:
Software Process Re-engineering and Improvment. 434 - Annie Kuntzmann-Combelles:
Is Software Process Re-Engineering and Improvement the "Silver Bullet" of the 1990s or a Constructive Approach to Meet Pre-Defigned Business Targets? 435 - Michael D. Konrad:
Attention to Process and People are Key to Technology Adoption. 436 - Poh Yee Wong:
A Team-Based Process Improvement Initiative. 437-
Session 26: Testing and Debugging
- David J. Taylor, Thomas Kunz, James P. Black:
A Tool for Debugging OSF DCE Applications. 440-446 - In Sang Chung, Malcolm Munro, Wan Kwon Lee, Yong Rae Kwon:
Applying Conventional Testing Techniques for Class Testing. 447-454 - Kwangkeun Yi, Sukyoung Ryu, Kihyun Pyun:
Estimating Uncaught Exceptions in Standard ML Programs from Type-Based Equations. 455-460 - Kuniaki Naoi, Naohisa Takahashi:
Detection of Infeasible Paths Using Presburger Arithmetic. 461-469
Session 27: Network-Software Engineering
- Charles E. Perkins:
Mobile-IP, Ad-Hoc Networking, and Nomadicity. 472-476 - Myeongho Kang, Taekyoung Kwon, Changyong Yang, JooSeok Song:
The Design and Verification of Services Feature Interaction Manager on AIN Using Z Schema. 477-482 - Frédéric Rousseau, J. M. Bergé, Michel Israël:
Hardware/Software Partitioning for Telecommunications Systems. 483-488
Session 28: Object-Oriented Applications
- David Chenho Kung, Scott R. Oksanen, Jyhjong Lin:
An Object-Oriented Real Time Systems Modeling and Verification Methodology. 490-495 - Hyunki Kim, Hakgene Shin, Jae-Woo Chang:
OOHS: an Object-Oriented Hypermedia System. 496-501 - Stephen S. Yau, Jun Wang:
A Framework for an Integrated Tool Set for Object-Oriented Analysis of Application Software Development. 502-507
Session 29: Software Design and Analysis Methods
- Misbah Mirza, Seung Hoon Cha, Jae-Il Jung, KiJong Lee, Cheong Youn:
Use Case Driven Structured Analysis. 510-515 - Akira K. Onoma, Hiroshi Suganuma, Mustafa H. Poonawala, Satish Subramanian, Wei-Tek Tsai, Tsutomu Syomura:
Opusdei-Integrated Environment for Software Development and Maintenance. 516-521 - Albert Mo Kim Cheng:
Measuring the Structural Complexity of OPS5 Rule-Based Programs. 522-527
Session 30 - Panel: Software Education in the Asia-Pacific Region in the 21st Century
- Joseph E. Urban:
Panel Overview-Software Education in the Asia-Pacific Region in the 21st Century. 530 - C. T. Chong:
Computer Science Education in the Asia-Pacific Region in the 21st Century. 531 - Roland T. Chin:
Software Education in the 21st Century. 532 - Masao J. Matsumoto:
Emerging Software Engineering Education. 533-
Session 31: Client/Server and Video Processing
- Frédéric Andrès, Keigo Ihara, Jihad Boulos, Kinji Ono, Yasuhiko Yasuda:
Performance Evaluation of the OLVP (Online Video Processing) System. 560-565 - Shuichiro Yamamoto, Ryuji Kawasaki, Mitsuo Nagaoka:
VGUIDE: 4GL Application Platform for Large Distributed Information. 536-541 - Eui-In Choi, Hae-Chull Lim:
Recovery Technique Based on Fuzzy Checkpoint in a Client/Server DataBase System. 542-547 - Chih-Kai Chang, Gwo-Dong Chen, Baw-Jhiune Liu, Kuo-Liang Ou:
A Language for Developing Collaborative Learning Activities on World Wide Web. 548-552
Closing Session
- Carl K. Chang, K. H. Kim, Annie Kuntzmann-Combelles, Iwao Toda:
The Trends of Software Technology and Applications. 558-
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-22 21:09 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
