Searching for "Experience report using RESOLVE/C for commercial software." – 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.

Experience report: Using RESOLVE/C++ for commercial software
by Joseph E. Hollingsworth — 2000 — In SIGSOFT ’00/FSE-8: Proceedings of the 8th ACM SIGSOFT International Symposium on Foundations of Software Engineering
…Experience Report: Using RESOLVE/C++ for Commercial Software Joseph E. Hollingsworth Holly…
Cited by 18 (6 self) – Add To MetaCart

Proceedings of the RESOLVE Workshop 2002, Columbus, OH, June 17-19, 2002
by Stephen H. Edwards (ed.), Edited Stephen, H. Edwards, A More, Seamless Checking, Joseph E. Hollingsworth, Joseph E. Hollingsworth, W. Christopher Lang, Bruce W. Weide, The Ohio, Larry Latour, Ling Huang, Tom Wheeler, Bruce W. Weide, Scott M. Pike, Wayne D. Heym, The Ohio, Thomas J. Wheeler, Levent Yilmaz, Trident Systems Incorporated — 2002
… Report: Using RESOLVE/C++ for Commercial Software", in ACM’s Software Engineering Notes, Vol. 25, No. 6…
Add To MetaCart

Showing 1 through 2.

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