- Full text PDF available (1)
- This year (0)
- Last 5 years (0)
- Last 10 years (0)
Journals and Conferences
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)
The author shares techniques used in a successful "Ethics and Professionalism" class at California State University, San Bernardino. Ethical issues played a part in designing the class. The author describes active learning and holistic grading. Ethics demanded a novel way to post grades on the web without exposing personal data. This was evaluated by… (More)
The author critiques the three-dimensional approach to systems design presented by Mastro and proposes a correction. He also shows that the time dimension is not modeled and that it should be. He presents notations for documenting dynamics and shows how these structures can be utilized in the design of software.
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)
Richard J. Botting indicates some things that need clarifying in the paper cited in the title [l] above.
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)