default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4th SEKE 1992: Capri, Italy
- SEKE'92, The 4th International Conference on Software Engineering and Knowledge Engineering, June, 15-20 1992, Capri, Italy. IEEE Computer Society 1992, ISBN 0-8186-2830-8
Methodologies
- Yamine Aït Ameur:
Formal Program Developments Directed by Operational Properties Evaluation. 1-8 - Shiwei Wang, Ugo O. Gagliardi:
An Optomized Concurrency Control Algorithm for Transaction Brocessing. 9-16 - Junbo Liu, Owen Traynor, Bernd Krieg-Brückner:
Knowledge-Based Transfonnational Programming. 632-639 - Yasuomi Sato, Yasuhiko Morimoto, Tadao Ichikawa:
Program Refinement Using Generic Object. 18-25
Knowledge Engineering for SoAware Engineering
- Michael St. Jacques, Delano Stevens, J. Getchius, L. Lau:
A Knowledge-Based Method for Engineering Navigational Capability into User Interface Software. 26-31 - Gwo-Jen Hwang:
Knowledge Acquisition and Validation for Implicit Expertise. 32-39 - Ralph D. Semmel:
An Integrated System for Query Formulation and Database Design. 40-46 - Enrico Maim:
Recognizing Objects from Constraints. 47-54 - Zeger Karssen, Catherine Toussaint:
A Kemel Architecture for a Computer Aided Knowledge Engineering Workbench. 55-62 - K. Kim, Lawrence J. Henschen:
Network-Based Simple Recursive Answer Evaluation for Deductive Databases in Parallel Environment. 63-70 - Mehdi T. Harandi, Hing-Yan Lee:
A Support Envimnment for Knowledge-Based Software Design. 71-79 - Fabio N. Akhras, S. S. S. Melnikoff:
Towards Dynamic Generation of Knowledge-Based Environments for Software Process Assistance. 79-86
Knowledge Representation Systems
- Grigoris Antoniou:
Modularity for Logical Knowledge Bases. 87-93 - Ziqiang Chen:
Uncertain Temporal Knowledge Management. 94-100 - Sanja Vranes, Mladen Stanojevic:
Multiparadigm Blackboard Framework. SEKE 1992: 101 - Jinpeng Huai:
A Knowledge Base Management System on Relation Model and Term Rewriting. 102-108
Software Engineering for Knowledge Engineering
- Jonghoon Chun, Lawrence J. Henschen:
Compiling Rules and Queries in Knowledge Base Systems: A Substitution-Based Approach. 109-115 - Harald Schaschinger:
Expert-Supported Object-Oriented Analysis in Knowledge Engineering. 116-122 - P. Doyle, R. Verbruggen:
Applying Metrics to Rule-Based Systems. 123-130 - Robert G. Reynolds, Jonathan I. Maletic, Elena Zannoni:
Extracting Procedural Knowledge from Software Systems Using Inductive Leaning in the PM system. 131-139
Reuse and Reverse Engineering
- Aniello Cimitile:
Towards Reuse Reengineering of Old Software. 140-149 - B. Macchini:
Reusing Software with ESTRO (Evolving Software Repository). 150-157 - Lawrence Miller, Alex Quilici:
A Knowledge-Based Approach to Encouraging Reuse of Simulation and Modeling Programs. 158-163 - David Eichmann
:
Supporting Multiple Domains in a Single Reuse Repository. 164-169 - H. Li, Jan van Katwijk, A. M. Levy:
The Reuse of Software Design and Software Architecture. 170-177 - Hai Huang, Kazuo Sugihara, Isao Miyamoto:
A Rule-Based Tool for Reverse Engineering from Source Code to Graphical Models. 178-185
Tools for SEKE
- Lars Bendix:
Automatic Configuration Management in a General Object-Based Environment. 186-193 - Domenico Aquilino, Patrizia Asirelli, Paola Inverardi:
Prototyping in the GEDBLOG System. 194-199 - Bruce I. Blum:
TEDIUM's Window into Design. 200-205 - Ian Watson, Margaret Norman:
ProTest: A Knowledge Analysis Tool for the Development of Expert Systems. 206-212 - Andrea De Lucia, A. Imperatore, Margherita Napoli, Genny Tortora, Maurizio Tucci:
The Software Development Workbench WSDW. 213-221 - Shengru Tu, Wei Sun:
Linear Programming Supporting Ada-Tasking Static Analysis: A Petri Net Approach. 222-226 - Jin-Kao Hao, François Trousset, Jean-Jacques Chabrier:
Prototyping an Inconsistency Checking Tool for Software Process Models. 227-234 - Frederick Hayes-Roth, Lee D. Erman, Allan Terry, Barbara Hayes-Roth:
Distributed Intelligent Control and Management: Concepts, Methods and Tools for Developing DICAM Applications. 235-244 - Kazuo Sugihara, Kazunari Yamamoto, Isao Miyamoto:
Automatic Layout of Diagrams for Software Specification. 245-252 - Andrew M. Olson:
An Object-Oriented Analysis Model of an Iconic Interface to Macsyma. 253-260 - V. V. Sotiropoulou, Theodore S. Papatheodorou:
A Case Study of Knowledge Engineering in the Application Area of Elliptic Partial Differential Equations (PDE's). 261-268 - Anna Hac, Raghavendra Rao Loka:
A Distributed Load Building Algorithm for Parallel Compilation of Files in a Software Application. 269-275
Specification
- Wolfgang Reif:
Correctness of Full First-Order Specifications. 276-283 - Xiaofeng Li, O. Shigo:
A Simulation-Based SDL Support System. 284-291 - Teruhiro Shimura, Jorge Lobo, Tadao Murata:
A Petri Net Semantics for Logic Programs with Negation. 292-299 - Jung-Hong Kao, Lawrence J. Henschen:
A Graph Proof Procedure for Real Time Logic. 300-306 - Arthur H. M. ter Hofstede, T. F. Verhoef, E. R. Nieuwland, G. M. Wijers:
Integrated Specification of Method and Graphic Knowledge. 307-316 - Francesco Parisi-Presicce, Alfonso Pierantonio:
System Design as Derivation via Rewriting. 317-324
Expert Systems
- Giovanna Avellis, L. Borzacchini:
A Blackboard Model to Design Integrated Intelligent Software Maintenance Environment. 325-332 - Bryan S. Todd, Richard Stamper:
Formal Specification of a Rule-Based Expert System. 333-340 - Richard Stamper, Bryan S. Todd, P. M. MacPherson:
A Software Engineering Approach to the Design of a Medical Expert System. 341-348 - Michael Weiss, Franz Stetter:
A Hierarchical Blackboard Architecture for Distributed AI Systems. 349-355 - Ian Watson, Peter Brandon, Andrew Basden:
The Development of a Knowledge-Based System for Predicting Strategic Building Maintenance. 356-363 - Francisco Alcaraz, Marlon Núñez, Alberto Hernández, José L. Blazquez:
Two Real-Time Expert Systems for Monitoring and Maintenance of Digital Exchanges. 364-369
Object-Oriented Methodologies
- Ilkka Tervonen:
Quality-Driven Validation: A Link Between Four Research Traditions. 370-377 - Chi-Ming Chung, Ming-Chi Lee:
Object-Oriented Programming Testing Methodology. 378-385 - Yi Deng, Shi-Kuo Chang:
Unifying Multi-Paradigms in Software System Design. 386-393
Applications
- Vincenzo Loia, Giuseppe Cattaneo, Michel Quaggetto:
Incremental, High Level Implementation of Prolog in an Open System Framework. 394-403 - Emilio Bertolotti:
Opportunistic Production Planning Through Interactive Problem Solving. 404-411 - Yu Chung Wong:
Using Version Spaces to Support Incremental Searches in a Software Library. 412-419 - Shankar Subramaniam, David K. Tcheng, K. Hu, Harish Ragavan, Larry A. Rendell:
Knowledge Engineering for Protein Structure and Motifs: Design of a Prototype System. 420-435 - Pasquale Flauto, Salvatore Musella:
Quality Control Within an Expert System Prototype Development. 435-442 - C. Caporaso, G. De Rosa, G. Fortunato, F. A. Marra, A. Pierri:
CASE Approach in Telecom Software Development. 443-454
Languages For SEKE
- Pasquale Armenise, Sergio Bandinelli, Carlo Ghezzi, Angelo Morzenti:
Software Processes Representation Languages: Survey and Assessment. 455-462 - Tak-Wai Chan, Wei-Ren Hwang:
Towards Integrating Logic, Object, Frame, and Production. 463-469 - Andrea F. Abate, C. D'apolito, Giancarlo Nota, Giuliano Pacini:
Querying and Analysis of Software Specifications. 470-478 - Daniel E. Cooke, Aida Gutierrez:
An Introduction to BagL. 479-486 - Alfs T. Berztiss:
Operational Construction of Integrity Constraints. 487-494 - Koji Takeda, David N. Chin, Isao Miyamoto:
MERA: Meta Language for Software Engineering. 495-502 - Masakazu Sato, Masaaki Hashimoto:
A Constraint Satisfaction System on the Entity and Relationship Model. 503-510 - Wei Sun, Sha Guo, Farah Arafi, Shengru Tu:
Supporting Inheritance in Relational Database Systems. 511-518 - Giorgio Bruno, Gianpaolo Macario, Alvise Grammatica:
A Software Engineering Environment for Modeling and Developing Knowledge-Intensive Systems. 519-533 - Andrea Sohn, Jean-Luc Gaudiot, Michel Guyot:
Parallelism Profiling of an Ops5 Production System Interpreter. 534-543 - Naoufel Kraïem, Joël Brunet:
Mapping of Conceptual Specifications into Object-Oriented Programs. 624-639
CASE
- Patricia A. Lynch, Thomas A. Cooper:
The SEAR Tool Suite: CASE for Expert System Development in OPSS. 545-550 - Johann Wagner:
The Renaissance of CASE Through Computer Aided Reverse Engineering (CARE). 551-559 - Timothy Arndt, Angela Guercio:
Decomposition of Data Flow Diagrams. 560-566 - K. P. Ta, T. C. Tan:
Layout Algorithms for DFD Processors. 567-573
Software Process Management
- Letizia Jaccheri, Jens-Otto Larsen, Reidar Conradi:
Software Process Modeling and Evolution in EPOS. 574-581 - Atsuo Hazeyama, Seiichi Komiya:
A Process Model for Software Process Management. 582-589 - Filippo Lanubile, Giuseppe Visaggio:
Maintainability via Structure Models and Software Metrics. 590-599 - Matthias Rauterberg:
An Iterative-Cyclic Software Process Model. 600-607 - Jochen Ludewig, Thomas Bassler, Marcus Deininger, Kurt Schneider, Jürgen Schwille:
SESAM - Simulating Software Projects. 608-615 - Wen-Ran Zhang, Wenhua Wang, Angela Guercio:
An Open System Protocol for Agent-Oriented Programming. 616-623
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 2026-01-29 23:11 CET 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:
