Abstract is missing.
- Formal Program Developments Directed by Operational Properties EvaluationYamine Aït Ameur. 1-8 [doi]
- An Optomized Concurrency Control Algorithm for Transaction BrocessingShiwei Wang, Ugo O. Gagliardi. 9-16 [doi]
- Program Refinement Using Generic ObjectY. Sato, Y. Morimoto, Tadao Ichikawa. 18-25 [doi]
- A Knowledge-Based Method for Engineering Navigational Capability into User Interface SoftwareMichael St. Jacques, Delano Stevens, J. Getchius, L. Lau. 26-31 [doi]
- Knowledge Acquisition and Validation for Implicit ExpertiseGwo-Jen Hwang. 32-39 [doi]
- An Integrated System for Query Formulation and Database DesignRalph D. Semmel. 40-46 [doi]
- Recognizing Objects from ConstraintsEnrico Maim. 47-54 [doi]
- A Kemel Architecture for a Computer Aided Knowledge Engineering WorkbenchZeger Karssen, Catherine Toussaint. 55-62 [doi]
- Network-Based Simple Recursive Answer Evaluation for Deductive Databases in Parallel EnvironmentK. Kim, Lawrence J. Henschen. 63-70 [doi]
- A Support Envimnment for Knowledge-Based Software DesignMehdi T. Harandi, Hing-Yan Lee. 71-79 [doi]
- Towards Dynamic Generation of Knowledge-Based Environments for Software Process AssistanceFabio N. Akhras, S. S. S. Melnikoff. 79-86 [doi]
- Modularity for Logical Knowledge BasesGrigoris Antoniou. 87-93 [doi]
- Uncertain Temporal Knowledge ManagementZiqiang Chen. 94-100 [doi]
- Multiparadigm Blackboard FrameworkSanja Vranes, Mladen Stanojevic. 101
- A Knowledge Base Management System on Relation Model and Term RewritingJinpeng Huai. 102-108 [doi]
- Compiling Rules and Queries in Knowledge Base Systems: A Substitution-Based ApproachJonghoon Chun, Lawrence J. Henschen. 109-115 [doi]
- Expert-Supported Object-Oriented Analysis in Knowledge EngineeringHarald Schaschinger. 116-122 [doi]
- Applying Metrics to Rule-Based SystemsP. Doyle, R. Verbruggen. 123-130 [doi]
- Extracting Procedural Knowledge from Software Systems Using Inductive Leaning in the PM systemRobert G. Reynolds, Jonathan I. Maletic, Elena Zannoni. 131-139 [doi]
- Towards Reuse Reengineering of Old SoftwareAniello Cimitile. 140-149 [doi]
- Reusing Software with ESTRO (Evolving Software Repository)B. Macchini. 150-157 [doi]
- A Knowledge-Based Approach to Encouraging Reuse of Simulation and Modeling ProgramsLawrence Miller, Alex Quilici. 158-163 [doi]
- Supporting Multiple Domains in a Single Reuse RepositoryDavid Eichmann. 164-169 [doi]
- The Reuse of Software Design and Software ArchitectureH. Li, Jan van Katwijk, A. M. Levy. 170-177 [doi]
- A Rule-Based Tool for Reverse Engineering from Source Code to Graphical ModelsHai Huang, Kazuo Sugihara, Isao Miyamoto. 178-185 [doi]
- Automatic Configuration Management in a General Object-Based EnvironmentLars Bendix. 186-193 [doi]
- Prototyping in the GEDBLOG SystemDomenico Aquilino, Patrizia Asirelli, Paola Inverardi. 194-199 [doi]
- TEDIUM s Window into DesignBruce I. Blum. 200-205 [doi]
- ProTest: A Knowledge Analysis Tool for the Development of Expert SystemsI. Watson, M. Norman. 206-212 [doi]
- The Software Development Workbench WSDWAndrea De Lucia, A. Imperatore, Margherita Napoli, Genny Tortora, Maurizio Tucci. 213-221 [doi]
- Linear Programming Supporting Ada-Tasking Static Analysis: A Petri Net ApproachShengru Tu, Wei Sun. 222-226 [doi]
- Prototyping an Inconsistency Checking Tool for Software Process ModelsJin-Kao Hao, F. Trousset, Jean Jacques. 227-234 [doi]
- Distributed Intelligent Control and Management: Concepts, Methods and Tools for Developing DICAM ApplicationsFrederick Hayes-Roth, Lee D. Erman, A. Terry, Barbara Hayes-Roth. 235-244 [doi]
- Automatic Layout of Diagrams for Software SpecificationK. Sugihara, K. Yamamoto, I. Miyamoto. 245-252 [doi]
- An Object-Oriented Analysis Model of an Iconic Interface to MacsymaAndrew M. Olson. 253-260 [doi]
- A Case Study of Knowledge Engineering in the Application Area of Elliptic Partial Differential Equations (PDE s)V. V. Sotiropoulou, Theodore S. Papatheodorou. 261-268 [doi]
- A Distributed Load Building Algorithm for Parallel Compilation of Files in a Software ApplicationAnna Hac, Raghavendra Rao Loka. 269-275 [doi]
- Correctness of Full First-Order SpecificationsWolfgang Reif. 276-283 [doi]
- A Simulation-Based SDL Support SystemXiaofeng Li, O. Shigo. 284-291 [doi]
- A Petri Net Semantics for Logic Programs with NegationTeruhiro Shimura, Jorge Lobo, Tadao Murata. 292-299 [doi]
- A Graph Proof Procedure for Real Time LogicJung-Hong Kao, Lawrence J. Henschen. 300-306 [doi]
- Integrated Specification of Method and Graphic KnowledgeArthur H. M. ter Hofstede, T. F. Verhoef, E. R. Nieuwland, G. M. Wijers. 307-316 [doi]
- System Design as Derivation via RewritingFrancesco Parisi-Presicce, Alfonso Pierantonio. 317-324 [doi]
- A Blackboard Model to Design Integrated Intelligent Software Maintenance EnvironmentGiovanna Avellis, L. Borzacchini. 325-332 [doi]
- Formal Specification of a Rule-Based Expert SystemBryan S. Todd, Richard Stamper. 333-340 [doi]
- A Software Engineering Approach to the Design of a Medical Expert SystemRichard Stamper, Bryan S. Todd, P. M. MacPherson. 341-348 [doi]
- A Hierarchical Blackboard Architecture for Distributed AI SystemsMichael Weiss, Franz Stetter. 349-355 [doi]
- The Development of a Knowledge-Based System for Predicting Strategic Building MaintenanceI. Watson, P. Brandon, Andrew Basden. 356-363 [doi]
- Two Real-Time Expert Systems for Monitoring and Maintenance of Digital ExchangesFrancisco Alcaraz, Marlon Núñez, Alberto Hernández, José L. Blazquez. 364-369 [doi]
- Quality-Driven Validation: A Link Between Four Research TraditionsIlkka Tervonen. 370-377 [doi]
- Object-Oriented Programming Testing MethodologyChi-Ming Chung, Ming-Chi Lee. 378-385 [doi]
- Unifying Multi-Paradigms in Software System DesignYi Deng, Shi-Kuo Chang. 386-393 [doi]
- Incremental, High Level Implementation of Prolog in an Open System FrameworkVincenzo Loia, Giuseppe Cattaneo, Michel Quaggetto. 394-403 [doi]
- Opportunistic Production Planning Through Interactive Problem SolvingEmilio Bertolotti. 404-411 [doi]
- Using Version Spaces to Support Incremental Searches in a Software LibraryYu Chung Wong. 412-419 [doi]
- Knowledge Engineering for Protein Structure and Motifs: Design of a Prototype SystemShankar Subramaniam, David K. Tcheng, K. Hu, Harish Ragavan, Larry A. Rendell. 420-435 [doi]
- Quality Control Within an Expert System Prototype DevelopmentP. Flauto, S. Musella. 435-442 [doi]
- CASE Approach in Telecom Software DevelopmentC. Caporaso, G. De Rosa, G. Fortunato, F. A. Marra, A. Pierri. 443-454 [doi]
- Software Processes Representation Languages: Survey and AssessmentPasquale Armenise, Sergio Bandinelli, Carlo Ghezzi, Angelo Morzenti. 455-462 [doi]
- Towards Integrating Logic, Object, Frame, and ProductionTak-Wai Chan, Wei-Ren Hwang. 463-469 [doi]
- Querying and Analysis of Software SpecificationsAndrea F. Abate, C. D apolito, Giancarlo Nota, Giuliano Pacini. 470-478 [doi]
- An Introduction to BagLDenise E. Cooke, A. Gutierrez. 479-486 [doi]
- Operational Construction of Integrity ConstraintsAlfs T. Berztiss. 487-494 [doi]
- MERA: Meta Language for Software EngineeringK. Takeda, David N. Chin, I. Miyamoto. 495-502 [doi]
- A Constraint Satisfaction System on the Entity and Relationship ModelM. Sato, M. Hashimoto. 503-510 [doi]
- Supporting Inheritance in Relational Database SystemsWei Sun, Sha Guo, Farah Arafi, Shengru Tu. 511-518 [doi]
- A Software Engineering Environment for Modeling and Developing Knowledge-Intensive SystemsGiorgio Bruno, Gianpaolo Macario, Alvise Grammatica. 519-533 [doi]
- Parallelism Profiling of an Ops5 Production System InterpreterAndrea Sohn, Jean-Luc Gaudiot, Michel Guyot. 534-543 [doi]
- The SEAR Tool Suite: CASE for Expert System Development in OPSSPatricia A. Lynch, Thomas A. Cooper. 545-550 [doi]
- The Renaissance of CASE Through Computer Aided Reverse Engineering (CARE)Johann Wagner. 551-559 [doi]
- Decomposition of Data Flow DiagramsTimothy Arndt, Angela Guercio. 560-566 [doi]
- Layout Algorithms for DFD ProcessorsK. P. Ta, T. C. Tan. 567-573 [doi]
- Software Process Modeling and Evolution in EPOSMaria Letizia Jaccheri, Jens-Otto Larsen, Reidar Conradi. 574-581 [doi]
- A Process Model for Software Process ManagementAtsuo Hazeyama, Seiichi Komiya. 582-589 [doi]
- Maintainability via Structure Models and Software MetricsFilippo Lanubile, Giuseppe Visaggio. 590-599 [doi]
- An Iterative-Cyclic Software Process ModelMatthias Rauterberg. 600-607 [doi]
- SESAM - Simulating Software ProjectsJochen Ludewig, Thomas Bassler, Marcus Deininger, Kurt Schneider, Jürgen Schwille. 608-615 [doi]
- An Open System Protocol for Agent-Oriented ProgrammingWen-Ran Zhang, Wenhua Wang Wang, Angela Guercio. 616-623 [doi]
- Mapping of Conceptual Specifications into Object-Oriented ProgramsNaoufel Kraïem, Joël Brunet. 624-639 [doi]
- Knowledge-Based Transfonnational ProgrammingJunbo Liu, Owen Traynor, Bernd Krieg-Brückner. 632-639 [doi]