Specification and Validation Methods (International Schools for Computer Scienti

Vdm '90. Vdm and Z - Formal Methods in Software Development: Third Internat

Strategic Management: Methods and Studies (Studies in Management Science and Sys

Software Engineering: Principles and Methods, B. Ratcliff

Software Design: Concepts and Methods, Wayne P. Stevens

Energy Minimization Methods in Computer Vision and Pattern Recognition: Third In

Logic Programming: Formal Methods and Practical Applications, C. Beierle et L. P

Cognitive Systems Engineering for User-Computer Interface Design, Prototyping, a