"925" Result
Sort By:
There is now general agreement that formal specifications are needed to obtain quality software in large projects. Algebraic specifications form a major category of formal specifications. Many projects using algebraic specifications have now been carried out, and their more wide…
"In this highly anticipated new book, Ivar Jacobson and Pan-Wei Ng demonstrate how to apply use cases - a mature and systematic approach to focusing on stakeholder concerns - and aspect-orientation in building robust and extensible systems. Throughout the book, the authors emplo…
