Marvel 2.5 User Manual

Cohen, Mara W.; Sokolsky, Michael; Barghouti, Naser S.

This manual is about MARVEL, a knowledge-based software development environment. Several papers present the idea and the architecture of MARVEL [4, 2, 1, 3]; this manual concentrates on teaching the user how to use the system. The manual consists of several parts, including: a tutorial which walks the user through an example, a reference section that documents each built-in feature of MARVEL, and an appendix that provides a guide to the source code, and copies of the strategies and envelopes used as examples in this manual.



More About This Work

Academic Units
Computer Science
Department of Computer Science, Columbia University
Columbia University Computer Science Technical Reports, CUCS-498-89
Published Here
January 20, 2012