Statecharts: A visual formalism for complex systems
Science of Computer Programming
Computer related risks
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
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
Hi-index | 0.00 |
This paper discusses some aspects of system description that are important for software development. Because software development aims to solve problems in the world, rather than merely in the computer, these aspects include: the distinction between the hardware/software machine and the world in which the problem is located; the relationship between phenomena in the world and formal terms used in descriptions; the idea of a software model of a problem world domain; and an approach to the decomposition of problems and its consequences for the larger structure of software development descriptions.