Abstract is missing.
- Design Activity Agent: A Knowledge-Based Software Design EnvironmentW. P. Yin, David Y. Y. Yun, Murat M. Tanik. 1-8
- Proving Properties of Software Design MethodsDaniel E. Cooke. 9-12
- An Intelligent Test Data Generator for Software Branch CoverageKai-Hsiung Chang, James H. Cross II, W. Homer Carlisle, David B. Brown. 13-18
- Testing Concurrent Ada Program with Reproducible Test CasesRen-Dar Yang, Chyan-Goei Chung. 19-24
- PM: A Metrics Driven Plan CompilerRobert G. Reynolds, Jonathan I. Maletic, Stephen E. Porvin. 25-30
- Architecture of the Knowledge Integration Tocl: A Knowledge Based System Development EnvironmentPhilip Newcomb. 31
- Knowledge Represen1ation in Automatic COBOL ProgrammerHolmes S. Liao, Abraham Kandel, R. Chris Lacher. 38-41
- Object Formation in A Hybrid Knowledge RepresentationStephen T. C. Wong, John L. Wilson. 42-47
- An Environment for Software ReusabilityMaryam Asdjodi, James W. Hopper. 48-53
- Rule Mapping and Expert Systems ReuseZ. Chen. 54-57
- Requirement Specifications For The AT8T 5ESS(R) SwitchRati C. Thanawala. 58
- Software Design for the 5ESS(R) SwitchLewis G. Anderson. 59
- Performance Verification of the AT&T 5ESSOR SwitchMichael N. Meyers. 60
- A Hybrid Modeling Paradigm for Simulating Existing Software and Its Execution EnvironmentXiaofeng Li, Arnaud Rubin, Robert Phelps, Jean Steinier. 61-66
- A Comprehensive Software Complexity Metric for Primitive ModulesZhemin Fan, Jeffrey M. Harris. 67-72
- A Two-Level Model for Software Rapid PrototypingRen-Juh Lea, Chyan-Goei Chung. 73-78
- Abstractions in Object-oriented Data Models: A Formalized Representation SchemeLil Mohan, Rangasami L. Kashyap. 79-84
- Assignment of Objects in a Dual Processor System with Limited ObjectsHsing-Lung Chen, Shi-Kuo Chang. 85-92
- Visual Programming in Object-oriented StyleK. Y. Cheng, W. H. Huang, M. S. Hwu. 93-97
- Imagery Analyst s AssistantChuck Smyrniotis. 98-103
- A Knowledge-based System for Engineering DesignS. L. Wang, S. T. Peng, T. L. Teng. 104-109
- Knowledge-oriented Specification Analysis and TransformationShun-Tzu Tsai, Chien-Chiao Yang, Chih-Cheng Lien, Shih-Tsung Chen, Chien-Hao Hsiao. 110-115
- Deriving Temporal Logic Specifications from Predicate Transition Petri NetXudong He, John A. N. Lee. 116-121
- Petri Net Method for Real-Time Control of Rule-Based SystemsTadao Murata, Jaegeol Yim. 122-127
- Conceptual Modeling of Software RequirementsMiin-Jeng Pan, Chien-Chiao Yang, Ping-Long Chang. 128-133
- Temporal Theory for Automatic Verification of Infinite State Concurrent ProgramsTong G. Tang. 134-139
- Recursive Query Specification Using Nested DatabasesBogdan D. Czejdo. 140-145
- Semantic Query Optimization and PrologJiann-Tsair Chen, Chiou-Rurng Tseng, Wei-Pang Yang. 146-151
- A Form-based Pictorial Query Language For Pictorial DatabaseJinsong Wang, Qing-Yun Shi. 152-157
- A Novel Way 1o Identify IneguaIity Query Subclasses Which possess the Homomorphism PropertyTianzheng Wu, James L. Clark, Nong Zhou, Kazem Taghva. 158-163
- Derivation of Magic Sets by CompilationJiawei Han, Lawrence J. Henschen, Ning Zhuang. 164-171
- Conceptualizing the Software Engineering ProcessBruce W. Weide, Samuel DeFazio. 172