Expectations

• Not only does code reading inform the domain refinement process, but domain refinement drives code reading

• That is, a domain description provides expectations for constructs that should be found somewhere in the code

Previous slide

Next slide

Back to first slide

View graphic version