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.
درجه (قاطیغوری(:
کال:
1985
خپرندویه اداره:
Prentice-Hall
ژبه:
english
صفحه:
424
ISBN 10:
013881483X
ISBN 13:
9780138814830
فایل:
PDF, 17.62 MB
IPFS:
,
english, 1985