Conferences in DBLP
Yamine Aït Ameur Formal Program Developments Directed by Operational Properties Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] Shiwei Wang , Ugo O. Gagliardi An Optomized Concurrency Control Algorithm for Transaction Brocessing. [Citation Graph (0, 0)][DBLP ] Conf ] Y. Sato , Y. Morimoto , Tadao Ichikawa Program Refinement Using Generic Object. [Citation Graph (0, 0)][DBLP ] Conf ] Michael St. Jacques , Delano Stevens , J. Getchius , L. Lau A Knowledge-Based Method for Engineering Navigational Capability into User Interface Software. [Citation Graph (0, 0)][DBLP ] Conf ] Gwo-Jen Hwang Knowledge Acquisition and Validation for Implicit Expertise. [Citation Graph (0, 0)][DBLP ] Conf ] Ralph D. Semmel An Integrated System for Query Formulation and Database Design. [Citation Graph (0, 0)][DBLP ] Conf ] Enrico Maim Recognizing Objects from Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Zeger Karssen , Catherine Toussaint A Kemel Architecture for a Computer Aided Knowledge Engineering Workbench. [Citation Graph (0, 0)][DBLP ] Conf ] K. Kim , Lawrence J. Henschen Network-Based Simple Recursive Answer Evaluation for Deductive Databases in Parallel Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Mehdi T. Harandi , Hing-Yan Lee A Support Envimnment for Knowledge-Based Software Design. [Citation Graph (0, 0)][DBLP ] Conf ] Fabio N. Akhras , S. S. S. Melnikoff Towards Dynamic Generation of Knowledge-Based Environments for Software Process Assistance. [Citation Graph (0, 0)][DBLP ] Conf ] Grigoris Antoniou Modularity for Logical Knowledge Bases. [Citation Graph (0, 0)][DBLP ] Conf ] Ziqiang Chen Uncertain Temporal Knowledge Management. [Citation Graph (0, 0)][DBLP ] Conf ] Sanja Vranes , Mladen Stanojevic Multiparadigm Blackboard Framework. [Citation Graph (0, 0)][DBLP ] Conf ] Jinpeng Huai A Knowledge Base Management System on Relation Model and Term Rewriting. [Citation Graph (0, 0)][DBLP ] Conf ] Jonghoon Chun , Lawrence J. Henschen Compiling Rules and Queries in Knowledge Base Systems: A Substitution-Based Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Harald Schaschinger Expert-Supported Object-Oriented Analysis in Knowledge Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] P. Doyle , R. Verbruggen Applying Metrics to Rule-Based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Robert G. Reynolds , Jonathan I. Maletic , Elena Zannoni Extracting Procedural Knowledge from Software Systems Using Inductive Leaning in the PM system. [Citation Graph (0, 0)][DBLP ] Conf ] Aniello Cimitile Towards Reuse Reengineering of Old Software. [Citation Graph (0, 0)][DBLP ] Conf ] B. Macchini Reusing Software with ESTRO (Evolving Software Repository). [Citation Graph (0, 0)][DBLP ] Conf ] Lawrence Miller , Alex Quilici A Knowledge-Based Approach to Encouraging Reuse of Simulation and Modeling Programs. [Citation Graph (0, 0)][DBLP ] Conf ] David Eichmann Supporting Multiple Domains in a Single Reuse Repository. [Citation Graph (0, 0)][DBLP ] Conf ] H. Li , Jan van Katwijk , A. M. Levy The Reuse of Software Design and Software Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Hai Huang , Kazuo Sugihara , Isao Miyamoto A Rule-Based Tool for Reverse Engineering from Source Code to Graphical Models. [Citation Graph (0, 0)][DBLP ] Conf ] Lars Bendix Automatic Configuration Management in a General Object-Based Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Domenico Aquilino , Patrizia Asirelli , Paola Inverardi Prototyping in the GEDBLOG System. [Citation Graph (0, 0)][DBLP ] Conf ] Bruce I. Blum TEDIUM's Window into Design. [Citation Graph (0, 0)][DBLP ] Conf ] I. Watson , M. Norman ProTest: A Knowledge Analysis Tool for the Development of Expert Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Andrea De Lucia , A. Imperatore , Margherita Napoli , Genny Tortora , Maurizio Tucci The Software Development Workbench WSDW. [Citation Graph (0, 0)][DBLP ] Conf ] Shengru Tu , Wei Sun Linear Programming Supporting Ada-Tasking Static Analysis: A Petri Net Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Jin-Kao Hao , F. Trousset , Jean Jacques Prototyping an Inconsistency Checking Tool for Software Process Models. [Citation Graph (0, 0)][DBLP ] Conf ] Frederick Hayes-Roth , Lee D. Erman , A. Terry , Barbara Hayes-Roth Distributed Intelligent Control and Management: Concepts, Methods and Tools for Developing DICAM Applications. [Citation Graph (0, 0)][DBLP ] Conf ] K. Sugihara , K. Yamamoto , I. Miyamoto Automatic Layout of Diagrams for Software Specification. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew M. Olson An Object-Oriented Analysis Model of an Iconic Interface to Macsyma. [Citation Graph (0, 0)][DBLP ] Conf ] V. V. Sotiropoulou , Theodore S. Papatheodorou A Case Study of Knowledge Engineering in the Application Area of Elliptic Partial Differential Equations (PDE's). [Citation Graph (0, 0)][DBLP ] Conf ] Anna Hac , Raghavendra Rao Loka A Distributed Load Building Algorithm for Parallel Compilation of Files in a Software Application. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Reif Correctness of Full First-Order Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Xiaofeng Li , O. Shigo A Simulation-Based SDL Support System. [Citation Graph (0, 0)][DBLP ] Conf ] Teruhiro Shimura , Jorge Lobo , Tadao Murata A Petri Net Semantics for Logic Programs with Negation. [Citation Graph (0, 0)][DBLP ] Conf ] Jung-Hong Kao , Lawrence J. Henschen A Graph Proof Procedure for Real Time Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Arthur H. M. ter Hofstede , T. F. Verhoef , E. R. Nieuwland , G. M. Wijers Integrated Specification of Method and Graphic Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] Francesco Parisi-Presicce , Alfonso Pierantonio System Design as Derivation via Rewriting. [Citation Graph (0, 0)][DBLP ] Conf ] Giovanna Avellis , L. Borzacchini A Blackboard Model to Design Integrated Intelligent Software Maintenance Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Bryan S. Todd , Richard Stamper Formal Specification of a Rule-Based Expert System. [Citation Graph (0, 0)][DBLP ] Conf ] Richard Stamper , Bryan S. Todd , P. M. MacPherson A Software Engineering Approach to the Design of a Medical Expert System. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Weiss , Franz Stetter A Hierarchical Blackboard Architecture for Distributed AI Systems. [Citation Graph (0, 0)][DBLP ] Conf ] I. Watson , P. Brandon , Andrew Basden The Development of a Knowledge-Based System for Predicting Strategic Building Maintenance. [Citation Graph (0, 0)][DBLP ] Conf ] Francisco Alcaraz , Marlon Núñez , Alberto Hernández , José L. Blazquez Two Real-Time Expert Systems for Monitoring and Maintenance of Digital Exchanges. [Citation Graph (0, 0)][DBLP ] Conf ] Ilkka Tervonen Quality-Driven Validation: A Link Between Four Research Traditions. [Citation Graph (0, 0)][DBLP ] Conf ] Chi-Ming Chung , Ming-Chi Lee Object-Oriented Programming Testing Methodology. [Citation Graph (0, 0)][DBLP ] Conf ] Yi Deng , Shi-Kuo Chang Unifying Multi-Paradigms in Software System Design. [Citation Graph (0, 0)][DBLP ] Conf ] Vincenzo Loia , Giuseppe Cattaneo , Michel Quaggetto Incremental, High Level Implementation of Prolog in an Open System Framework. [Citation Graph (0, 0)][DBLP ] Conf ] Emilio Bertolotti Opportunistic Production Planning Through Interactive Problem Solving. [Citation Graph (0, 0)][DBLP ] Conf ] Yu Chung Wong Using Version Spaces to Support Incremental Searches in a Software Library. [Citation Graph (0, 0)][DBLP ] Conf ] Shankar Subramaniam , David K. Tcheng , K. Hu , Harish Ragavan , Larry A. Rendell Knowledge Engineering for Protein Structure and Motifs: Design of a Prototype System. [Citation Graph (0, 0)][DBLP ] Conf ] P. Flauto , S. Musella Quality Control Within an Expert System Prototype Development. [Citation Graph (0, 0)][DBLP ] Conf ] C. Caporaso , G. De Rosa , G. Fortunato , F. A. Marra , A. Pierri CASE Approach in Telecom Software Development. [Citation Graph (0, 0)][DBLP ] Conf ] Pasquale Armenise , Sergio Bandinelli , Carlo Ghezzi , Angelo Morzenti Software Processes Representation Languages: Survey and Assessment. [Citation Graph (0, 0)][DBLP ] Conf ] Tak-Wai Chan , Wei-Ren Hwang Towards Integrating Logic, Object, Frame, and Production. [Citation Graph (0, 0)][DBLP ] Conf ] Andrea F. Abate , C. D'apolito , Giancarlo Nota , Giuliano Pacini Querying and Analysis of Software Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Denise E. Cooke , A. Gutierrez An Introduction to BagL. [Citation Graph (0, 0)][DBLP ] Conf ] Alfs T. Berztiss Operational Construction of Integrity Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] K. Takeda , David N. Chin , I. Miyamoto MERA: Meta Language for Software Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] M. Sato , M. Hashimoto A Constraint Satisfaction System on the Entity and Relationship Model. [Citation Graph (0, 0)][DBLP ] Conf ] Wei Sun , Sha Guo , Farah Arafi , Shengru Tu Supporting Inheritance in Relational Database Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Giorgio Bruno , Gianpaolo Macario , Alvise Grammatica A Software Engineering Environment for Modeling and Developing Knowledge-Intensive Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Andrea Sohn , Jean-Luc Gaudiot , Michel Guyot Parallelism Profiling of an Ops5 Production System Interpreter. [Citation Graph (0, 0)][DBLP ] Conf ] Patricia A. Lynch , Thomas A. Cooper The SEAR Tool Suite: CASE for Expert System Development in OPSS. [Citation Graph (0, 0)][DBLP ] Conf ] Johann Wagner The Renaissance of CASE Through Computer Aided Reverse Engineering (CARE). [Citation Graph (0, 0)][DBLP ] Conf ] Timothy Arndt , Angela Guercio Decomposition of Data Flow Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] K. P. Ta , T. C. Tan Layout Algorithms for DFD Processors. [Citation Graph (0, 0)][DBLP ] Conf ] Maria Letizia Jaccheri , Jens-Otto Larsen , Reidar Conradi Software Process Modeling and Evolution in EPOS. [Citation Graph (0, 0)][DBLP ] Conf ] Atsuo Hazeyama , Seiichi Komiya A Process Model for Software Process Management. [Citation Graph (0, 0)][DBLP ] Conf ] Filippo Lanubile , Giuseppe Visaggio Maintainability via Structure Models and Software Metrics. [Citation Graph (0, 0)][DBLP ] Conf ] Matthias Rauterberg An Iterative-Cyclic Software Process Model. [Citation Graph (0, 0)][DBLP ] Conf ] Jochen Ludewig , Thomas Bassler , Marcus Deininger , Kurt Schneider , Jürgen Schwille SESAM - Simulating Software Projects. [Citation Graph (0, 0)][DBLP ] Conf ] Wen-Ran Zhang , Wenhua Wang Wang , Angela Guercio An Open System Protocol for Agent-Oriented Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Naoufel Kraïem , Joël Brunet Mapping of Conceptual Specifications into Object-Oriented Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Junbo Liu , Owen Traynor , Bernd Krieg-Brückner Knowledge-Based Transfonnational Programming. [Citation Graph (0, 0)][DBLP ] Conf ] 