A software development environment for law-governed systems
暂无分享,去创建一个
[1] J. Meigs,et al. WHO Technical Report , 1954, The Yale Journal of Biology and Medicine.
[2] Lawrence Robinson,et al. On attaining reliable software for a secure operating system , 1975 .
[3] N. Minsky,et al. The Darwin software-evolution environment , 1984, SDE 1.
[4] Leon J. Osterweil,et al. Software processes are software too , 1987, ISPW.
[5] Gail E. Kaiser,et al. Models of software development environments , 1988, ICSE '88.
[6] Naftaly H. Minsky. Locality in software systems , 1983, POPL '83.
[7] Peter J. Denning,et al. Fault Tolerant Operating Systems , 1976, CSUR.
[8] V. Stavridou,et al. Abstraction and specification in program development , 1988 .
[9] Naftaly H. Minsky,et al. A law-based approach to object-oriented programming , 1987, OOPSLA '87.
[10] Gail E. Kaiser,et al. An architecture for intelligent assistance in software development , 1987, ICSE '87.
[11] William Leler,et al. Constraint programming languages: their specification and generation , 1988 .
[12] Harold Ossher. Grids: A new program structuring mechanism based on layered graphs , 1984, POPL '84.
[13] Naftaly H. Minsky,et al. A law-based approach to object-oriented programming , 1987, OOPSLA 1987.
[14] William F. Clocksin,et al. Programming in Prolog , 1987, Springer Berlin Heidelberg.
[15] Glenford J. Myers,et al. Softwear Reliability , 1976 .
[16] D. M. Lasker. Module Structure in an Evolving Family of Real Time Systems , 1979, ICSE.