Current Trends in Programming Methodology: Software specification and design, Volume 1Raymond Tzuu-Yau Yeh, K. Mani Chandy "A survey of recent development of programming principles and techniques for the systematic design of well structured and reliable software architecture"--Preface |
Contents
LANGUAGES AND STRUCTURED PROGRAMS | 33 |
A FORMAL METHODOLOGY FOR THE DESIGN | 61 |
4 | 111 |
ON THE DEVELOPMENT | 120 |
6 | 138 |
33 | 148 |
7 | 195 |
8 | 220 |
9 | 233 |
viii | 239 |
61 | 243 |
INDEX | 272 |
Copyright | |