A model for verification and testing in an object-oriented CS2 course is presented. The model has four stages - two for verification and two for testing - at which student progress is evaluated. Students thereby see v...
详细信息
The object-oriented model is very successful to represent various phenomena in our real world from an entity-category point of view. However, it is not sufficient to model the dynamic actions of autonomous entities un...
详细信息
This paper describes the effort undertaken at the University of Iowa to institute a software engineering curriculum at the graduate level. We describe our experiences over 2 years in developing a pilot 2-semester cour...
详细信息
This paper describes a general abstraction mechanism called a constraint pattern, with which an objectoriented language can be built. In such a language, constraint patterns play the roles of code and data abstractio...
详细信息
ISBN:
(纸本)0897915399
This paper describes a general abstraction mechanism called a constraint pattern, with which an objectoriented language can be built. In such a language, constraint patterns play the roles of code and data abstractions, and subsume classes, instance variables, methods and control structures. Constraint patterns, a conceptual blend and extension of BETA's patterns and Bertrand's augmented term rewriting rules, use equation solving for constraint satisfaction, method generation, and compilation. Basing a language on this abstraction makes simple equational constraints available as a fundamental language feature, integrated with the semantics.
暂无评论