3 papers
cs.SE2023
Interactive, Iterative, Tooled, Rule-Based Migration of Microsoft Access to Web Technologies
Santiago Bragagnolo, Nicolas Anquetil, Stéphane Ducasse +2
In the context of a collaboration with Berger-Levrault, an IT company producing information systems, we are working on migrating Microsoft Access monolithic applications to the web…
cs.SE2023
Parsing Fortran-77 with proprietary extensions
Younoussa Sow, Larisa Safina, Léandre Brault +3
Far from the latest innovations in software development, many organizations still rely on old code written in "obsolete" programming languages. Because this source code is old and…
cs.SE2023
Implementation-First Approach of Developing Formal Semantics of a Simulation Language in VDM-SL
Tomohiro Oda, Gaël Dur, Stéphane Ducasse +1
Formal specification is a basis for rigorous software implementation. VDM-SL is a formal specification language with an extensive executable subset. Successful cases of VDM-family…