7. 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.
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.
8-15
- Sooyong Park, Richard P. Evans, James D. Palmer:
Text-Based Requirements Modeling Support System.
16-22
- Paolo Ciaccia, Paolo Ciancarini, Wilma Penzo:
From Formal Requirements to Formal Design.
23-30
Session 2B:
Knowledge Acquisition and Representation
Session 3A:
Panel
Session 3B:
Object Technology
Session 4:
Advances in SE & KE
Session 4B:
Advances in Software Engineering
Session 4C:
Advances in Knowledge Systems
Session 4D:
Advances in Information Systems
Session 5A:
Specification Languages
Session 5B:
Reuse and Reusability
Session 6A:
Visual Technology and User Interface
Session 6B:
Knowledge Systems
Session 7:
Plenary Session
Session SA:
Verification and Validation
- Arthur Lin, Fuyau Lin:
Formal Verification of a Message-Passing Protocol with Model Checking.
296-302
- Byung-do Yoon, Oscar N. Garcia:
A Cognitive Framework of Debugging.
304-311
- Filippo Lanubile, A. Lonigro, Giuseppe Vissagio:
Comparing models for identifying fault-prone software components.
312-319
- Chi-Ming Chung, Chun-Chia Wang, Timothy K. Shih:
A Hierarchy Testing of Object-Oriented Program Structure.
320-327
- Bradley M. Kuhn, Dennis J. Smith, Keith Brian Gallagher:
The Decomposition Slice Display System.
328-333
- Harald Gall, René Klösch, Roland Mittermeir:
Pattern-Driven Reverse Engineering.
334-341
- Francoise Balmas:
Classifying Programs: a Key For program Understanding.
342-349
- John van den Elst, Monique Thonnat, Frank van Harmelen:
Modelling software components for reuse.
350-357
Session 9A:
Database Techniques
Session 9B:
Workshop
- David Eichmann, Mari Georges:
Workshop on Domain Engineering as a Research Agenda for Software Engineering and Knowledge Engineering.
391
Session 10A:
Distributed Systems
Session 10B:
Workshop
Session 11A:
Tools and Environments
Session 11B:
Chair's Session
Demonstration of CASE and Software Tools
Copyright © Fri Mar 12 17:20:58 2010
by Michael Ley (ley@uni-trier.de)
