Advances in software engineering and knowledge engineering [electronic resource] / [edited by] Vincenzo Ambriola, Genoveffa Tortora.

"Collected ... reports of tutorial courses or keynote speeches ... for the Fourth International Conference on Software Engineering and Knowledge Engineering"--Pref.

Includes bibliographical references.

ch. 1. An introduction to software architecture / D. Garland and M. Shaw -- ch. 2. Modeling the software development process / Y. Ambriola and C. Montangero -- ch. 3. Knowledge representation in current design methods / B.I. Blum -- ch. 4. Unifying multi-paradigms in software system design / Y. Deng and S.K. Chang -- ch. 5. What is logic programming good for in software engineering? / P. Ciancarini and G. Levi -- ch. 6. Parallel execution of real-time petri nets / C. Ghezzi, M. Pezze and K. Portman -- ch. 7. Introduction to information retrieval for software reuse / Y.S. Maarek -- ch. 8. Issues in the verification and validation of knowledge-based systems / R.M. O'Keefe.

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.

Electronic reproduction. Singapore : World Scientific Publishing Co., 1993. System requirements: Adobe Acrobat Reader. Mode of access: World Wide Web.