• Corpus ID: 15489624

Formally Unsolvable Problems in Software Engineering

  title={Formally Unsolvable Problems in Software Engineering},
  author={J. P. Lewis},
Engineering has been defined as the solution of practical pro b ems using mathematical and scientific principles. Is it possible to apply mathemati cal and scientific principles to the solution of important problems in software engineeri ng, such as the prediction of development schedules and the assessment of productivity a nd quality? The debate over this question is familiar. In this article, we will look at software engineering from a different point of view, that of algorithmic complexi ty… 


Seven myths of formal methods
  • A. Hall
  • Computer Science
    IEEE Software
  • 1990
Seven widely held conceptions about formal methods are challenged and the bounds of formal methods, the central role of specifications in the development process, and education and training are addressed.
An empirical validation of software cost estimation models
Four of the most popular algorithmic models used to estimate software costs (SLIM, COCOMO, Function Points, and ESTIMACS) are evaluated, finding that all of the models tested failed to sufficiently reflect the underlying factors affecting productivity.
Object-oriented programming: The promise and the reality
Patterns of Software: Tales from the Software Community
This guide gives the reader an informative inside look at the world of software design and computer programming and the business that surrounds them.
A 'Crystal Ball' for Software Liability
Fault injection is arguably the next best thing to having a crystal ball, and it certainly beats facing the future with no predictions at all, so it should be a regular part of risk assessment.
The mythical man-month (anniversary ed.)
Few books on software project management have been as influential and timeless as The Mythical Man-Month. With a blend of software engineering facts and thought-provoking opinions, Fred Brooks offers
Randomness and undecidability in physics
Part 1 Algorithmic physics: algorithmics automata coding and representation automator worlds algorithmic information and other resources measures and Randomness: conceptual developments.
What are the Realities of Software Productivity/Quality Improvements Software Practitioner
  • What are the Realities of Software Productivity/Quality Improvements Software Practitioner
  • 1995