Program evolution: processes of software change
Program evolution: processes of software change
Software engineering: the production of quality software
Software engineering: the production of quality software
Specification of computer programs
Specification of computer programs
Uncertainty in computer application and its control through the engineering of software
Journal of Software Maintenance: Research and Practice
A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification
IEEE Transactions on Software Engineering
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Communications of the ACM
Communications of the ACM
Program development by stepwise refinement
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
Rules and Tools for Software Evolution Planning and Management
Annals of Software Engineering
IEEE Software
Inconsistency Handling in Multiperspective Specifications
IEEE Transactions on Software Engineering
Essay on Software Engineering at the Turn of Century
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Retrenchment, Refinement, and Simulation
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Software Evolution and Software Evolution Processes
Annals of Software Engineering
Evolution in software and related areas
IWPSE '01 Proceedings of the 4th International Workshop on Principles of Software Evolution
An approach to a theory of software evolution
IWPSE '01 Proceedings of the 4th International Workshop on Principles of Software Evolution
Behavioural modelling of long-lived evolution processes: some issues and an example
Journal of Software Maintenance: Research and Practice - Special issue: Separation of concerns for software evolution
Software evolution: background, theory, practice
Information Processing Letters - Special issue: Contribution to computing science
Decouplink: dynamic links for Java
ECSA'11 Proceedings of the 5th European conference on Software architecture
ACM Computing Surveys (CSUR)
A proposal for an integrated modelling framework to characterise habitat pattern
Environmental Modelling & Software
Hi-index | 0.00 |
This paper presents reasoning implying that the outcome of the execution of an E-type program or E-type software system (software for short) of whatever class are not absolutely predictable. It is intrinsically uncertain. Some of the sources of that uncertainty are identified and it is argued that the phenomenon qualifies as a Principle of Software Uncertainty. The latter represents an example of an assertion in a Theory of Software Evolution which is ripe for development based on empirical generalisations identified in previous research, most recently in the FEAST projects. The paper briefly discusses some practical implications of uncertainty, and the other concepts presented, on evolution technology and software processes. Though much of what is presented here has previously been discussed, its presentation as a cohesive whole provides a new perspective.