Conferences in DBLP
O. A. Al-Saadoon , W. T. Tsai , H. El-bedour AURA-CFG/E: An Object-Oriented approach for Acquisition and Decomposition of DFDs from End users. [Citation Graph (0, 0)][DBLP ] Conf ] Neil A. M. Maiden , Alistair G. Sutcliffe , Petia Assenova , P. Johanneson , Matthias Jarke , Hans W. Nissen , Panos Constantopoulos , George Spanoudakis Computational Mechanisms for Distributed Requirements Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Sooyong Park , Richard P. Evans , James D. Palmer Text-Based Requirements Modeling Support System. [Citation Graph (0, 0)][DBLP ] Conf ] Paolo Ciaccia , Paolo Ciancarini , Wilma Penzo From Formal Requirements to Formal Design. [Citation Graph (0, 0)][DBLP ] Conf ] Christine Ferraris Multi-Agent Models as Methodological Guide for Knowledge Acquisition. [Citation Graph (0, 0)][DBLP ] Conf ] Kurt Schneider Dynamic Pattern Knowledge in Software Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] James R. Gattiker Representing Structural and Functional Knowledge with Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Yinqing Liang , Gheorghe Tecuci Apprenticeship Learning of Domain Models. [Citation Graph (0, 0)][DBLP ] Conf ] Joseph E. Urban , Daniel E. Cooke , Doris L. Carver , Roland T. Mittermeir The Future of Software Engineering Education. [Citation Graph (0, 0)][DBLP ] Conf ] Mourad Chabane Oussalah , V. Puig Combining Constraints and Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Hong Jiang , Xavier Castellani Class Transmutation and other Evolution Concepts. [Citation Graph (0, 0)][DBLP ] Conf ] Dale Stanbrough An object view = methods + events. [Citation Graph (0, 0)][DBLP ] Conf ] Claudia Pons Formal Semantics for Object Oriented Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Rajiv Khosla , Tharam S. Dillon Integration of Task Level Architecture with O-O Technology. [Citation Graph (0, 0)][DBLP ] Conf ] Sylviane R. Schwer , Naoufel Kraïem , Joël Brunet The Temporal Dimension of Conceptual Dimension Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Trent Jaeger , Atul Prakash Representation and Adaptation of Organization Coordination Knowledge for Autonomous Agent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Noureddine Kara Zaitri , Xavier Castellani TCO: a Tool to map Communication components to Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Sun-Young Oh , Chung Nam , Doo-Kwon Baik A Development Methodology for KB/DB Coupling based on the Object-Oriented EA Model. [Citation Graph (0, 0)][DBLP ] Conf ] V. Lalioti , Babis Theodoulidis Visual Scenarios for Validation of Requirements Specification. [Citation Graph (0, 0)][DBLP ] Conf ] Fuyau Lin Formal Verification of the File Transfer Protocol. [Citation Graph (0, 0)][DBLP ] Conf ] Shih-Sung Liao , Kai H. Chang , Stephan Seidman An Integrated Testing Framework for Object-Oriented Programs-Work in Progress. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Westfechtel A Graph-Based Model for Dynamic Process Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Panos A. Patsouris A Unified Framework for Knowledge Representation: A Formal Object-Oriented Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Norihiko Kugumiya , Shuji Soga , Takenao Ohkawa , Norihisa Komoda Evaluation of Case-Oriented Planning Support System -SMAP- for Business System. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Kazimierczak Knowledge Representation on the Level of Natural Language for Purposes of Automatic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] John K. Debenham A Unified Approach to Requirements Specification and System Analysis in the Design of Knowledge-Based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] M. Ayache , André Flory A Generation Process of Object-Oriented Databases From E/R Schemas. [Citation Graph (0, 0)][DBLP ] Conf ] Maria Ligia B. Perkusich , Angelo Perkusich , Ulrich Schiel Integrated Design of Object-Oriented Real-Time Control and Database Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Takao Miur Optimizing Complex Objects Queries in A Visual Data Manipulation Language. [Citation Graph (0, 0)][DBLP ] Conf ] Vicki Constantinidis , Arkady B. Zaslavsky Engineering an Ingres Active Database using Conceptual Design Knowledge Elements. [Citation Graph (0, 0)][DBLP ] Conf ] Janis Barzdins , Guntis Barzdins , Audris Kalnins Rule-Based Approach to Business Modeling. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel E. Cooke Preliminary Thoughts Concerning The Interphase Activity of Requirement Migration. [Citation Graph (0, 0)][DBLP ] Conf ] Xudong He PZ Nets- A Formal Method Integrating Petri Nets with Z. [Citation Graph (0, 0)][DBLP ] Conf ] Yamine Aït Ameur , Frederic Besnard , Patrick Girard , Guy Pierra , Jean-Claude Potier Formal Specification and Metaprogramming in the EXPRESS Language. [Citation Graph (0, 0)][DBLP ] Conf ] Behrouz H. Far , Hui Chen , Zenya Koono Software Creation: Using Specification and Description Language (SDL) for Capturing and Reusing Human Experts' Knowledge in Software Design. [Citation Graph (0, 0)][DBLP ] Conf ] Ashish Jain , Leon Sterling , Marc Kirschenbaum Towards Reusability Based Upon Similar Computational Behavior. [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen Börstler Feature-Oriented Classification for Software Reuse. [Citation Graph (0, 0)][DBLP ] Conf ] Wei Dai A Software Engineering Approach to Buildling Reusable Expert System. [Citation Graph (0, 0)][DBLP ] Conf ] Muthu Ramachandran , Philips Research Labs , Ian Sommerville A Framework for Analysing Reuse Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] Gennaro Costagliola , Andrea De Lucia , Sergio Orefice , Genoveffa Tortora Efficient Parsing of Data-Flow Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Cinzia Bernardeschi , Alessandro Fantechi , Fabio Paternò Application of Correctness Preserving Transformations for Deriving Architectural Descriptions of Interactive Systems from User Interface Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] K. Brownsey , Mary Zajicek From Specification to Building a GUI using Functional Programming. [Citation Graph (0, 0)][DBLP ] Conf ] H. Lewis Chau , K. F. Chan Visual Language Syntax and Semantics for Complex Reactive System. [Citation Graph (0, 0)][DBLP ] Conf ] Scott Wolff , Charles Bloom , Anoosh Shahidi Quasi-Experiment as a Tool for Knowledge Engineering: An Example from Intelligent Tutoring. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Tchounikine , Christophe Choquet Fault diagnosis expert system for robots: a knowledge level prototyping experience. [Citation Graph (0, 0)][DBLP ] Conf ] M. Nour , K. Ouriachi An Approach Based on 'Frames' for Knowledge Representation and Scenes Interpretation in a Robot-Vision System. [Citation Graph (0, 0)][DBLP ] Conf ] Angelo Perkusich , Jorge C. A. de Figueiredo On the Object Oriented Design of a Track-Vehicle System. [Citation Graph (0, 0)][DBLP ] Conf ] S. K. Chang Panel: Visualization of Software Systems in the Year 2000. [Citation Graph (0, 0)][DBLP ] Conf ] Gruia-Catalin Roman Panelists: Software Visualization through Active Presentation. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen G. Eick Software Visualization For Large Systems. [Citation Graph (0, 0)][DBLP ] Conf ] John T. Stasko Software Visualization in the Year 2000. [Citation Graph (0, 0)][DBLP ] Conf ] Jun'ichi Miyao , S. K. Chang Toward Uniform Presentation of Software Dynamics. [Citation Graph (0, 0)][DBLP ] Conf ] Arthur Lin , Fuyau Lin Formal Verification of a Message-Passing Protocol with Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Byung-do Yoon , Oscar N. Garcia A Cognitive Framework of Debugging. [Citation Graph (0, 0)][DBLP ] Conf ] Filippo Lanubile , A. Lonigro , Giuseppe Vissagio Comparing models for identifying fault-prone software components. [Citation Graph (0, 0)][DBLP ] Conf ] Chi-Ming Chung , Chun-Chia Wang , Timothy K. Shih A Hierarchy Testing of Object-Oriented Program Structure. [Citation Graph (0, 0)][DBLP ] Conf ] Bradley M. Kuhn , Dennis J. Smith , Keith Brian Gallagher The Decomposition Slice Display System. [Citation Graph (0, 0)][DBLP ] Conf ] Harald Gall , René Klösch , Roland Mittermeir Pattern-Driven Reverse Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Francoise Balmas Classifying Programs: a Key For program Understanding. [Citation Graph (0, 0)][DBLP ] Conf ] John van den Elst , Monique Thonnat , Frank van Harmelen Modelling software components for reuse. [Citation Graph (0, 0)][DBLP ] Conf ] Suk-Chung Yoon , Cyril S. Ku Semantic Query Processing in Deductive Object-Oriented Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Wen-Wei Pan , Wei-Pang Yang EQL: A Learn-Easy and Use-Easy Query Language for Object-Oriented Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Elizabeth Chang , Tharam S. Dillon , A. Ling Knowledge Based System for Transforming an Object Oriented Conceptual Model into a Relational Logical Model. [Citation Graph (0, 0)][DBLP ] Conf ] Ann Q. Gates , Daniel E. Cooke The Use of Integrity Constraints in Software Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] David Eichmann , Mari Georges Workshop on Domain Engineering as a Research Agenda for Software Engineering and Knowledge Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Chen Chen , James M. Purtilo Event Adaption for Integrating Distributed Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Shengkai Lu , Yi Deng An Environment for Specification, Simulation and Analysis of Distributed Object-Oriented Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jorge C. A. de Figueiredo , Angelo Perkusich , Brazif S. K. Chang Antecipated Faults in Real-Time Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir P. Sliva A G-Net Module Synthesis Method for Software Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Robert G. Reynolds , Victor R. Basili , Vaclav Rajlich , Nickoloas Bourbakis Evolution Based Approaches to Software Engineering: Culturing Software. [Citation Graph (0, 0)][DBLP ] Conf ] Justinian P. Rosca Towards a New Generation of Program Synthesis Approaches. [Citation Graph (0, 0)][DBLP ] Conf ] A. Inkeri Verkamo , Greger Lindén Problems in Interfacing Tools of Different Development Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Farah Arefi , Masoud Milani , A. Winklaar The Graph Editor of EdGen, A Tool to Aid the Automated Construction of Customized Graph Editors. [Citation Graph (0, 0)][DBLP ] Conf ] Anne Lapujade Contraints, Rules and Modelisation in a Meta-CASE Tool. [Citation Graph (0, 0)][DBLP ] Conf ] Wilhelm Schäfer , Stefan Wolf 0002 Cooperation Patterns for process-centred Software Development Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Steven A. Jent DODAN/2: An Executable Specification Language for OS/2. [Citation Graph (0, 0)][DBLP ] Conf ] Won S. Lee Parallel Execution of Logic Programs with Breadth-first Search. [Citation Graph (0, 0)][DBLP ] Conf ] Gerardo Canfora , Aniello Cimitile , Maria Tortorella Prolog for Software Maintenance. [Citation Graph (0, 0)][DBLP ] Conf ] Gerald Junkermann A Dedicated Process Design Language based on EER-models, Statecharts and Tables. [Citation Graph (0, 0)][DBLP ] Conf ] Jason Tsong-Li Wang , Gung-Wei Chim , Chia-Yo Chang , George Jyh-Shian Chang , Karen Pysniak An Integrated Toolkit for Pattern Matching and Pattern Discovery in Scientific, Program, and Document databases. [Citation Graph (0, 0)][DBLP ] Conf ] Intelligent Workbench - Knowledge Base Systems Inc. [Citation Graph (0, 0)][DBLP ] Conf ] Valdis Berzins , Luqi , M. Shing Computer Aided Prototyping System. [Citation Graph (0, 0)][DBLP ] Conf ] Mikhail Auguston Programming language RIGAL as a compiler writing tool. [Citation Graph (0, 0)][DBLP ] Conf ] 