Searching for "Principles of OBJ2." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Measures and Techniques for Software Quality Assurance
by John Rushby — 1991
…-Pierre Jouannaud, and Jos'e Meseguer. Principles of OBJ2. In Brian K. Reid, editor, Proceedings of 12th ACM…
Add To MetaCart

Quality Measures and Assurance for AI Software
by John Rushby, Cognitive Systems Ai Magazine, Richard M. Tong, Neville D. Newman, Gary Berg-cross — 1988
…, Jean-Pierre Jouannaud, and Jos'e Meseguer. Principles of OBJ2. In Brian K. Reid, editor, Proceedings…
Cited by 4 (1 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB