Robert B. Terwilliger
- 1. Campbell, R. H. and R. B. Terwilliger, "The SAGA Approach to Automated Project Management", in International Workshop on Advanced Programming Environments, Carter, L. R. (editor), Springer-Verlag Lecture Notes in Computer Science, New York, 1986, 145-159. Google Scholar
Digital Library
- 2. Campbell, R. H., H. Render, R. N. Sum, Jr. and R. B. Terwilliger, "Automating the Software Development Process", Proceedings of the 1988 ACM Computer Science Conference, February 1988. Google ScholarDigital Library
- 3. Hammerslag, D. H., S. N. Kamin and R. H. Campbell, "Tree-Oriented Interactive Processing with an Application to Theorem-Proving", Proceedings of the Second ACM/IEEE Conference on Software Development Tools, Techniques, and Alternatives, December 1985. Google ScholarDigital Library
- 4. Kirslis, P. A., R. B. Terwilliger and R. H. Campbell, "The SAGA Approach to Large Program Development in an Integrated Modular Environment", Proceedings of the GTE Workshop on Software Engineering Environments for Programming-in-the-Large, June 1985, 44-53.Google Scholar
- 5. Kirslis, P. A., R. B. Terwilliger and R. H. Campbell, "An Integrated Modular Environment for SAGA (Abstract)", Proceedings of the 19th Annual Hawaii International Conference on System Sciences, January 1986, 576.Google Scholar
- 6. Kirslis, P. A. and R. B. Terwilliger, "Implementing A Logic-Based Executable Specification Language in C++", Proceedings of the USENIX C++ Conference, October 1988, 211-225.Google Scholar
- 7. Terwilliger, R. B. and R. H. Campbell, "ENCOMPASS: a SAGA Based Environment for the Composition of Programs and Specifications", Proceedings of the 19th Hawaii International Conference on System Sciences, January 1986, 436-447. Google ScholarDigital Library
- 8. Terwilliger, R. B. and R. H. Campbell, "PLEASE: Predicate Logic based ExecutAble SpEcifications", Proceedings of the 1986 ACM Computer Science Conference, February 1986, 349-358. Google ScholarDigital Library
- 9. Terwilliger, R. B. and R. H. Campbell, "Rigorous Software Devdopment Using PLEASE", Annual National Communications Forum 41, 2 (September 1987), 1114-1118.Google Scholar
- 10. Terwilliger, R. B., "ENCOMPASS: an Environment for Incremental Software Development using Executable, Logic-Based Specifications", Report No. UIUCDCS-R-87-1356 (Ph.D. Dissertation), Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1987. Google ScholarDigital Library
- 11. Terwilliger, R. B., "An Example of Knowledge-Based Development in ENCOMPASS", Proceedings of the Third Annual Conference on Artificial Intelligence & Ada, George Mason University, October 1987, 40-55.Google Scholar
- 12. Terwilliger, R. B. and R. H. Campbell, "PLEASE: a Language for Incremental Software Development", Proceedings of the 4th International Workshop on Software Specification and Design, April 1987, 249-256.Google Scholar
- 13. Terwilliger, R. B., "PLEASE: a Language Combining Imperative and Logic Programming", SIGPLAN Notices 23, 4 (April 1988), 103-110. Google ScholarDigital Library
- 14. Terwilliger, R. B. and R. H. Campbell, "An Early Report on ENCOMPASS", Proceedings of the 10th International Conference on Software Engineering, April 1988, 344-354. Google ScholarDigital Library
- 15. Terwilliger, R. B., M. J. Maybee and L. J. Osterweil, "An Example of Formal Specification as an Aid to Design and Development", Proceedings of the 5th International Workshop on Software Specification and Design, May 1989, 266-272. Google ScholarDigital Library
- 16. Terwilliger, R. B. and R. H. Campbell, "ENCOMPASS: an Environment for the Incremental Development of Software", The Journal of Systems and Software 10, 1 (July 1989), 41-53.Google ScholarCross Ref
- 17. Terwilliger, R. B. and P. A. Kirslis, "PK/C++: an Object-Oriented, Logic-Based, Executable Specification Language", Proceedings of the 22nd Hawaii International Conference on System Sciences, January 1989, 407-416.Google ScholarCross Ref
- 18. Terwilliger, R. B., "ISLET: a Program/Proof Editor to Support the Vienna Development Method", Proceedings of the 22nd Hawaii International Conference on System Sciences, January 1989, 68-77.Google ScholarCross Ref
- 19. Terwilliger, R. B. and R. H. Campbell, "PLEASE: Executable Specifications for Incremental Software Development", Journal of Systems and Software 10, 2 (September 1989), 97- 112. Google ScholarDigital Library
- 20. Terwilliger, R. B., "Reusing Proofs of Program Correctness in ENCOMPASS", to appear in Proceedings of the International Phoenix Conference on Computers and Communications, March 1990.Google Scholar
Index Terms
- An overview and bibliography of ENCOMPASS: an environment for incremental software development using executable, logic-based specification
Index terms have been assigned to the content through auto-classification.
Recommendations
An early report on encompass
ICSE '88: Proceedings of the 10th international conference on Software engineeringENCOMPASS is an environment to support the incremental construction of Ada® programs using executable specifications and formal techniques similar to the Vienna Development Method. ENCOMPASS supports the rigorous development of software: parts of a ...
An overview of CAFE specification environment-an algebraic approach for creating, verifying, and maintaining formal specifications over networks
ICFEM '97: Proceedings of the 1st International Conference on Formal Engineering MethodsCAFE is the name of a network based environment now under development for supporting systematic creation, checking, verification, and maintenance of formal specifications. CAFE has an algebraic specification language called CafeOBJ as its main ...
Comments