Abstract
In software engineering, object-oriented development is today the most popular programming, design and analysis approach. However, object orientation does not manage to address the needs of today’s software construction in as radical and fundamental a way as is needed in highly distributed interoperating software applications. In the following, we argue that object orientation indeed offers interesting features, but continues to suffer from a number of severe shortcomings for the engineering of large distributed software systems. This shows that object-oriented techniques of today are not in accordance with the state of the art in scientific, well understood, programming methodology and software engineering.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
P. Braun, H. Lötzbeyer, B. Schätz, O. Slotosch Consistent Integration of Formal Methods. In: Proc. 6th Intl. Conf on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’00),2000, to appear
M. v.d. Beeck A Comparison of Statecharts Variants. In: H. Langmaack, W.-P. de Roever, J. Vytopil (eds): Formal Techniques in Real Time and Fault-Tolerant Systems. Lecture Notes in Computer Science 863, 128–148, Springer, 1994.
G. Booch Object Oriented Design with Applications. Benjamin Cummings, Redwood City, CA, 1991
M. Broy Towards a Formal Foundation of the Specification and Description Language SDL. Formal Aspects of Computing 3, 21–57 (1991)
M. Broy Compositional Refinement of Interactive Systems. Journal of the ACM, Volume 44, No. 6 (Nov. 1997), 850–891. Also in: DIGITAL. Systems Research Center, SRC 89, 1992.
M. Broy (Inter-)Action Refinement: The Easy Way. In: Broy, M. (ed.): Program Design Calculi. Springer NATO ASI Series, Series F: Computer and System Sciences, Vol. 118, pp. 121–158, Berlin, Heidelberg, New York: Springer 1993
M. Broy Advanced Component Interface Specification. In: Takayasu Ito, Akinori Yonezawa (Eds.). Theory and Practice of Parallel Programming, International Workshop TPPP’94, Sendai, Japan, November 7–9, 1994. Proceedings, Lecture Notes in Computer Science 907, Berlin: Springer 1995
M. Broy Compositional Refinement of Interactive Systems Modelled by Relations. In: W.-P. de Roever, H. Langmaack, A. Pnueli (eds.): Compositionality: The Significant Difference. LNCS State of the Art Survey, Lecture Notes in Computer Science 1536, 1998, 130–149
O. Dahl, E.W. Dijkstra, C.A.R. Hoare (eds.) Structured Programming. Academic Press 1971
GRAPES-Referenzmanual, DOMINO, Integrierte Verfahrenstechnik. Siemens AG, Bereich Daten-und Informationstechnik 1990
R. Grosu A Formal Foundation for Concurrent Object-Oriented Programming. Dissertation, Fakultt fr Informatik, Technische Universitt Mnchen, December 94
D. Harel Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming 8, 1987, 231–274
I. Jacobsen: Object-Oriented Software Engineering. Addison-Wesley, ACM Press 1992
R. Milner, J. Parrow, D. Walker: A calculus of mobile processes. Part i + ii, Information and Computation, 100:1 (1992) 1–40, 41–77
J. Rumbaugh Object-Oriented Modelling and Design. Prentice Hall, Englewood Cliffs: New Jersey 1991
J. Philipps, P. Scholz Compositional Specification of Embedded Systems with Statecharts. In: Theory and Practice of Software Development TAPSOFT’97, Lille, Lecture Notes in Computer Science 1214, Berlin: Springer 1995
Specification and Description Language (SDL), Recommendation Z.100. Technical report, CCITT, 1988
O.-J. Dahl, B. Myrhaug, K. Nygaard Simula 67 — common base language. Technical Report N. S-22, Norsk Regnesentral (Norwegian Computing Center), Oslo, 1968.
G. Booch, J. Rumbaugh, I. Jacobson The Unified Modeling Language for Object-Oriented Development, Version 1.0, RATIONAL Software Cooperation
M. Wirsing Algebraic Specification, Handbook of Theoretical Computer Science, Vol. B Amsterdam: North Holland 1990, 675–788
B. Selic, G. Gullekson, P.T. Ward Real-time Object-oriented Modeling. Wiley, New York 1994
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer Science+Business Media New York
About this chapter
Cite this chapter
Broy, M. (2003). Object-oriented programming and software development—a critical assessment. In: McIver, A., Morgan, C. (eds) Programming Methodology. Monographs in Computer Science. Springer, New York, NY. https://doi.org/10.1007/978-0-387-21798-7_10
Download citation
DOI: https://doi.org/10.1007/978-0-387-21798-7_10
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4419-2964-8
Online ISBN: 978-0-387-21798-7
eBook Packages: Springer Book Archive