Software Development Tools, William E. Riddle

Program Development by Refinement: Case Studies Using the B Method, Emil Sekerin

Systematic Software Development Using V. D. M., Cliff B. Jones

Algebraic Specification Techniques and Tools for Software Development: The ACT A

Prototyping-Oriented Software Development: Concepts and Tools, Walter R. Bischof

Language Development, Eunice Fisher et Andrew Lock

Symbian OS Platform Security: Software Development Using the Symbian OS Security

Software and Its Development, Joseph M. Fox