A Software Development Environment for Law-Governed Systems

ACM SIGPLAN Notices

Volumn 24, Issue 2, 1989, Pages 65-75

  Minsky, Naftaly H ^a   Rozenshtein, David ^a  

^a RUTGERS UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84976790178     PISSN: 03621340     EISSN: 15581160     Source Type: Journal    
DOI: 10.1145/64140.65010     Document Type: Article

References (19)

1. Clarke, L.A., Wileden, J.C. and Wulf, A.L. Precise Interface Control: System Structure, Language Constructs, and Support Environment. Technical Report COINS TR 83-26, University of Massachusetts, Amherst, August, 1983.
2. Clocksin, W.F. and Mellish, C.S. Programming in Prolog. Springer-Verlag, 1981.
3. Denning, P.J. Fault tolerant operating systems. Computing Surveys 8(4):359-389, December, 1976.
4. DeRemer, F. and Kron, H.H. Programming-in-the-Large vs. Programming-in-the-Small. IEEE Transactions on Software Engineering SE-2(2):80-86, June, 1976.
5. Kaiser, G.E. and Feiler, P.E. An Architecture for Intelligent Assistance in Software Development. Technical Report, Columbia University, August, 1986.
6. Lasker, D.M. Module Structure in an Evolving Family of Real Time Systems. In Proceedings of the 4th International Conference on Software Engineering, pages 22-28. IEEE, September, 1979.
7. Leler, W. Constraint Programming Languages. Addison-Wesley, 1988.
8. Liskov, B. and Guttag, J. Abstraction and Specification is Program Development. The MIT Press, 1986.
9. Minsky, N.H. Locality in Software Systems. In Proceedings of the ACM Symposium on Principles of Programming Languages, pages 299-312. January, 1983.
10. Minsky, N.H. and Borgida, A. The Darwin Software-Evolution Environment. In Proceedings of the ACM Software Engineering Symposium on Practical Software Development Environments, pages 89-95. April, 1984.
11. Minsky, N.H. and Rozenshtein, D. Law-Based Approach to Object-Oriented Programming. In Proceedings of the OOPSLÁ'87 Conference. October, 1987.
12. Minsky, N.H., Rozenshtein, D., Chomicki, J., Dalal, M., Deshpande, M., Radhakrishnan, J. and Schatz, N. Specifications of the Darwin System. Technical Report CAIP-TR-053, CAIP Center, Rutgers University, November, 1987.
13. Minsky, N.H. Law-Governed Systems. Technical Report LCSR-TR-101, Department of Computer Science, Rutgers University, February, 1988. (Submitted for publication).
14. Myers, G.J. Software Reliability. John Wiley, Inc., 1976.
15. Ossher, H.L. Grids: A New Program Structuring Mechanism Based on Layered Graphs. In Proceedings of the ACM Symposium on Principles of Programming Languages, pages 11-22. January, 1984.
16. Osterweil, L. Software Processes Are Software Too. In Proceedings of the 9th International Conference on Software Engineering. March-April, 1987.
17. Perry, D.E. and Kaiser, G.E. Models of Software Development Environments. In Proceedings of the 10th International Conference on Software Engineering. April, 1988.
18. Robinson, L., Levitt, K.L., Neuman, P.G. and Saxena, A.R. On Attaining Reliable Software for a Secure Operating System. In Proceedings of the 1975 International Conference on Reliable Software, pages 267-264. IEEE, April, 1975.
19. Rozenshtein, D. and Minsky, N.H. Law-Governed Object-Oriented System. Journal of Object-Oriented Programming, Fall, 1988. (To appear).