Software Engineering and Programming Systems

Figure : an example Dynamic Distributed Graphical User Interface

The Software Engineering and Programming Systems domain gathers five faculty members and about twenty researchers around the federating goal of supporting the development and maintenance of advanced, complex and dependable software.

Principal Investigators : 

Sébastien Jodogne, Axel Legay, Kim Mens, Charles Pecheur, Etienne Rivière, Peter Van Roy

Research Labs : 

  • The REsearch Laboratory on Software Evolution And Software Development Technology (RELEASeD) focuses on a variety of research topics related to programming technology, languages and tool support for software development. The main research themes of this research group are: mechanisms, languages, formalisms, methodologies and tools to support software engineers during maintenance and evolution of a software system; advancing the state-of-the art in software development technology from a language engineering angle; technology to support the evolution and development of aspect-oriented software; context-oriented programming for ambient software.
  • The activities of the Programming Languages and Distributed Computing (PLDC) Research Group have as general theme to increase the expressiveness of programming languages, with a special focus on support for distributed computing. The research is a combination of theory and practice: new concepts are suggested by development needs, which leads both to theoretical results and system building. Our research vehicle is often the Mozart Programming System, a full-featured development platform based on the Oz multiparadigm programming language.
  • The Louvain Verification Lab (LVL) team investigates principles, tools and applications of formal analysis and verification of computer systems. Fields of interest of LVL researchers include symbolic and bounded model-checking, verification of concurrent systems and partial-order Reduction, verification of human-computer interaction, structural coverage criteria for specifications, temporal and epistemic logics, analysis of observability and diagnosis, and verification of autonomous and intelligent systems.
  • Cloud and Large Scale computing group

Research Areas :

  • Requirements engineering (RE), which is widely recognized as the most critical phase of the software lifecycle. Goal-oriented RE refers to the use of goals for eliciting, elaborating, structuring, specifying, analysing, negotiating, documenting, and modifying requirements. Such use is based on a multi-view model showing how goals, objects, agents, scenarios, operations, and domain properties are inter-related in the system-as-is and the system-to-be. (By "system" we mean the target software together with its environment made of human agents, devices, legacy software, etc.). The KAOS methodology provides a multi-view graphical language for system modelling, a lightweight formalism for model specification, an optional real-time temporal logic for model analysis, a systematic method for model elaboration, and various dedicated techniques for goal refinement and operationalisation, conflict management, hazard analysis, agent responsibility assignment, goal mining from scenarios, etc. The methodology is supported by various tools (Objectiver, Faust) and has been used over more than 25 industrial projects.
  • Abstract interpretation, which is a mathematical methodology (introduced in 1977 by Patrick and Radhia Cousot) to develop static analyses of programs. Such analyses are performed at compile-time or independently of any program execution. They aim at automatically computing semantic properties of the program, which may then be used to optimize compilation or to highlight programming errors. We currently apply abstract interpretation to logic programs (Prolog) and to object-oriented programs (Java). We work on the definition and implementation of generic frameworks to analyze these languages. We have implemented a generic abstract interpretation framework has been developed for a subset of Java and an analyzer of operational properties of logic programs that combines in a single analysis almost all identified analyses from literature.

Most recent publications

Below are listed the 10 most recent journal articles and conference papers produced in this research area. You also can access all publications by following this link : see all publications.


Conference Papers


1. Langlois, Quentin; Szelagowski, Nicolas; Vanderdonckt, Jean; Jodogne, Sébastien. Open Platform for the De-identification of Burned-in Texts in Medical Images using Deep Learning. In: Proc. of the 17th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2024). Vol. 1, p. 297-304 (2024). SCITEPRESS – Science and Technology Publications, Lda. 2024 xxx. doi:10.5220/0012430300003657. http://hdl.handle.net/2078.1/282801

2. Jodogne, Sébastien. Setting a PACS on FHIR. In: Proc. of the 17th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2024). Vol. 2, p. 123-131 (2024). SCITEPRESS - Science and Technology Publications, Lda. 2024 xxx. doi:10.5220/0012384600003657. http://hdl.handle.net/2078.1/281131

3. Fierens, Amaury; Jodogne, Sébastien. BERTinchamps: Cost-Effective Training of Large Language Models for Medical Tasks in French. In: CEUR Workshop Proceedings. Vol. 3551 (2023). CEUR Workshop Proceedings, 2023 xxx. http://hdl.handle.net/2078.1/279237

4. Fierens, Amaury; Gregoir, Thibault; Jodogne, Sébastien. Interoperable Encoding and 3D Printing of Anatomical Structures. In: ICBRA '23: Proceedings of the 10th International Conference on Bioinformatics Research and Applications. p. 20-26 (2023). Association for Computing Machinery (ACM): New York, NY, USA, 2023 xxx. doi:10.1145/3632047.3632051. http://hdl.handle.net/2078.1/279236

5. Jodogne, Sébastien. On the Use of DICOM as a Storage Layer for IIIF. 2023 xxx. http://hdl.handle.net/2078.1/279235

