EDP system development methodology: Auditability and control

Avi Rushinek; Sara Rushinek

doi:10.1007/3-540-15199-0_28

EDP system development methodology: Auditability and control

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English (US)
Title of host publication	Formal Methods and Software Development
Subtitle of host publication	Proceedings of the International Joint Conference on Theory and Practice of Software Development, TAPSOFT - Colloquium on Software Engineering, CSE
Editors	Maurice Nivat, James Thatcher, Hartmut Ehrig, Christiane Floyd
Publisher	Springer Verlag
Pages	423-434
Number of pages	12
ISBN (Print)	9783540151999
DOIs	https://doi.org/10.1007/3-540-15199-0_28
State	Published - Jan 1 1985
Event	International Joint Conference on Theory and Practice of Software Development, TAPSOFT 1985 - Berlin, Germany Duration: Mar 25 1985 → Mar 29 1985

Publication series

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

Other

Other	International Joint Conference on Theory and Practice of Software Development, TAPSOFT 1985
Country	Germany
City	Berlin
Period	3/25/85 → 3/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

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 proceeding › Conference 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 = jan

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",

note = "International Joint Conference on Theory and Practice of Software Development, TAPSOFT 1985 ; Conference date: 25-03-1985 Through 29-03-1985",

}

TY - GEN

T1 - EDP system development methodology

T2 - International Joint Conference on Theory and Practice of Software Development, TAPSOFT 1985

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

AN - SCOPUS:85034862229

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

Y2 - 25 March 1985 through 29 March 1985

ER -

Access to Document

10.1007/3-540-15199-0_28