Book of Donmon Teith

The third European Software Engineering Conference follows ESEC'87 and ESEC'89. This series of conferences was set up by the European societies with the aim of

This book constitutes the proceedings of the 5th European Software Engineering Conference, ESEC '95, held in Sitges near Barcelona, Spain, in September 1995. Th

Logic programming refers to execution of programs written in Horn logic. Among the advantages of this style of programming are its simple declarativeand procedu

This book offers readers a broad view of research in some Western and Eastern European countries on pattern and signal analysis, and on coding, handling and mea

In the past decade, the formal theory of specification, verfication and development of real-time programs has grown from work of a few specialized groups to a r