Conferences in DBLP
Taik-Ho Kim The Need For New Software Technology: Have We Overcome the Software Crisis? [Citation Graph (0, 0)][DBLP ] Conf ] Dang Van Hung , Ko Kwang Il Verification via Digitized Models of Real-Time Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Kyo Chul Kang , Kwang-Il Ko Formalization and Verification of Safety Properties of Statechart Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] N. V. Balasubramanian Object-Oriented Metrics. [Citation Graph (0, 0)][DBLP ] Conf ] Claes Wohlin Revisiting Measurement of Software Complexity. [Citation Graph (0, 0)][DBLP ] Conf ] Franck Xia Module Coupling: A Design Metric. [Citation Graph (0, 0)][DBLP ] Conf ] Yun Yang , Jun Han Classification of and Experimentation on Tool Interfacing in Software Development Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Makoto Matsushita , Katsuro Inoue , Hajimu Iida An Interaction Support Mechanism in Software Development. [Citation Graph (0, 0)][DBLP ] Conf ] Heung Seok Chae , Yong Rae Kwon Assessing and Restructuring of Classes Based on Cohesion. [Citation Graph (0, 0)][DBLP ] Conf ] Tsong Yueh Chen , Pak-Lok Poon Improving the Quality of Classification Trees via Restructuring. [Citation Graph (0, 0)][DBLP ] Conf ] Xuandong Li , Guoliang Zheng A Modified Inheritance Mechanism Enhancing Reusability and Maintainability in Object-Oriented Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Heechern Kim , Chisu Wu A Class Testing Technique Based on Data Bindings. [Citation Graph (0, 0)][DBLP ] Conf ] Cleveland A. Gibbon , Colin A. Higgins Towards a Learner-Centred Approach to Teaching Object-Oriented Design. [Citation Graph (0, 0)][DBLP ] Conf ] Noriko Hanakawa , Hajimu Iida , Ken-ichi Matsumoto , Koji Torii A Framework of Generating Software Process Including Milestones for Object-Oriented Development Method. [Citation Graph (0, 0)][DBLP ] Conf ] Hajimu Iida , Jun Eijima , Satushi Yabe , Ken-ichi Matsumoto , Koji Torii Simulation Model of Overlapping Development Process Based on Progress of Activities. [Citation Graph (0, 0)][DBLP ] Conf ] Keishi Sakamoto , Naoki Niihara , Toshifumi Tanaka , Kumiyo Nakakoji , Kouichi Kishida Analysis of Software Process Improvement Experience Using the Project Visibility Index. [Citation Graph (0, 0)][DBLP ] Conf ] Kiwon Chong Industrial Application of Object-Oriented Technology. [Citation Graph (0, 0)][DBLP ] Conf ] Takuya Katayama Principles of Software Evolution. [Citation Graph (0, 0)][DBLP ] Conf ] Katsuhisa Maruyama , Kenichi Shima New Software Components with an Autonomous Changing Mechanism. [Citation Graph (0, 0)][DBLP ] Conf ] William E. Howden , Suehee Pak The Derivation of Functional Specifications from Source Code. [Citation Graph (0, 0)][DBLP ] Conf ] Seung Mo Cho , Hyoung Seok Hong , Sung Deok Cha Safety Analysis Using Coloured Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Alena Griffiths An Extended Semantic Foundation For Object-Z. [Citation Graph (0, 0)][DBLP ] Conf ] Do-Hyoung Kim , Kiwon Chong A Method of Checking Errors and Consistency in the Process of Object-Oriented Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] John A. McDermid , Shaoying Liu A Case Study Using SAM - Safety Analysis of PES. [Citation Graph (0, 0)][DBLP ] Conf ] Kinh Nguyen Towards a Practical Formal Method for Object Oriented Modelling. [Citation Graph (0, 0)][DBLP ] Conf ] Tracey Hart , Fiona Linn , Roberto Morello , Greg Royle , Peter Kearney , Peter A. Lindsay , Kelvin J. Ross , Owen Traynor Formal Methods Pilot Project. [Citation Graph (0, 0)][DBLP ] Conf ] Dao Nam Anh , Richard Moore Formal Modeling of Large Domains. [Citation Graph (0, 0)][DBLP ] Conf ] Issam A. Hamid A dynamic Extension for the Specification of Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] K. P. Chow , Tak Wah Tak Wah , Ka Hing Lee The Telephone Directory Enquiry System of Hong Kong. [Citation Graph (0, 0)][DBLP ] Conf ] Kazuhiko Kashiwagi , Keizo Saisho , Akira Fukuda Design and Implementation of Dynamically Reconstructing System Software. [Citation Graph (0, 0)][DBLP ] Conf ] Bent Bruun Kristensen Architectural Abstractions and Language Mechanisms. [Citation Graph (0, 0)][DBLP ] Conf ] Masao Ito , Koichi Kishida Resonance Interface: Proposal of a Framework for Design Environment. [Citation Graph (0, 0)][DBLP ] Conf ] J. Baeg , Y. Fukazawa A Dialog-Oriented User Interface Generation Mechanism. [Citation Graph (0, 0)][DBLP ] Conf ] Ralph Rönnquist , Chi Keen Low Formalisation of Interaction Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] Masao J. Matsumoto , Ernst-Erich Doberkat , Stan Jarzabek , Kyo Chul Kang If Software Reuse Can Lead IT, How? [Citation Graph (0, 0)][DBLP ] Conf ] Stan Jarzabek Common Sense Reuse. [Citation Graph (0, 0)][DBLP ] Conf ] William E. Howden Keynote Address: Auditing Informal Software Testing and Analysis Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Chi-Ming Chung , Timothy K. Shih , Ying-Hong Wang , Wei-Chuan Lin , Ying-Feng Kuo Software Testing and Metrics for Concurrent Computation. [Citation Graph (0, 0)][DBLP ] Conf ] Eisuke Itoh , Zengo Furukawa , Kazuo Ushijima A Prototype of a Concurrent Behavior Monitoring Tool for Testing of Concurrent Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Tetsuro Katayama , Zengo Furukawa , Kazuo Ushijima A Method for Structural Testing of Ada Concurrent Programs Using the Event Interactions Graph. [Citation Graph (0, 0)][DBLP ] Conf ] Takeshi Chusho , Yuji Konishi , Masao Yoshioka M-base : An Application Development Environment for End-user Computing based on Message Flow. [Citation Graph (0, 0)][DBLP ] Conf ] Byung Kwon Ahn , Seung-Min Yang , Joong-Sup Choi , Moon-hae Kim Real-Time System Design Tools for RTO.e (Real-Time Object.extended). [Citation Graph (0, 0)][DBLP ] Conf ] Véronique Plihon MENTOR : An Environment Supporting the Construction of Methods. [Citation Graph (0, 0)][DBLP ] Conf ] 