The development of code for software intensive systems involves numerous levels of abstraction, leading from requirements to code. Having abstract modeling concepts available as high-level programming constructs helps to define the code and to make sure that when the system runs with the software executed by machines, the software components behave in the expected way. We explain in this paper that nevertheless, there remains a gap, which cannot be closed by mere programming methods, but which can be closed if programming is supported by an appropriate modeling framework (a design and analysis method and a language).
CITATION STYLE
Börger, E. (2018). Why programming must be supported by modeling and how. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 11244 LNCS, pp. 89–110). Springer Verlag. https://doi.org/10.1007/978-3-030-03418-4_6
Mendeley helps you to discover research relevant for your work.