Abstract
This paper did not promise a systematic treatise on design theory and architecture, did not give it and could not do so. The aspects and principles indicated are not even a first design for a science or theory of design; they require further refinement, confrontation with significant bad examples of design, and propositions how to cure them, and a lot of other work, constructive and critical. Of course, the ideas presented are neither unique nor original. It is hoped, though, that the collection and common presentation may be able to bring designers of products and of specification methodologies to include — once in a while — considerations which they - busy and eager as they are to reach their immediate goals — would forget or ignore.
For abstract formalization and specification is true what I have said at several occasions: nothing is more practical than a good theory. But a good theory as well as a good design require more than correctness — they require a philosophy and a set of a priori principles, as I have tried to show.
After the architectural phase or, even better, contemporary with it, there should be the phase of re-humanization. We should indeed attach to each bit abstracted from the real world a bit of human flair and adaptation. I mean here not only the human feature of our professional and personal imperfection — but the creation of a human atmosphere in information processing which compensates for the increasing abstraction, formalization, denaturalization and depersonalization of what had been, two hundred years ago, a thoroughly non-technical area: communication and information.
But on this an even longer and more difficult paper would have to be written.
Paper for the Winterschool on Abstract Software Specification at the Danish University of Technology
Preview
Unable to display preview. Download preview PDF.
References
F.P. BROOKS, Jr. Architectural Philosophy In: Planning a Computer System (W. Buchholz, Ed.) McGraw Hill, New York 1962; pp. 5–16
G. AMDAHL, G.A. BLAAUW, F.P. BROOKS, Jr. Architecture of the IBM System/360 IBM Journal of Research and Development 8 (1964), pp. 81–101
C. ALEXANDER Synthesis of Form Harvard University Press, Cambridge, Mass., 1967; 216 pp.
J. PETZVAL Bericht über die Ergebnisse einiger dioptrischer Untersuchungen Hartleben, Budapest 1843; XX + 43 pp.
H. ZEMANEK Central European Prehistory of Computing Proceedings of the International Research Conference on the History of Computing, Los Alamos, New Mexico, 10 to 15 June 1976 To be published
H. ZEMANEK Computer Prehistory and History in Central Europe In: Proceedings of the National Computer Conference 1976 AFIPS Press, New York 1976
VITRUVIUS Ten Books on Architecture
K. KUPFMULLER Die Systemtheorie der elektrischen Nachrichtenübertragung S. Hirzel Verlag, Stuttgart 1949; second ed. 1952, 392 pp.
L. von BERTALANFFY Zu einer allgemeinen Systemlehre Blätter für deutsche Philosophie 3/4, 1945
L. von BERTALANFFY General System Theory Allen Lane — The Penguin Press, London 1968; 311 pp.
E. MUMFORD, H. SACKMAN (Eds.): Human Choice and Computers Proceedings of the IFIP Conference, Vienna, 1 to 5 April 1974 North-Holland Publishing Comp., Amsterdam 1975; 358 pp.
G. A. BLAAUW Computer Architecture Elektronische Rechenanlagen München 14 (1972); pp. 154–159.
L. WITTGENSTEIN Tractatus Logico-philosophicus Routledge & Kegan Paul, London 1952
ZEMANEK H. Summation and Future Directions of Associative Information Techniques 11 pp. Associative Information Techniques, edited by E.L. Jacks, American Elsevier Publishing Company, New York 1971, pp. 205–215
ZEMANEK H. Some Philosophical Aspects of Information Processing In: The Skyline of Information Processing Proceedings of the Tenth Anniversary Celebrations of IFIP, Amsterdam, 25 October 1970 (H. Zemanek, Ed.) North-Holland Publishing Comp., Amsterdam 1972, pp. 93–140
ZEMANEK H. Formal Definition and Generalized Architecture In: Operations Research 1972 (M. Ross, Ed.) North-Holland Publishing Comp., Amsterdam 1973; pp. 59–73
ZEMANEK H. Formalization — History, Present and Future In: Lecture Notes on Computer Science 23″ Programming Methodology Springer Berlin/Heidelberg/New York 1975, pp. 477–501
ZEMANEK H. A Theory of Computer Architecture Jornadas commorativas de las bodas de plata de Instituto de Electricidad y Automatica, Madrid 14, 15 April 1977 Revista de Informatica y Automatica 10 (1978), numero extraordinario, pp. 92–110
ZEMANEK H. Atoms and Systems in Information Processing and Philosophy — Language and Design In: Wittgenstein and His Impact on Contemporary Thought Proceedings of the Second International Wittgenstein Symposium, 29 August to 4 September 1978, Kirchberg, Austria; (E. Leinfellner et al., Eds.) Hölder, Pichler, Tempsky, Vienna 1978; pp. 114–120
ZEMANEK H. Entwurf und Verantwortung In: NTG-Gl Fachtagung Systementwurf, Munich, 15 to 17 March 1978 VDE Verlag 1978 Reprinted in: Technik und Gesellschaft: Wachstum in Freiheit und Verantwortung H. Flohr, (editor-in-chief), IBM Germany, Stuttgart 1978; pp. 90–101
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1980 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zemanek, H. (1980). Abstract Architecture. In: Bjøorner, D. (eds) Abstract Software Specifications. Lecture Notes in Computer Science, vol 86. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-10007-5_34
Download citation
DOI: https://doi.org/10.1007/3-540-10007-5_34
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10007-2
Online ISBN: 978-3-540-38136-5
eBook Packages: Springer Book Archive