Prentice Hall - Software Engineering--Advanced

Software Engineering--Advanced

Applications of Formal Methods, 1/e: Hinchey, et. al. (1996)
Assessment and Control of Software Risks, 1/e: T. Capers Jones (1994)
Introduction to Formal Specification and Z, 2/e: Potter, et. al. (1997)
Measures For Excellence: Reliable Software On...., 1/e: Putnam (1992)
Measuring The Software Process: A Practical G...., 1/e: Garmus, et. al. (1996)
Models, Concepts and Information, 1/e: Bowman (1997)
Object-Oriented Software Engineering: Conquer...., 1/e: Bruegge, et. al. (2000)
Software Architecture: Perspectives on an Eme...., 1/e: Shaw, et. al. (1996)
Software Project Dynamics: An Integrated Appr...., 1/e: Abdel-Hamid, et. al. (1991)
Software Systems Construction with examples i...., 1/e: Bo Sanden (1994)
Specification Case Studies, 2/e: Hayes (1993)
Third Wave Project Management: A Handbook for...., 1/e: Thomsett (1993)
Use Cases Combined with Booch/OMT/UML: Proces...., 1/e: Texel, et. al. (1997)
Using Z: Specification, Proof and Refinement, 1/e: Woodcock (1996)
Yourdon Systems Method: Model-Driven Systems ...., 1/e: Yourdon (1993)
Z in Practice, 1/e: Barden, et. al. (1995)