Sciweavers

CSEE
2000
Springer
14 years 3 months ago
A Framework-Based Approach to Teaching OOT: Aims, Implementation, and Experience
We report on experience from teaching OO technology to undergraduate students. Before they can successfully tackle the projects they have to successfully shift to the OO paradigm,...
Birgit Demuth, Heinrich Hußmann, Steffen Zsc...
ECBS
2005
IEEE
110views Hardware» more  ECBS 2005»
14 years 5 months ago
Synthesis of C++ Software from Verifiable CSPm Specifications
CSP++ is an object-oriented application framework for execution of CSP specifications that have been automatically synthesized into C++ source code by the cspt translator. We desc...
Stephen Doxsee, William B. Gardner