EDP system development methodology: Auditability and control

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

This study is both a replication and an extension of prior work on system development. By expanding on the previous information with more updated information, a better description of the system development process is obtained. First, the audit of system development is explained. Then two normative models of the process are described, pointing out the advantages of each. Finally, the major phases of the system development process are presented and the authors' personal views and experiences are expressed.

Original languageEnglish (US)
Title of host publicationFormal Methods and Software Development
Subtitle of host publicationProceedings of the International Joint Conference on Theory and Practice of Software Development, TAPSOFT - Colloquium on Software Engineering, CSE
EditorsMaurice Nivat, James Thatcher, Hartmut Ehrig, Christiane Floyd
PublisherSpringer Verlag
Pages423-434
Number of pages12
ISBN (Print)9783540151999
DOIs
StatePublished - Jan 1 1985
EventInternational Joint Conference on Theory and Practice of Software Development, TAPSOFT 1985 - Berlin, Germany
Duration: Mar 25 1985Mar 29 1985

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume186 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

OtherInternational Joint Conference on Theory and Practice of Software Development, TAPSOFT 1985
CountryGermany
CityBerlin
Period3/25/853/29/85

    Fingerprint

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Rushinek, A., & Rushinek, S. (1985). EDP system development methodology: Auditability and control. In M. Nivat, J. Thatcher, H. Ehrig, & C. Floyd (Eds.), Formal Methods and Software Development: Proceedings of the International Joint Conference on Theory and Practice of Software Development, TAPSOFT - Colloquium on Software Engineering, CSE (pp. 423-434). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 186 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-15199-0_28