EDP System Development Methodology: Auditability and Control

Avi Rushinek, Sara F. Rushinek. EDP System Development Methodology: Auditability and Control. In Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James W. Thatcher, editors, Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume 2: Colloquium on Software Engineering (CSE). Volume 186 of Lecture Notes in Computer Science, pages 423-434, Springer, 1985.

@inproceedings{RushinekR85,
  title = {EDP System Development Methodology: Auditability and Control},
  author = {Avi Rushinek and Sara F. Rushinek},
  year = {1985},
  tags = {control systems},
  researchr = {https://researchr.org/publication/RushinekR85},
  cites = {0},
  citedby = {0},
  pages = {423-434},
  booktitle = {Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume 2: Colloquium on Software Engineering (CSE)},
  editor = {Hartmut Ehrig and Christiane Floyd and Maurice Nivat and James W. Thatcher},
  volume = {186},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-15199-0},
}