Software engineering principles and practice by Vliet, Hans van

Formal methods in databases and software engineering proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15-16 May 1992

Advanced information systems engineering 5th International Conference, CAiSE '93, Paris, France, June 8-11, 1993 proceedings

Experimental software Engineering issues : critical assessment and future directions

Software engineering--ESEC '93 4th European Software Engineering Conference, Garmisch-Partenkirchen, Germany, September 13-17, 1993 proceedings

Software engineering on Sun workstations

Concise encyclopedia of software engineering

Available for University of the Philippines System via ScienceDirect. Click here to access
Also available remotely for University of the Philippines System via ScienceDirect. Click here to access thru EZproxy

Essays on object-oriented software engineering by Berard, Edward V.

Logic and specification extending VDM-SL for advanced formal specification by Middelburg, Cornelis A.

Computer-aided software engineering (CASE) by Chikofsky, Elliot J.