Richard J. Botting

Learn More
This paper looks at the assumptions driving mass marketed software. These assumptions explain why traditional software engineering methods and processes appear to have less economic value in a mass market. The assumptions lead to a model that predicts observed patterns such as (I) rapid development, (2)1ower quality, and (3) an initially dominant product(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)
This note follows David Schmidt's position paper "On the Need for a Popular Formal Semantics" [/]. I suggest that we can use of the popular Unified Modeling Language (UML) and the Object Constraint Language(OCL) to express the semantics of languages in Language Reference Manuals(LRMs). I, personally, prefer to use mathematical semantics [.2]. However, a(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)
  • 1