6. Jodogne, Sébastien. Simple, effective deployment of Web viewers for medical imaging in an open platform. 2023 xxx. doi:https://doi.org/10.26226/m.64ae6f4f56241620f72a77cd. http://hdl.handle.net/2078.1/279234

7. Jodogne, Sébastien. Client-Side Application of Deep Learning Models Through Teleradiology. In: Studies in Health Technology and Informatics. Vol. 302, no.1, p. 997-1001 (2023). Maria Hägglund et al. 2023 xxx. doi:10.3233/shti230325. http://hdl.handle.net/2078.1/275150

8. Jodogne, Sébastien. Rendering Medical Images using WebAssembly. In: Proc. of the 15th International Joint Conference on Biomedical Engineering Systems and Technologies (Volume 2), 2022, 978-989-758-552-4, 43-51 xxx. doi:10.5220/0000156300003123. http://hdl.handle.net/2078.1/257268

9. Jodogne, Sébastien. Automatically publishing medical images from a filesystem as a DICOM server. In: Insights into Imaging. Vol. 13, no. S2, p. 7. SpringerOpen, 2021 xxx. doi:10.1186/s13244-022-01168-w. http://hdl.handle.net/2078.1/257257

10. Jodogne, Sébastien. Importing and serving open-data medical images to support Artificial Intelligence research. In: Insights into Imaging. Vol. 13, no. S1, p. 6. SpringerOpen, 2021 xxx. doi:10.1186/s13244-022-01168-w. http://hdl.handle.net/2078.1/257256


Journal Articles


1. Jodogne, Sébastien. On the Use of WebAssembly for Rendering and Segmenting Medical Images. In: Biomedical Engineering Systems and Technologies, Vol. 1814, no.1, p. 393-414 (2023). doi:10.1007/978-3-031-38854-5_20. http://hdl.handle.net/2078.1/277125

2. Vandaele, Rémy; Aceto, Jessica; Muller, Marc; Péronnet, Frédérique; Debat, Vincent; Wang, Ching-Wei; Huang, Cheng-Ta; Jodogne, Sébastien; Martinive, Philippe; Geurts, Pierre; Marée, Raphaël. Landmark detection in 2D bioimages for geometric morphometrics: a multi-resolution tree-based approach. In: Scientific Reports, Vol. 8, no.1, p. 13 (2018). doi:10.1038/s41598-017-18993-5. http://hdl.handle.net/2078.1/268369

3. Jodogne, Sébastien. The Orthanc Ecosystem for Medical Imaging. In: Journal of Digital Imaging, Vol. 31, no.3, p. 341-352 (2018). doi:10.1007/s10278-018-0082-y. http://hdl.handle.net/2078.1/257255

4. Aoga, John; Guns, Tias; Schaus, Pierre. Mining Time-constrained Sequential Patterns with Constraint Programming. In: Constraint Journal, Vol. 22, no.3, p. 1-23 (2017). doi:10.1007/s10601-017-9272-3. http://hdl.handle.net/2078.1/186881

5. Busard, Simon; Pecheur, Charles; Qu, Hongyang; Raimondi, Franco. Reasoning about memoryless strategies under partial observability and unconditional fairness constraints. In: Information and Computation, Vol. 242, no.0, p. 128-156 (2015). doi:10.1016/j.ic.2015.03.014. http://hdl.handle.net/2078.1/159600

6. Cardozo Alvarez, Nicolás; Gonzalez Montesinos, Sebastian Andres; Van Der Straeten, Ragnhild; Mens, Kim; Vallejos, Jorge; D’Hondt, Theo. Semantics for Consistent Activation in Context-Oriented Systems. In: Information and Software Technology, Vol. 58, p. 71-94 (February 2015). doi:10.1016/j.infsof.2014.10.002. http://hdl.handle.net/2078.1/141451

7. Damas, Christophe; Lambeau, Bernard; van Lamsweerde, Axel. Analyzing critical decision-based processes. In: IEEE Transactions on Software Engineering, Vol. 99, p. 1-28 (2014). doi:10.1109/TSE.2014.2312954. http://hdl.handle.net/2078.1/142148

8. Cordero Fuertes, Juan Antonio. A Probabilistic Study of the Delay caused by Jittering in Wireless Flooding. In: Wireless Personal Communications : an international journal, Vol. 73, no. 3, p. 415-439 (2013). doi:10.1007/s11277-013-1195-8. http://hdl.handle.net/2078.1/143174

9. Schaus, Pierre; Régin, Jean-Charles. Bound-consistent spread constraint. In: EURO Journal on Computational Optimization, (2013). (Accepté/Sous presse). http://hdl.handle.net/2078.1/141320

10. Van Cauwelaert, Sascha; Gutiérrez Sabogal, Gustavo Adolfo; Van Roy, Peter. Practical Uses of Constraint Programming in Music using Relation Domains. In: Emille journal, Vol. 10, p. 21-31 (2013). http://hdl.handle.net/2078.1/128293