Richard J. Botting

Learn More
At the end of the article the author discusses semantics of a 'while'-operator. The author introduces a fixedpoint operator and notes its equivalence to a more "conventional" Object Constraint Language (OCL) specification. I'm afraid I have stumbled on a counterexample , which breaks this equivalence. Here's the relevant context from the article:(More)
For twenty years software has cost more than planned, has been completed late, and failed to achieve what it was intended to do. There exists gaps between theory, curriculum, and practice. I have been trying to fill in the gaps for 15 years. In 1985 I presented a paper that listed more than 20 activities that can improve the production of software. Some of(More)
  • 1