default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th SEKE 1995: Rockville, Maryland, USA
- SEKE'95, The 7th International Conference on Software Engineering and Knowledge Engineering, June 22-24, 1995, Rockville, Maryland, USA, Proceedings. Knowledge Systems Institute 1995
Session 2A: Requirements Engineering
- 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. SEKE 1995: 1-7 - 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. SEKE 1995: 8-15 - Sooyong Park, Richard P. Evans, James D. Palmer:
Text-Based Requirements Modeling Support System. SEKE 1995: 16-22 - Paolo Ciaccia, Paolo Ciancarini, Wilma Penzo:
From Formal Requirements to Formal Design. SEKE 1995: 23-30
Session 2B: Knowledge Acquisition and Representation
- Christine Ferraris:
Multi-Agent Models as Methodological Guide for Knowledge Acquisition. SEKE 1995: 31-38 - Kurt Schneider:
Dynamic Pattern Knowledge in Software Engineering. SEKE 1995: 39-46 - James R. Gattiker:
Representing Structural and Functional Knowledge with Stochastic Petri Nets. SEKE 1995: 47-53 - Yinqing Liang, Gheorghe Tecuci:
Apprenticeship Learning of Domain Models. SEKE 1995: 54-62
Session 3A: Panel
- Joseph E. Urban, Daniel E. Cooke, Doris L. Carver, Roland T. Mittermeir:
The Future of Software Engineering Education. SEKE 1995: 63
Session 3B: Object Technology
- Mourad Chabane Oussalah, Veronique Puig:
Combining Constraints and Objects. SEKE 1995: 64-71 - Hong Jiang, Xavier Castellani:
Class Transmutation and other Evolution Concepts. SEKE 1995: 72-79 - Dale Stanbrough:
An object view = methods + events. SEKE 1995: 80-86 - Claudia Pons:
Formal Semantics for Object Oriented Systems. SEKE 1995: 87-94
Session 4: Advances in SE & KE
- Rajiv Khosla, Tharam S. Dillon:
Integration of Task Level Architecture with O-O Technology. SEKE 1995: 95-97 - Sylviane R. Schwer, Naoufel Kraïem, Joël Brunet:
The Temporal Dimension of Conceptual Dimension Objects. SEKE 1995: 98-102 - Trent Jaeger, Atul Prakash:
Representation and Adaptation of Organization Coordination Knowledge for Autonomous Agent Systems. SEKE 1995: 103-105 - Noureddine Kara Zaitri, Xavier Castellani:
TCO: a Tool to map Communication components to Objects. SEKE 1995: 106-108 - Sun-Young Oh, Chung Nam, Doo-Kwon Baik:
A Development Methodology for KB/DB Coupling based on the Object-Oriented EA Model. SEKE 1995: 109-113
Session 4B: Advances in Software Engineering
- V. Lalioti, Babis Theodoulidis:
Visual Scenarios for Validation of Requirements Specification. SEKE 1995: 114-116 - Fuyau Lin:
Formal Verification of the File Transfer Protocol. SEKE 1995: 117-122 - Shih-Sung Liao, Kai H. Chang, Stephen B. Seidman:
An Integrated Testing Framework for Object-Oriented Programs-Work in Progress. SEKE 1995: 123-125 - Bernhard Westfechtel:
A Graph-Based Model for Dynamic Process Nets. SEKE 1995: 126-130
Session 4C: Advances in Knowledge Systems
- Panos A. Patsouris:
A Unified Framework for Knowledge Representation: A Formal Object-Oriented Approach. SEKE 1995: 131-135 - Norihiko Kugumiya, Shuji Soga, Takenao Ohkawa, Norihisa Komoda:
Evaluation of Case-Oriented Planning Support System -SMAP- for Business System. SEKE 1995: 136-139 - Jan Kazimierczak:
Knowledge Representation on the Level of Natural Language for Purposes of Automatic Programming. SEKE 1995: 140-143 - John K. Debenham:
A Unified Approach to Requirements Specification and System Analysis in the Design of Knowledge-Based Systems. SEKE 1995: 144
Session 4D: Advances in Information Systems
- M. Ayache, André Flory:
A Generation Process of Object-Oriented Databases From E/R Schemas. SEKE 1995: 147-149 - Maria Ligia B. Perkusich, Angelo Perkusich, Ulrich Schiel:
Integrated Design of Object-Oriented Real-Time Control and Database Systems. SEKE 1995: 150-152 - Takao Miur:
Optimizing Complex Objects Queries in A Visual Data Manipulation Language. SEKE 1995: 153-157 - Vicki Constantinidis, Arkady B. Zaslavsky:
Engineering an Ingres Active Database using Conceptual Design Knowledge Elements. SEKE 1995: 158-160 - Janis Barzdins, Guntis Barzdins, Audris Kalnins:
Rule-Based Approach to Business Modeling. SEKE 1995: 161-165
Session 5A: Specification Languages
- Daniel E. Cooke:
Preliminary Thoughts Concerning The Interphase Activity of Requirement Migration. SEKE 1995: 166-172 - Xudong He:
PZ Nets- A Formal Method Integrating Petri Nets with Z. SEKE 1995: 173-180 - Yamine Aït Ameur, Frederic Besnard, Patrick Girard, Guy Pierra, Jean-Claude Potier:
Formal Specification and Metaprogramming in the EXPRESS Language. SEKE 1995: 181-188 - 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. SEKE 1995: 189-196
Session 5B: Reuse and Reusability
- Ashish Jain, Leon Sterling, Marc Kirschenbaum:
Towards Reusability Based Upon Similar Computational Behavior. SEKE 1995: 197-203 - Jürgen Börstler:
Feature-Oriented Classification for Software Reuse. SEKE 1995: 204-211 - Wei Dai:
A Software Engineering Approach to Buildling Reusable Expert System. SEKE 1995: 212-219 - Muthu Ramachandran, Ian Sommerville:
A Framework for Analysing Reuse Knowledge. SEKE 1995: 220-225
Session 6A: Visual Technology and User Interface
- Gennaro Costagliola, Andrea De Lucia, Sergio Orefice, Genoveffa Tortora:
Efficient Parsing of Data-Flow Graphs. SEKE 1995: 226-233 - Cinzia Bernardeschi, Alessandro Fantechi, Fabio Paternò:
Application of Correctness Preserving Transformations for Deriving Architectural Descriptions of Interactive Systems from User Interface Specifications. SEKE 1995: 234-243 - Ken Brownsey, Mary Zajicek:
From Specification to Building a GUI using Functional Programming. SEKE 1995: 244-251 - H. Lewis Chau, K. F. Chan:
Visual Language Syntax and Semantics for Complex Reactive System. SEKE 1995: 252-259
Session 6B: Knowledge Systems
- Scott Wolff, Charles Bloom, Anoosh Shahidi:
Quasi-Experiment as a Tool for Knowledge Engineering: An Example from Intelligent Tutoring. SEKE 1995: 260-267 - Pierre Tchounikine, Christophe Choquet:
Fault diagnosis expert system for robots: a knowledge level prototyping experience. SEKE 1995: 268-274 - M. Nour, K. Ouriachi:
An Approach Based on 'Frames' for Knowledge Representation and Scenes Interpretation in a Robot-Vision System. SEKE 1995: 275-282 - Angelo Perkusich, Jorge C. A. de Figueiredo:
On the Object Oriented Design of a Track-Vehicle System. SEKE 1995: 283-290
Session 7: Plenary Session
- S. K. Chang:
Panel: Visualization of Software Systems in the Year 2000. SEKE 1995: 291 - Gruia-Catalin Roman:
Panelists: Software Visualization through Active Presentation. SEKE 1995: 292 - Stephen G. Eick:
Software Visualization For Large Systems. SEKE 1995: 293 - John T. Stasko:
Software Visualization in the Year 2000. SEKE 1995: 294- - Jun'ichi Miyao, S. K. Chang:
Toward Uniform Presentation of Software Dynamics. SEKE 1995: 295
Session SA: Verification and Validation
- Arthur Lin, Fuyau Lin:
Formal Verification of a Message-Passing Protocol with Model Checking. SEKE 1995: 296-302 - Byung-do Yoon, Oscar N. Garcia:
A Cognitive Framework of Debugging. SEKE 1995: 304-311 - Filippo Lanubile, A. Lonigro, Giuseppe Vissagio:
Comparing models for identifying fault-prone software components. SEKE 1995: 312-319 - Chi-Ming Chung, Chun-Chia Wang, Timothy K. Shih:
A Hierarchy Testing of Object-Oriented Program Structure. SEKE 1995: 320-327 - Bradley M. Kuhn, Dennis J. Smith, Keith Brian Gallagher:
The Decomposition Slice Display System. SEKE 1995: 328-333 - Harald C. Gall, René Klösch, Roland T. Mittermeir:
Pattern-Driven Reverse Engineering. SEKE 1995: 334-341 - Francoise Balmas:
Classifying Programs: a Key For program Understanding. SEKE 1995: 342-349 - John van den Elst, Monique Thonnat, Frank van Harmelen:
Modelling software components for reuse. SEKE 1995: 350-357
Session 9A: Database Techniques
- Suk-Chung Yoon, Cyril S. Ku:
Semantic Query Processing in Deductive Object-Oriented Databases. SEKE 1995: 358-365 - Wen-Wei Pan, Wei-Pang Yang:
EQL: A Learn-Easy and Use-Easy Query Language for Object-Oriented Databases. SEKE 1995: 366-373 - Elizabeth Chang, Tharam S. Dillon, A. Ling:
Knowledge Based System for Transforming an Object Oriented Conceptual Model into a Relational Logical Model. SEKE 1995: 374-382 - Ann Q. Gates, Daniel E. Cooke:
The Use of Integrity Constraints in Software Engineering. SEKE 1995: 383-390
Session 9B: Workshop
- David Eichmann, Mari Georges:
Workshop on Domain Engineering as a Research Agenda for Software Engineering and Knowledge Engineering. SEKE 1995: 391
Session 10A: Distributed Systems
- Chen Chen, James M. Purtilo:
Event Adaption for Integrating Distributed Applications. SEKE 1995: 392-401 - Shengkai Lu, Yi Deng:
An Environment for Specification, Simulation and Analysis of Distributed Object-Oriented Systems. SEKE 1995: 402-410 - Jorge C. A. de Figueiredo, Angelo Perkusich, Brazif S. K. Chang:
Antecipated Faults in Real-Time Distributed Systems. SEKE 1995: 411-418 - Vladimir P. Sliva:
A G-Net Module Synthesis Method for Software Applications. SEKE 1995: 419-426
Session 10B: Workshop
- Robert G. Reynolds, Victor R. Basili, Václav Rajlich, Nikolaos G. Bourbakis:
Evolution Based Approaches to Software Engineering: Culturing Software. SEKE 1995: 427 - Justinian P. Rosca:
Towards a New Generation of Program Synthesis Approaches. SEKE 1995: 428
Session 11A: Tools and Environments
- A. Inkeri Verkamo, Greger Lindén:
Problems in Interfacing Tools of Different Development Environments. SEKE 1995: 429-437 - Farah Arefi, Masoud Milani, A. Winklaar:
The Graph Editor of EdGen, A Tool to Aid the Automated Construction of Customized Graph Editors. SEKE 1995: 438-445 - Anne Lapujade:
Contraints, Rules and Modelisation in a Meta-CASE Tool. SEKE 1995: 446-453 - Wilhelm Schäfer, Stefan Wolf:
Cooperation Patterns for process-centred Software Development Environments. SEKE 1995: 454-463
Session 11B: Chair's Session
- Steven A. Jent:
DODAN/2: An Executable Specification Language for OS/2. SEKE 1995: 464-469 - Won S. Lee:
Parallel Execution of Logic Programs with Breadth-first Search. SEKE 1995: 470-477 - Gerardo Canfora, Aniello Cimitile, Maria Tortorella:
Prolog for Software Maintenance. SEKE 1995: 478-486 - Gerald Junkermann:
A Dedicated Process Design Language based on EER-models, Statecharts and Tables. SEKE 1995: 487-496
Demonstration of CASE and Software Tools
- 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. SEKE 1995: 497 - Intelligent Workbench - Knowledge Base Systems Inc. SEKE 1995: 498
- Valdis Berzins, Luqi, Man-tak Shing:
Computer Aided Prototyping System. SEKE 1995: 499 - Mikhail Auguston:
Programming language RIGAL as a compiler writing tool. SEKE 1995: 500
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 2025-12-05 22:22 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:
