This volume focuses on current and future trends in the interplay between software engineering and artificial intelligence. This interplay is now critical to the success of both disciplines, and it also affects a wide range of subject areas. The articles in this volume survey the significant work that has been accomplished, describe the state of the art, analyze the current trends, and predict which future directions have the most potential for success. Areas covered include requirements engineering, real-time systems, reuse technology, development environments and meta-environments, process representations, safety-critical systems, and metrics and measures for processes and products. Contents:A Survey and Assessment of Software Process Representation Formalisms (S Bandinelli et al.)Meta-Environments for Software Production (A S Karrer & W Scacchi)Trends in Structure-Oriented Environments (B R Whittle et al.)Techniques and Tools for Knowledge-Based Requirements Engineering (D Bolton et al.)Safety-Critical Software: A Research Agenda (A T Berztiss)Recent Trends in Formal Specification of Real-Time Systems (L M Patnaik & R Mall)Recent Efforts in Internet Repository Services (D Eichmann)Measurement Support in Software Engineering Environments (C M Lott)Synthesizing Metrics in Software Engineering and Knowledge Engineering (M J Shepperd & D C Ince)Understanding Software Productivity (W Scacchi) Readership: Researchers and practitioners in computer science. keywords:Software Engineering;Knowledge Engineering;Software Trends;Software Productivity;Structure-Oriented;Software Process;Environments;Metaenvironments;Software Development;Requirements Engineering;Formal Specification;Software Metrics;Internet Software Systems;Software Productivity
W David Hurley
Physique
Bibliothèque Centrale - 1er étage (Enseignant)
ISBN 13 | 9789814501514 |
---|---|
ISBN 10 | 9814501514 |
Date Publication | 1995-06-09 |
Nombres Pages | 328 |