There are long-standing problems in the development of computer systems: often they take too much time to produce, cost more than estimated and fail to satisfy the customer. This “software crisis” was first identified in the nineteen-sixties and has been the subject of much research and controversy, and it is still not entirely solved.
KeywordsFormal Specification Software Tool Mathematical Notation Software Engineer Mathematical Technique
Unable to display preview. Download preview PDF.