The book is concerned with the broad topic of software engineering. It comprises the proceedings of the European Software Engineering Conference (ESEC) held at the University of Warwick in the United Kingdom in September 1989 and its primary purpose is to summarise the state of the art in software engineering as represented by the papers at that conference. The material covers both submitted papers and a number of invited papers given at the conference. The topics covered include: metrics and measurement, software process modelling, formal methods including their use in industry, software configuration management, software development environments, and requirements engineering. The book is most likely to be of interest to researchers and professionals working in the field of software development. The primary value of the book is that it gives an up-to-date treatment of its subject material and includes some interesting discussions of the transfer of research ideas into industrial practice.Proceedings of the 2nd Workshop on Software Testing, Verification and Analysis. 19-21 July 1988 Banff - Canada. IEEE Press.  Reference Manual for the Ada Programming Language. United States- ... In: Tutorial: Software Testing and Validation Techniques, Miller and Howden (eds), IEEE Computer Society Press, 1988.
|Author||:||Carlo Ghezzi, John A. McDermid|
|Publisher||:||Springer Science & Business Media - 1989-08-30|