Projekter 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
Projekter
- 2 Afsluttet
-
-
Development of the Beta Language
Madsen, O. L. (PI)
01/05/1976 → 01/08/2007
Projekter: Projekt › Forskning
Publikation
-
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-22Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer 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/proceeding › Konferencebidrag i proceedings › Forskning › peer review
-
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/proceeding › Konferencebidrag i proceedings › Forskning › peer review
-
What Object-Oriented Programming Was Supposed to Be: Two Grumpy Old Guys’ Take on Object-Oriented Programming
Madsen, O. L. & Møller-Pedersen, B., 2 dec. 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/proceeding › Konferencebidrag i proceedings › Forskning › peer review
-
Using Coroutines for Multi-core Preemptive Scheduling
Madsen, O. L., okt. 2021, Proceedings of the 11th Workshop on Programming Languages and Operating Systems (PLOS '21). New York: Association for Computing Machinery, s. 46-52 7 s.Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review
Åben adgang
Aktiviteter
-
International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
Ole Lehrmann Madsen (Deltager)
2018Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Deltagelse i eller organisering af konference
-
Innovationsfonden (Ekstern organisation)
Ole Lehrmann Madsen (Medlem)
1 apr. 2014 → 31 dec. 2014Aktivitet: Medlemsskab - typer › Medlem af udvalg, råd og nævn
-
Aftagerpanelet for Danmarks Tekniske Universitet (Begivenhed)
Ole Lehrmann Madsen (Medlem)
1 dec. 2013 → …Aktivitet: Medlemsskab - typer › Medlem af udvalg, råd og nævn
-
CONNECT Advisory Forum - a Horizon 2020 Advisory Group (Ekstern organisation)
Ole Lehrmann Madsen (Medlem)
12 feb. 2013 → 31 jan. 2015Aktivitet: Medlemsskab - typer › Medlem af udvalg, råd og nævn
-
Advisory Board for DTU NanoTech (Ekstern organisation)
Ole Lehrmann Madsen (Medlem)
1 jan. 2009 → …Aktivitet: Medlemsskab - typer › Medlem af udvalg, råd og nævn