Abstract is missing.
- The Need For New Software Technology: Have We Overcome the Software Crisis?Taik-Ho Kim. 2 [doi]
- Verification via Digitized Models of Real-Time Hybrid SystemsDang Van Hung, Ko Kwang Il. 4-15 [doi]
- Formalization and Verification of Safety Properties of Statechart SpecificationsKyo Chul Kang, Kwang-Il Ko. 16 [doi]
- Object-Oriented MetricsN. V. Balasubramanian. 30-34 [doi]
- Revisiting Measurement of Software ComplexityClaes Wohlin. 35-43 [doi]
- Module Coupling: A Design MetricFranck Xia. 44 [doi]
- Classification of and Experimentation on Tool Interfacing in Software Development EnvironmentsYun Yang, Jun Han. 56-65 [doi]
- An Interaction Support Mechanism in Software DevelopmentMakoto Matsushita, Katsuro Inoue, Hajimu Iida. 66 [doi]
- Assessing and Restructuring of Classes Based on CohesionHeung Seok Chae, Yong Rae Kwon. 76-82 [doi]
- Improving the Quality of Classification Trees via RestructuringTsong Yueh Chen, Pak-Lok Poon. 83-92 [doi]
- A Modified Inheritance Mechanism Enhancing Reusability and Maintainability in Object-Oriented LanguagesXuandong Li, Guoliang Zheng. 93 [doi]
- A Class Testing Technique Based on Data BindingsHeechern Kim, Chisu Wu. 104-109 [doi]
- Towards a Learner-Centred Approach to Teaching Object-Oriented DesignCleveland A. Gibbon, Colin A. Higgins. 110 [doi]
- A Framework of Generating Software Process Including Milestones for Object-Oriented Development MethodNoriko Hanakawa, Hajimu Iida, Ken-ichi Matsumoto, Koji Torii. 120-130 [doi]
- Simulation Model of Overlapping Development Process Based on Progress of ActivitiesHajimu Iida, Jun Eijima, Satushi Yabe, Ken-ichi Matsumoto, Koji Torii. 131-138 [doi]
- Analysis of Software Process Improvement Experience Using the Project Visibility IndexKeishi Sakamoto, Naoki Niihara, Toshifumi Tanaka, Kumiyo Nakakoji, Kouichi Kishida. 139 [doi]
- Industrial Application of Object-Oriented TechnologyKiwon Chong. 150-151 [doi]
- Principles of Software EvolutionTakuya Katayama. 152 [doi]
- New Software Components with an Autonomous Changing MechanismKatsuhisa Maruyama, Kenichi Shima. 154-165 [doi]
- The Derivation of Functional Specifications from Source CodeWilliam E. Howden, Suehee Pak. 166 [doi]
- Safety Analysis Using Coloured Petri NetsSeung Mo Cho, Hyoung Seok Hong, Sung Deok Cha. 176-193 [doi]
- An Extended Semantic Foundation For Object-ZAlena Griffiths. 194 [doi]
- A Method of Checking Errors and Consistency in the Process of Object-Oriented AnalysisDo Hyoung Kim, Kiwon Chong. 208-216 [doi]
- A Case Study Using SAM - Safety Analysis of PESJohn A. McDermid, Shaoying Liu. 217 [doi]
- Towards a Practical Formal Method for Object Oriented ModellingKinh Nguyen. 226-237 [doi]
- Formal Methods Pilot ProjectTracey Hart, Fiona Linn, Roberto Morello, Greg Royle, Peter Kearney, Peter A. Lindsay, Kelvin J. Ross, Owen Traynor. 238-245 [doi]
- Formal Modeling of Large DomainsDao Nam Anh, Richard Moore. 246 [doi]
- A dynamic Extension for the Specification of Distributed SystemsIssam A. Hamid. 256-267 [doi]
- The Telephone Directory Enquiry System of Hong KongK. P. Chow, Tak Wah Tak Wah, Ka Hing Lee. 268 [doi]
- Design and Implementation of Dynamically Reconstructing System SoftwareKazuhiko Kashiwagi, Keizo Saisho, Akira Fukuda. 278-287 [doi]
- Architectural Abstractions and Language MechanismsBent Bruun Kristensen. 288 [doi]
- Resonance Interface: Proposal of a Framework for Design EnvironmentMasao Ito, Koichi Kishida. 302-309 [doi]
- A Dialog-Oriented User Interface Generation MechanismJ. Baeg, Y. Fukazawa. 310-317 [doi]
- Formalisation of Interaction DiagramsRalph Rönnquist, Chi Keen Low. 318 [doi]
- If Software Reuse Can Lead IT, How?Masao J. Matsumoto, Ernst-Erich Doberkat, Stan Jarzabek, Kyo Chul Kang. 329-329 [doi]
- Common Sense ReuseStan Jarzabek. 330-331 [doi]
- Keynote Address: Auditing Informal Software Testing and Analysis ProcessesWilliam E. Howden. 332 [doi]
- Software Testing and Metrics for Concurrent ComputationChi-Ming Chung, Timothy K. Shih, Ying-Hong Wang, Wei-Chuan Lin, Ying-Feng Kuo. 336-344 [doi]
- A Prototype of a Concurrent Behavior Monitoring Tool for Testing of Concurrent ProgramsEisuke Itoh, Zengo Furukawa, Kazuo Ushijima. 345-354 [doi]
- A Method for Structural Testing of Ada Concurrent Programs Using the Event Interactions GraphTetsuro Katayama, Zengo Furukawa, Kazuo Ushijima. 355 [doi]
- M-base : An Application Development Environment for End-user Computing based on Message FlowTakeshi Chusho, Yuji Konishi, Masao Yoshioka. 366-375 [doi]
- Real-Time System Design Tools for RTO.e (Real-Time Object.extended)Byung Kwon Ahn, Seung-Min Yang, Joong-Sup Choi, Moon-hae Kim. 376-383 [doi]
- MENTOR : An Environment Supporting the Construction of MethodsVéronique Plihon. 384 [doi]