System Design from Provably Correct Constructs: The Beginnings of True Software Engineering
James Martin
This book describes what may be the most important change in methodology of system development that we have yet seen: the beginning of automated development of systems in which complex specifications and resulting code are mathematically provably free from internal errors and inconsistencies.
Kategorie:
Rok:
1985
Wydawnictwo:
Prentice-Hall
Język:
english
Strony:
424
ISBN 10:
013881483X
ISBN 13:
9780138814830
Plik:
PDF, 17.62 MB
IPFS:
,
english, 1985