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

System Development
Methodology
Development Process
Audit
Replication
Model

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

EDP system development methodology : Auditability and control. / Rushinek, Avi; Rushinek, Sara.

Formal Methods and Software Development: Proceedings of the International Joint Conference on Theory and Practice of Software Development, TAPSOFT - Colloquium on Software Engineering, CSE. ed. / Maurice Nivat; James Thatcher; Hartmut Ehrig; Christiane Floyd. Springer Verlag, 1985. p. 423-434 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 186 LNCS).

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

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. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 186 LNCS, Springer Verlag, pp. 423-434, International Joint Conference on Theory and Practice of Software Development, TAPSOFT 1985, Berlin, Germany, 3/25/85. https://doi.org/10.1007/3-540-15199-0_28
Rushinek A, Rushinek S. EDP system development methodology: Auditability and control. In Nivat M, Thatcher J, Ehrig H, Floyd C, editors, Formal Methods and Software Development: Proceedings of the International Joint Conference on Theory and Practice of Software Development, TAPSOFT - Colloquium on Software Engineering, CSE. Springer Verlag. 1985. p. 423-434. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/3-540-15199-0_28
Rushinek, Avi ; Rushinek, Sara. / EDP system development methodology : Auditability and control. Formal Methods and Software Development: Proceedings of the International Joint Conference on Theory and Practice of Software Development, TAPSOFT - Colloquium on Software Engineering, CSE. editor / Maurice Nivat ; James Thatcher ; Hartmut Ehrig ; Christiane Floyd. Springer Verlag, 1985. pp. 423-434 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{7f03c5da40d5463cb918a889c5ff5069,
title = "EDP system development methodology: Auditability and control",
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.",
author = "Avi Rushinek and Sara Rushinek",
year = "1985",
month = "1",
day = "1",
doi = "10.1007/3-540-15199-0_28",
language = "English (US)",
isbn = "9783540151999",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "423--434",
editor = "Maurice Nivat and James Thatcher and Hartmut Ehrig and Christiane Floyd",
booktitle = "Formal Methods and Software Development",
address = "Germany",

}

TY - GEN

T1 - EDP system development methodology

T2 - Auditability and control

AU - Rushinek, Avi

AU - Rushinek, Sara

PY - 1985/1/1

Y1 - 1985/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85034862229&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85034862229&partnerID=8YFLogxK

U2 - 10.1007/3-540-15199-0_28

DO - 10.1007/3-540-15199-0_28

M3 - Conference contribution

SN - 9783540151999

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 423

EP - 434

BT - Formal Methods and Software Development

A2 - Nivat, Maurice

A2 - Thatcher, James

A2 - Ehrig, Hartmut

A2 - Floyd, Christiane

PB - Springer Verlag

ER -