3. APSEC 1996: Seoul, South Korea
3rd Asia-Pacific Software Engineering Conference (APSEC '96), December 4-7, 1996, Seoul, South Korea. IEEE Computer Society 1996
Keynote Address
- Taik-Ho Kim: The Need For New Software Technology: Have We Overcome the Software Crisis? 2-
Real-Time Systems
- Kyo Chul Kang, Kwang-Il Ko: Formalization and Verification of Safety Properties of Statechart Specifications. 16-
Metrics
- N. V. Balasubramanian: Object-Oriented Metrics. 30-34
- Claes Wohlin: Revisiting Measurement of Software Complexity. 35-43
- Franck Xia: Module Coupling: A Design Metric. 44-
Development Environment I
- Makoto Matsushita, Katsuro Inoue, Hajimu Iida: An Interaction Support Mechanism in Software Development. 66-
Object-Oriented Development
- Tsong Yueh Chen, Pak-Lok Poon: Improving the Quality of Classification Trees via Restructuring. 83-92
- Xuandong Li, Guoliang Zheng: A Modified Inheritance Mechanism Enhancing Reusability and Maintainability in Object-Oriented Languages. 93-
Testing
- Cleveland A. Gibbon, Colin A. Higgins: Towards a Learner-Centred Approach to Teaching Object-Oriented Design. 110-
Software
- Noriko Hanakawa, Hajimu Iida, Ken-ichi Matsumoto, Koji Torii: A Framework of Generating Software Process Including Milestones for Object-Oriented Development Method. 120-130
- Hajimu Iida, Jun Eijima, Satushi Yabe, Ken-ichi Matsumoto, Koji Torii: Simulation Model of Overlapping Development Process Based on Progress of Activities. 131-138
- Keishi Sakamoto, Naoki Niihara, Toshifumi Tanaka, Kumiyo Nakakoji, Kouichi Kishida: Analysis of Software Process Improvement Experience Using the Project Visibility Index. 139-
Industrial Application of the Object-Oriented Technology
- Kiwon Chong: Industrial Application of Object-Oriented Technology. 150-151
- Takuya Katayama: Principles of Software Evolution. 152-
Maintenance and Reuse
- Katsuhisa Maruyama, Kenichi Shima: New Software Components with an Autonomous Changing Mechanism. 154-165
Formal Methods I
- Alena Griffiths: An Extended Semantic Foundation For Object-Z. 194-
Validation and Verification
- Do-Hyoung Kim, Kiwon Chong: A Method of Checking Errors and Consistency in the Process of Object-Oriented Analysis. 208-216
Formal Methods II
- Kinh Nguyen: Towards a Practical Formal Method for Object Oriented Modelling. 226-237
- Tracey Hart, Fiona Linn, Roberto Morello, Greg Royle, Peter Kearney, Peter A. Lindsay, Kelvin J. Ross, Owen Traynor: Formal Methods Pilot Project. 238-245
Distributed Systems
- Issam A. Hamid: A dynamic Extension for the Specification of Distributed Systems. 256-267
Design and Implementation
- Kazuhiko Kashiwagi, Keizo Saisho, Akira Fukuda: Design and Implementation of Dynamically Reconstructing System Software. 278-287
- Bent Bruun Kristensen: Architectural Abstractions and Language Mechanisms. 288-
User Interaction
- Masao Ito, Koichi Kishida: Resonance Interface: Proposal of a Framework for Design Environment. 302-309
Panel
- Masao J. Matsumoto, Ernst-Erich Doberkat, Stan Jarzabek, Kyo Chul Kang: If Software Reuse Can Lead IT, How? 329-329
- Stan Jarzabek: Common Sense Reuse. 330-331
- William E. Howden: Keynote Address: Auditing Informal Software Testing and Analysis Processes. 332-
Concurrency
- Chi-Ming Chung, Timothy K. Shih, Ying-Hong Wang, Wei-Chuan Lin, Ying-Feng Kuo: Software Testing and Metrics for Concurrent Computation. 336-344
- Eisuke Itoh, Zengo Furukawa, Kazuo Ushijima: A Prototype of a Concurrent Behavior Monitoring Tool for Testing of Concurrent Programs. 345-354
- Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima: A Method for Structural Testing of Ada Concurrent Programs Using the Event Interactions Graph. 355-
Development Environment II
- Takeshi Chusho, Yuji Konishi, Masao Yoshioka: M-base : An Application Development Environment for End-user Computing based on Message Flow. 366-375
- Byung Kwon Ahn, Seung-Min Yang, Joong-Sup Choi, Moon-hae Kim: Real-Time System Design Tools for RTO.e (Real-Time Object.extended). 376-383
- Véronique Plihon: MENTOR : An Environment Supporting the Construction of Methods. 384-
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team