edited by Vincenzo Ambriola (Univ. Pisa) & Genoveffa Tortora (Univ. Salerno)

The papers collected in the book were invited by the editors as tutorial courses or keynote speeches for the Fourth International Conference on Software Engineering and Knowledge Engineering. It was the editors' intention that this book should offer a wide coverage of the main topics involved with the specifications, prototyping, development and maintenance of software systems and knowledge-based systems. The main issues in the area of software engineering and knowledge engineering are addressed and for each analyzed topic the corresponding of state research is reported.

• An Introduction to Software Architecture (D Garland & M Shaw)
• Modeling the Software Development Process (V Ambriola & C Montangero)
• Knowledge Representation in Current Design Methods (B I Blum)
• Unifying Multi-Paradigms in Software System Design (Y Deng & S K Chang)
• What is Logic Prgramming Good for in Software Engineering? (P Ciancarini & G Levi)
• Parallel Execution of Real-Time Petri Nets (C Ghezzi et al.)
• Introduction to Information Retrieval for Software Reuse (Y S Maarek)
• Issues in the Verification and Validation of Knowedge-Based Systems (R M O'Keefe)