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 | |
| 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
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
}
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
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
ER -