Joseph A. Goguen Books
Software Engineering with OBJ Algebraic Specification in Action ADVANCES IN FORMAL METHODS Volume 2 Advances in Formal Methods
By
"As well as providing a detailed introduction to the language and the OBJ system that implements it, Software Engineering with OBJ: Algebraic Specification in Action provides case studies by leadin...
Read More
Requirements Engineering: Social and Technical Issues
By
The most difficult phase of typical large software projects is establishing which properties the system must have to succeed in the environment in which it will be used. This phase of requirements...
Read More