Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1st SEKE 1989: Skokie, USA
- SEKE'89, Proceedings of the First International Conference on Software Engineering and Knowledge Engineering, Skokie, USA, June 15-16, 1989. Knowledge Systems Institute 1989
Knowledge-Based Software Design and Testing
- W. P. Yin, David Y. Y. Yun, Murat M. Tanik:
Design Activity Agent: A Knowledge-Based Software Design Environment. SEKE 1989: 1-8 - Daniel E. Cooke:
Proving Properties of Software Design Methods. SEKE 1989: 9-12 - Kai-Hsiung Chang, James H. Cross II, W. Homer Carlisle, David B. Brown:
An Intelligent Test Data Generator for Software Branch Coverage. SEKE 1989: 13-18 - Ren-Dar Yang, Chyan-Goei Chung:
Testing Concurrent Ada Program with Reproducible Test Cases. SEKE 1989: 19-24
Software Knowledge Acquisition
- Robert G. Reynolds, Jonathan I. Maletic, Stephen E. Porvin:
PM: A Metrics Driven Plan Compiler. SEKE 1989: 25-30 - Philip Newcomb:
Architecture of the Knowledge Integration Tocl: A Knowledge Based System Development Environment. SEKE 1989: 31-37 - Holmes S. Liao, Abraham Kandel, Robert Christopher:
Knowledge Representation in Automatic COBOL Programmer. SEKE 1989: 38-41 - Stephen T. C. Wong, John L. Wilson:
Object Formation in A Hybrid Knowledge Representation. SEKE 1989: 42-47
Software Reuse
- Maryam Asdjodi, James W. Hopper:
An Environment for Software Reusability. SEKE 1989: 48-53 - Zhengxin Chen:
Rule Mapping and Expert Systems Reuse. SEKE 1989: 54-57
Panel Session on Software Engineering Methods & Practices
- Rati C. Thanawala:
Requirement Specifications For The AT8T 5ESS(R) Switch. SEKE 1989: 58 - Lewis G. Anderson:
Software Design for the 5ESS(R) Switch. SEKE 1989: 59 - Michael N. Meyers:
Performance Verification of the AT&T 5ESSOR Switch. SEKE 1989: 60
Software Measurement and Simulation
- Xiaofeng Li, Arnaud Rubin, Robert Phelps, Jean Steinier:
A Hybrid Modeling Paradigm for Simulating Existing Software and Its Execution Environment. SEKE 1989: 61-66 - Zhemin Fan, Jeffrey M. Harris:
A Comprehensive Software Complexity Metric for Primitive Modules. SEKE 1989: 67-72 - Ren-Juh Lea, Chyan-Goei Chung:
A Two-Level Model for Software Rapid Prototyping. SEKE 1989: 73-78
Object-Oriented Systems
- Lil Mohan, Rangasami L. Kashyap:
Abstractions in Object-oriented Data Models: A Formalized Representation Scheme. SEKE 1989: 79-84 - Hsing-Lung Chen, Shi-Kuo Chang:
Assignment of Objects in a Dual Processor System with Limited Objects. SEKE 1989: 85-92 - K. Y. Cheng, W. H. Huang, M. S. Hwu:
Visual Programming in Object-oriented Style. SEKE 1989: 93-97
Intelligent Software Systems
- Chuck Smyrniotis:
Imagery Analyst's Assistant. SEKE 1989: 98-103 - S. L. Wang, S. T. Peng, T. L. Teng:
A Knowledge-based System for Engineering Design. SEKE 1989: 104-109
Specifications and Transformations
- Shun-Tzu Tsai, Chien-Chiao Yang, Chih-Cheng Lien, Shih-Tsung Chen, Chien-Hao Hsiao:
Knowledge-oriented Specification Analysis and Transformation. SEKE 1989: 110-115 - Xudong He, John A. N. Lee:
Deriving Temporal Logic Specifications from Predicate Transition Petri Net. SEKE 1989: 116-121 - Tadao Murata, Jaegeol Yim:
Petri Net Method for Real-Time Control of Rule-Based Systems. SEKE 1989: 122-127 - Miin-Jeng Pan, Chien-Chiao Yang, Ping-Long Chang:
Conceptual Modeling of Software Requirements. SEKE 1989: 128-133 - Tong G. Tang:
Temporal Theory for Automatic Verification of Infinite State Concurrent Programs. SEKE 1989: 134-139
Query Languages
- Bogdan D. Czejdo:
Recursive Query Specification Using Nested Databases. SEKE 1989: 140-145 - Jiann-Tsair Chen, Chiou-Rurng Tseng, Wei-Pang Yang:
Semantic Query Optimization and Prolog. SEKE 1989: 146-151 - Jinsong Wang, Qing-Yun Shi:
A Form-based Pictorial Query Language For Pictorial Database. SEKE 1989: 152-157 - Tianzheng Wu, James L. Clark, Nong Zhou, Kazem Taghva:
A Novel Way 1o Identify IneguaIity Query Subclasses Which possess the Homomorphism Property. SEKE 1989: 158-163 - Jiawei Han, Lawrence J. Henschen, Ning Zhuang:
Derivation of Magic Sets by Compilation. SEKE 1989: 164-171
Panel Session on Software Engineering Process Framework and Application Case Studies
- Bruce W. Weide, Samuel DeFazio:
Conceptualizing the Software Engineering Process. SEKE 1989: 172-
a service of 
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-04-18 20:19 CEST 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:
