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 BibTeX
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 BibTeX
- 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 BibTeX
- Sooyong Park, Richard P. Evans, James D. Palmer:
Text-Based Requirements Modeling Support System.
16-22 BibTeX
- Paolo Ciaccia, Paolo Ciancarini, Wilma Penzo:
From Formal Requirements to Formal Design.
23-30 BibTeX
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 BibTeX
- Byung-do Yoon, Oscar N. Garcia:
A Cognitive Framework of Debugging.
304-311 BibTeX
- Filippo Lanubile, A. Lonigro, Giuseppe Vissagio:
Comparing models for identifying fault-prone software components.
312-319 BibTeX
- Chi-Ming Chung, Chun-Chia Wang, Timothy K. Shih:
A Hierarchy Testing of Object-Oriented Program Structure.
320-327 BibTeX
- Bradley M. Kuhn, Dennis J. Smith, Keith Brian Gallagher:
The Decomposition Slice Display System.
328-333 BibTeX
- Harald Gall, René Klösch, Roland Mittermeir:
Pattern-Driven Reverse Engineering.
334-341 BibTeX
- Francoise Balmas:
Classifying Programs: a Key For program Understanding.
342-349 BibTeX
- John van den Elst, Monique Thonnat, Frank van Harmelen:
Modelling software components for reuse.
350-357 BibTeX
Session 9A:
Database Techniques
Session 9B:
Workshop
Session 10A:
Distributed Systems
Session 10B:
Workshop
Session 11A:
Tools and Environments
Session 11B:
Chair's Session
Demonstration of CASE and Software Tools
Copyright © Sat May 16 23:37:26 2009
by Michael Ley (ley@uni-trier.de)