Box structured information systems

作者: H. D. Mills , R. C. Linger , A. R. Hevner

DOI: 10.1147/SJ.264.0395

关键词: Information systemTheoretical computer scienceWhite boxComputer scienceFinite-state machineBlack boxData hierarchyProcess (engineering)Management information systemsHierarchy (mathematics)Distributed computing

摘要: The box structure methodology for information systems development is based on a usage hierarchy of data abstractions, in which each abstraction defined three distinct forms, called its black box, state machine, and clear box. Each these structures defines identical external behavior, but with increasing internal visibility, to provide hierarchical supports the principles referential transparency, transaction closure, migration, common services. This provides, turn, basis orderly management by finite set analysis design tasks spiral process. use are described.

参考文章(21)
Alan R. Hevner, Richard C. Linger, Harlan D. Mills, Principles of Information Systems Analysis and Design ,(1986)
Lawrence Robinson, Olivier Roubine, SPECIAL - A Specification and Assertion Language. ,(1976)
Dines Bjørner, Cliff B. Jones, The Vienna Development Method: The Meta-Language ,(1978)
M. B. Carpenter, H. K. Hallman, Quality emphasis at IBM's software engineering institute Ibm Systems Journal. ,vol. 24, pp. 121- 133 ,(1985) , 10.1147/SJ.242.0121
Michael Schaul, Design using software engineering principles: overview of an educational program international conference on software engineering. pp. 201- 208 ,(1985) , 10.5555/319568.319626
M. Shaw, Abstraction Techniques in Modern Programming Languages IEEE Software. ,vol. 1, pp. 10- 26 ,(1984) , 10.1109/MS.1984.229453
W. P. Stevens, How data flow can improve application development productivity Ibm Systems Journal. ,vol. 21, pp. 162- 178 ,(1982) , 10.1147/SJ.212.0162
Barbara Liskov, Alan Snyder, Russell Atkinson, Craig Schaffert, Abstraction mechanisms in CLU Communications of the ACM. ,vol. 20, pp. 564- 576 ,(1977) , 10.1145/359763.359789
F. T. Baker, System quality through structured programming Proceedings of the December 5-7, 1972, fall joint computer conference, part I on - AFIPS '72 (Fall, part I). pp. 339- 343 ,(1972) , 10.1145/1479992.1480037