default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd APSEC 1996: Seoul, South Korea
- 3rd Asia-Pacific Software Engineering Conference (APSEC '96), December 4-7, 1996, Seoul, South Korea. IEEE Computer Society 1996, ISBN 0-8186-7638-8
Keynote Address
- Taik-Ho Kim:
The Need For New Software Technology: Have We Overcome the Software Crisis? 2-
Real-Time Systems
- Dang Van Hung, Ko Kwang Il:
Verification via Digitized Models of Real-Time Hybrid Systems. 4-15 - 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
- Yun Yang, Jun Han:
Classification of and Experimentation on Tool Interfacing in Software Development Environments. 56-65 - Makoto Matsushita, Katsuro Inoue, Hajimu Iida:
An Interaction Support Mechanism in Software Development. 66-
Object-Oriented Development
- Heung Seok Chae, Yong Rae Kwon:
Assessing and Restructuring of Classes Based on Cohesion. 76-82 - 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
- Heechern Kim, Chisu Wu:
A Class Testing Technique Based on Data Bindings. 104-109 - Cleveland Augustine 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 - William E. Howden, Suehee Pak:
The Derivation of Functional Specifications from Source Code. 166-
Formal Methods I
- Seung Mo Cho, Hyoung Seok Hong, Sung Deok Cha:
Safety Analysis Using Coloured Petri Nets. 176-193 - 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 - John A. McDermid, Shaoying Liu:
A Case Study Using SAM - Safety Analysis of PES. 217-
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 - Dao Nam Anh, Richard Moore:
Formal Modeling of Large Domains. 246-
Distributed Systems
- Issam A. Hamid:
A dynamic Extension for the Specification of Distributed Systems. 256-267 - Kam-Pui Chow, Tak Wah Tak Wah, Ka Hing Lee:
The Telephone Directory Enquiry System of Hong Kong. 268-
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 - Jeongwon Baeg, Yoshiaki Fukazawa:
A Dialog-Oriented User Interface Generation Mechanism. 310-317 - Ralph Rönnquist, Chi Keen Low:
Formalisation of Interaction Diagrams. 318-
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-
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-12-19 22:17 CET 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:
