Ole Lehrmann Madsen

Ph.d.

  • Åbogade 34, 5342, 224

    8200 Aarhus N

    Danmark

1976 …2024

Publikationer pr. år

Personlig profil

Emneord

  • Distribuerede softwaresystemer
  • Objekt-orienterede programmeringssprog
  • Objekt-orienterede softwaresystemer
  • Objekt-orienteret analyse og design
  • Objekt-orienteret modellering
  • Objekt-orienteret programmering
  • Softwarearkitektur
  • Softwaresystemer for pervasive computing
  • Softwareudviklingsværktøjer
  • Virtuelle/abstrakte maskiner

Fingeraftryk

Dyk ned i forskningsemnerne, hvor Ole Lehrmann Madsen er aktive. Disse emneetiketter kommer fra dennes persons arbejder. Sammen danner de et unikt fingerprint.
  • 1 Lignende profiler

Samarbejde og topforskningsområder i de sidste fem år

Seneste eksterne samarbejde på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
  • An introduction to object-oriented programming as modeling

    Bidragets oversatte titel: En introduktion til objekt-orienteret programmering som modelleringMadsen, O. L. & Møller-Pedersen, B., 30 dec. 2024

    Publikation: Bog/antologi/afhandling/rapportBogUndervisning

  • Using Object-Sequence Diagrams for Debugging

    Madsen, O. L., jul. 2023, DEBT 2023: Proceedings of the 1st ACM International Workshop on Future Debugging Techniques. Gonzalez Boix, E. & Scholliers, C. (red.). New York: Association for Computing Machinery, s. 11-22

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  • What your mother forgot to tell you about modeling – and programming

    Madsen, O. L. & Møller-Pedersen, B., 2023, 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). IEEE, s. 200-210 11 s.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

    1 Citationer (Scopus)
  • Using supplementary properties to reduce the need for documentation

    Madsen, O. L. & Møller-Pedersen, B., okt. 2022, Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering - 11th International Symposium, ISoLA 2022, Proceedings: Software Engineering. Margaria, T. & Steffen, B. (red.). Springer, s. 35-59 25 s. (Lecture Notes in Computer Science; Nr. 13702, Bind LNCS).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

    2 Citationer (Scopus)
  • What Object-Oriented Programming Was Supposed to Be: Two Grumpy Old Guys’ Take on Object-Oriented Programming

    Madsen, O. L. & Møller-Pedersen, B., 29 nov. 2022, Onward! 2022 - Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, co-located with SPLASH 2022: Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software. Association for Computing Machinery, s. 220–239 20 s.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

    2 Citationer (Scopus)