Why software writing is difficult and will remain so

Authors:
Michael Jackson
Affiliations:
101 Hamilton Terrace, London NW8 9QY, UK
Venue:
Information Processing Letters - Special issue: Contribution to computing science
Year:
2003

Citing 5
Cited 2

Functional documents for computer systems

Science of Computer Programming
Computer related risks

Computer related risks
Problem frames: analyzing and structuring software development problems

Problem frames: analyzing and structuring software development problems
A Reference Model for Requirements and Specifications

IEEE Software
Principles of Program Design

Principles of Program Design

Decomposing Verification Around End-User Features

Verified Software: Theories, Tools, Experiments
Editorial: A roadmap of problem frames research

Information and Software Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

Software writing is difficult for many reasons. One important reason is the interplay between the formal world of the computer and its programming language with the informal world where the problem to be solved is located. In this paper some of the direct and indirect consequences of this interplay are briefly discussed, both for software specification and design generally and for the composition of independently identified and specified subproblems.