Conferences in DBLP
W. P. Yin , David Y. Y. Yun , Murat M. Tanik Design Activity Agent: A Knowledge-Based Software Design Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel E. Cooke Proving Properties of Software Design Methods. [Citation Graph (0, 0)][DBLP ] Conf ] Kai-Hsiung Chang , James H. Cross II , W. Homer Carlisle , David B. Brown An Intelligent Test Data Generator for Software Branch Coverage. [Citation Graph (0, 0)][DBLP ] Conf ] Ren-Dar Yang , Chyan-Goei Chung Testing Concurrent Ada Program with Reproducible Test Cases. [Citation Graph (0, 0)][DBLP ] Conf ] Robert G. Reynolds , Jonathan I. Maletic , Stephen E. Porvin PM: A Metrics Driven Plan Compiler. [Citation Graph (0, 0)][DBLP ] Conf ] Philip Newcomb Architecture of the Knowledge Integration Tocl: A Knowledge Based System Development Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Holmes S. Liao , Abraham Kandel , R. Chris Lacher Knowledge Represen1ation in Automatic COBOL Programmer. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen T. C. Wong , John L. Wilson Object Formation in A Hybrid Knowledge Representation. [Citation Graph (0, 0)][DBLP ] Conf ] Maryam Asdjodi , James W. Hopper An Environment for Software Reusability. [Citation Graph (0, 0)][DBLP ] Conf ] Z. Chen Rule Mapping and Expert Systems Reuse. [Citation Graph (0, 0)][DBLP ] Conf ] Rati C. Thanawala Requirement Specifications For The AT8T 5ESS(R) Switch. [Citation Graph (0, 0)][DBLP ] Conf ] Lewis G. Anderson Software Design for the 5ESS(R) Switch. [Citation Graph (0, 0)][DBLP ] Conf ] Michael N. Meyers Performance Verification of the AT&T 5ESSOR Switch. [Citation Graph (0, 0)][DBLP ] Conf ] Xiaofeng Li , Arnaud Rubin , Robert Phelps , Jean Steinier A Hybrid Modeling Paradigm for Simulating Existing Software and Its Execution Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Zhemin Fan , Jeffrey M. Harris A Comprehensive Software Complexity Metric for Primitive Modules. [Citation Graph (0, 0)][DBLP ] Conf ] Ren-Juh Lea , Chyan-Goei Chung A Two-Level Model for Software Rapid Prototyping. [Citation Graph (0, 0)][DBLP ] Conf ] Lil Mohan , Rangasami L. Kashyap Abstractions in Object-oriented Data Models: A Formalized Representation Scheme. [Citation Graph (0, 0)][DBLP ] Conf ] Hsing-Lung Chen , Shi-Kuo Chang Assignment of Objects in a Dual Processor System with Limited Objects. [Citation Graph (0, 0)][DBLP ] Conf ] K. Y. Cheng , W. H. Huang , M. S. Hwu Visual Programming in Object-oriented Style. [Citation Graph (0, 0)][DBLP ] Conf ] Chuck Smyrniotis Imagery Analyst's Assistant. [Citation Graph (0, 0)][DBLP ] Conf ] S. L. Wang , S. T. Peng , T. L. Teng A Knowledge-based System for Engineering Design. [Citation Graph (0, 0)][DBLP ] Conf ] Shun-Tzu Tsai , Chien-Chiao Yang , Chih-Cheng Lien , Shih-Tsung Chen , Chien-Hao Hsiao Knowledge-oriented Specification Analysis and Transformation. [Citation Graph (0, 0)][DBLP ] Conf ] Xudong He , John A. N. Lee Deriving Temporal Logic Specifications from Predicate Transition Petri Net. [Citation Graph (0, 0)][DBLP ] Conf ] Tadao Murata , Jaegeol Yim Petri Net Method for Real-Time Control of Rule-Based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Miin-Jeng Pan , Chien-Chiao Yang , Ping-Long Chang Conceptual Modeling of Software Requirements. [Citation Graph (0, 0)][DBLP ] Conf ] Tong G. Tang Temporal Theory for Automatic Verification of Infinite State Concurrent Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Bogdan D. Czejdo Recursive Query Specification Using Nested Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Jiann-Tsair Chen , Chiou-Rurng Tseng , Wei-Pang Yang Semantic Query Optimization and Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Jinsong Wang , Qing-Yun Shi A Form-based Pictorial Query Language For Pictorial Database. [Citation Graph (0, 0)][DBLP ] Conf ] Tianzheng Wu , James L. Clark , Nong Zhou , Kazem Taghva A Novel Way 1o Identify IneguaIity Query Subclasses Which possess the Homomorphism Property. [Citation Graph (0, 0)][DBLP ] Conf ] Jiawei Han , Lawrence J. Henschen , Ning Zhuang Derivation of Magic Sets by Compilation. [Citation Graph (0, 0)][DBLP ] Conf ] Bruce W. Weide , Samuel DeFazio Conceptualizing the Software Engineering Process. [Citation Graph (0, 0)][DBLP ] Conf ] 