{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:47:44Z","timestamp":1725662864175},"publisher-location":"Berlin, Heidelberg","reference-count":45,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540089346"},{"type":"electronic","value":"9783540357315"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1978]]},"DOI":"10.1007\/3-540-08934-9_79","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T11:40:02Z","timestamp":1330170002000},"page":"193-210","source":"Crossref","is-referenced-by-count":0,"title":["Methods and tools for information systems design"],"prefix":"10.1007","author":[{"given":"S.","family":"Krakowiak","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,25]]},"reference":[{"key":"9_CR1","unstructured":"ABRIAL J.R.: Data semantics, Proc. IFIP Working Conf. on Data Base Management Systems (Klimbie and Koffeman, eds.), North-Holland (1974)."},{"key":"9_CR2","unstructured":"ABRIAL J.R.: M\u00e9thode et langage de sp\u00e9cification. (Unpublished notes, 1977)."},{"key":"9_CR3","unstructured":"ALEXANDER C.: Notes on the synthesis of form, Harvard University Press, 1964."},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"BOEHM B.W., McCLEAN R.K., URFRIG D.B.: Some experience with automated aids to the design of large-scale software, Proc. Intern. Conf. on Reliable Software, SIGPLAN Notices 10,6 (juin 1975).","DOI":"10.1145\/390016.808430"},{"key":"9_CR5","unstructured":"BRINCH HANSEN P.: The architecture of concurrent programs, Prentice Hall (1977)."},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"BROOKS F.P.: The mythical man-month, Addison-Wesley, 1975.","DOI":"10.1145\/800027.808439"},{"key":"9_CR7","unstructured":"CADES: Computer-Aided Design and Evaluation System (a series of articles in Computer Weekly, (July 1973)."},{"key":"9_CR8","unstructured":"DAHL O.J.: Hierarchical program structures, in Structured Programming (Dahl, Dijkstra, Hoare), APIC Studies in Automatic Programming no8, Academic Press (1972)."},{"key":"9_CR9","unstructured":"DIJKSTRA E.W.: Notes on Structured Programming, in Structured Programming (Dahl, Dijkstra, Hoare), APIC Studies in Automatic Programming, no8, Academic Press (1972)."},{"key":"9_CR10","unstructured":"DIJKSTRA E.W.: A discipline of programming, Prentice Hall (1976)."},{"key":"9_CR11","unstructured":"DONZEAU-GOUGE V., HUET G., LANG B., LEVY J.J.: A structure-oriented program editor: a first step towards computer-assisted programming, Proc. ICS Conf., Antibes (May 1975)."},{"key":"9_CR12","unstructured":"FELDMAN J.A.: A programming methodology for distributed computing (among other things), TR-9, Dept. of Computer Science, Univ. of Rochester 1977."},{"key":"9_CR13","first-page":"3","volume":"SE-2","author":"S. L. Gerhart","year":"1976","unstructured":"GERHART S.L. and YELOWITZ L.: Observations of fallibility in applications of modern programming methodologies, IEEE Trans. Software Engineering, SE-2, 3 (Sept. 1976).","journal-title":"IEEE Trans. Software Engineering"},{"key":"9_CR14","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1145\/359763.359771","volume":"20","author":"C. M. Geschke","year":"1977","unstructured":"GESCHKE C.M., MORRIS J.H., SATTERTHWAITE E.H.: Early experience with Mesa, Comm. ACM, 20, 8 (Aug. 1977).","journal-title":"Comm. ACM"},{"key":"9_CR15","unstructured":"GOULD I.H.: (Ed.) IFIP Guide to concepts and terms in data processing, North-Holland, 1971."},{"key":"9_CR16","first-page":"2","volume":"8","author":"J. Guttag","year":"1976","unstructured":"GUTTAG J.: Abstract data types and the development of data structures, Proc. SIGPLAN\/SIGMOD Conf. on Data, SIGPLAN Notices 8,2 (march 1976). (To appear in Comm. ACM).","journal-title":"Proc. SIGPLAN\/SIGMOD Conf. on Data, SIGPLAN Notices"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"HABERMANN A.N.: Path expressions Dept. of Computer Science, Carnegie Mellon University (1975).","DOI":"10.21236\/ADA015842"},{"key":"9_CR18","first-page":"2","volume":"8","author":"M. Hammer","year":"1976","unstructured":"HAMMER M.: Data abstractions for data bases, Proc. SIGPLAN\/SIGMOD Conf. on Data SIGPLAN Notices, 8,2 (March 1976).","journal-title":"Proc. SIGPLAN\/SIGMOD Conf. on Data SIGPLAN Notices"},{"key":"9_CR19","first-page":"1","volume":"16","author":"R. W. Hamming","year":"1969","unstructured":"HAMMING R.W.: One man's view of computer science, Journal A.C.M., 16,1 (Jan.1969).","journal-title":"Journal A.C.M."},{"key":"9_CR20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01932672","volume":"12","author":"P. Henderson","year":"1972","unstructured":"HENDERSON P., SNOWDON R.: An experiment in structured programming, BIT 12,1 (1972).","journal-title":"BIT"},{"key":"9_CR21","unstructured":"HENDERSON P., SNOWDON R.: A tool for structured program development; Proc IFIP Congress 1974, vol 2, North-Holland (1974)."},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"HORNING J.J.: Some desirable properties of data abstraction facilities, Proc. SIGPLAN\/SIGMOD Conf. on Data, SIGPLAN Notices 8,2 (march 1976).","DOI":"10.1145\/984344.807119"},{"key":"9_CR23","unstructured":"HOARE C.A.R.: Notes on data structuring, in Structured Programming (Dahl, Dijkstra, Hoare), APIC Studies in Data Processing no8 Academic Press (1972)."},{"key":"9_CR24","first-page":"10","volume":"17","author":"C. A. R. R. Hoare","year":"1974","unstructured":"HOARE C.A.R.: Monitors: an operating systems structuring concept, Comm. ACM, 17, 10 (1974).","journal-title":"Comm. ACM"},{"key":"9_CR25","first-page":"10","volume":"20","author":"E. L. Ivie","year":"1977","unstructured":"IVIE E.L.: The programmer's workbench \u2014 a machine for software development, Comm. ACM 20,10 (oct. 1977).","journal-title":"Comm. ACM"},{"key":"9_CR26","unstructured":"JACKSON M.A.: Principles of program design, APIC Studies in Data Processing no12, Academic Press (1975)."},{"key":"9_CR27","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1145\/361604.361612","volume":"17","author":"D. E. Knuth","year":"1974","unstructured":"KNUTH D.E.: Computer Programming as an art, Comm. ACM 17,12 (Dec. 1974 a).","journal-title":"Comm. ACM"},{"key":"9_CR28","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1145\/356635.356640","volume":"6","author":"D. E. Knuth","year":"1974","unstructured":"KNUTH D.E.: Structured programming with goto statements, Comp. Surveys, 6,4 (Dec. 1974 b).","journal-title":"Comp. Surveys"},{"key":"9_CR29","unstructured":"KRAKOWIAK S., LUCAS M., MONTUELLE J., MOSSIERE J.: A modular approach to the structured design of operating systems, Proc. MRI Symp. on Computer Software Engineering, Polytechnic Institute of New-York (1976)."},{"key":"9_CR30","first-page":"5","volume":"9","author":"B. H. Liskov","year":"1974","unstructured":"LISKOV B.H., ZILLES S.N.: Programming with abstract data types, Proc. SIGPLAN Symp. on Very High Level Languages, SIGPLAN Notices, 9,5 (1974).","journal-title":"Proc. SIGPLAN Symp. on Very High Level Languages"},{"key":"9_CR31","doi-asserted-by":"crossref","unstructured":"LISKOV B.H., ZILLES S.N.: Specification techniques for data abstractions, IEEE Trans. Software Engineering, SE-1 (March 1975).","DOI":"10.1145\/800027.808426"},{"key":"9_CR32","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1016\/0020-0190(76)90076-4","volume":"5","author":"C. J. Lucena","year":"1976","unstructured":"LUCENA C.J., COWAIN D.D.: Toward a system's environment for computer assisted programming, Inf. Proc. Letters, 5,2 (June 1976).","journal-title":"Inf. Proc. Letters"},{"key":"9_CR33","first-page":"6","volume":"10","author":"H. D. Mills","year":"1975","unstructured":"MILLS H.D.: How to write correct programs and know it, Proc. Int. Conf. on reliable software, SIGPLAN Notices 10,6 (June 1975).","journal-title":"Proc. Int. Conf. on reliable software, SIGPLAN Notices"},{"key":"9_CR34","unstructured":"MYERS G.J.: Reliable software through composite design, Petrocelli\/Charter (1975)."},{"key":"9_CR35","unstructured":"NAUR P.: Concise survey of computer methods, Studentlitteratur, Lund (1974)."},{"key":"9_CR36","unstructured":"PARNAS D.L.: Information distribution aspects of design methodology. Proc. IFIP Congress (1971)."},{"key":"9_CR37","first-page":"12","volume":"15","author":"D. L. Parnas","year":"1972","unstructured":"PARNAS D.L.: On the criteria to be used in decomposing a system into modules, Comm. ACM, 15,12 (Dec. 1972).","journal-title":"Comm. ACM"},{"key":"9_CR38","unstructured":"POLY\u00c0 G.: How to solve it, Princeton University Press (1971)."},{"key":"9_CR39","unstructured":"ROBERT P., VERJUS J.P.: Towards autonomous descriptions of synchronization modules, Proc. IFIP Congress, (1977)."},{"key":"9_CR40","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/TSE.1977.229897","volume":"SE-3","author":"D. T. Ross","year":"1977","unstructured":"ROSS, D.T., SCHOMAN K.E. Jr: Structured analysis for requirements definition, IEEE Trans. Software Engineering, SE-3, 1 (Jan. 1977).","journal-title":"IEEE Trans. Software Engineering"},{"key":"9_CR41","unstructured":"SCHNEIDER B.R. Jr: Travels in computerland, or incompatibilities and interfaces, Addison-Wesley (1974)."},{"key":"9_CR42","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/TSE.1977.229902","volume":"SE-3","author":"D. Teichroew","year":"1977","unstructured":"TEICHROEW D., HERSHEY E.A., III, PSL\/PSA: A computer-aided technique for structured documentation and analysis of information processing systems, IEEE Trans. Software Engineering, SE-3,1 (Jan. 1977).","journal-title":"IEEE Trans. Software Engineering"},{"key":"9_CR43","unstructured":"WIRTH N.: Algorithms + data structures = Programs, Prentice Hall (1976)."},{"key":"9_CR44","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1002\/spe.4380070102","volume":"7","author":"N. Wirth","year":"1977","unstructured":"WIRTH N.: Modula, a language for modular multiprogramming, Software Practice and experience 7,1 (1977).","journal-title":"Software Practice and experience"},{"key":"9_CR45","unstructured":"ZURCHER F.W., RANDELL B.: Iterative multi-level modelling: a methodology for computer system design, Proc. IFIP Congress (1968)."}],"container-title":["Lecture Notes in Computer Science","Information Systems Methodology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-08934-9_79.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:00:33Z","timestamp":1605625233000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-08934-9_79"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978]]},"ISBN":["9783540089346","9783540357315"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/3-540-08934-9_79","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1978]]}}}