Mathematical Principles for a First Course in Software Engineering

Authors:
Harlan D. Mills;Victor R. Basili;John D. Gannon;Richard G. Hamlet
Affiliations:
Univ. of Florida, Gainesville;Univ. of Maryland, College Park;Univ. of Maryland, College Park;Portland State Univ., Portland, OR
Venue:
IEEE Transactions on Software Engineering
Year:
1989

Citing 6
Cited 1

Theory of Modules

IEEE Transactions on Software Engineering
Cleanroom Software Development: An Empirical Evaluation

IEEE Transactions on Software Engineering
A technique for software module specification with examples

Communications of the ACM
Program development by stepwise refinement

Communications of the ACM
An axiomatic basis for computer programming

Communications of the ACM
A Discipline of Programming

A Discipline of Programming

A Functional Correctness Model of Program Verification

Computer

Quantified Score

Hi-index	0.02

Visualization

Abstract

An introductory computer science course is developed, much as calculus is a basic course for mathematics and the physical sciences, concerned primarily with theoretical foundations and methodology rather than apprenticeship through applications. In this work, the principles taught in the course are described and an example illustrating them is given.