Archives for INGI
21 février 2018
INGI seminar
Reasoning About a Machine with Local Capabilities - Provably Safe Stack and Return Pointer Management
by Dominique Devriesse, KUL
Capability machines provide security guarantees at machine level which makes them an interesting target for secure compilation schemes that provably enforce...
Cliquez pour en savoir plus 09 février 2018
ICTEAM - Public Thesis defense - Antoine CAILLIAU
Software Requirements Engineering: A Risk-Driven Approach
Requirements Engineering (RE) is concerned with t he elicitation, evaluation, specification, analysis and evolution of the requirements on a software-intensive system. Risk analysis at RE time aims at an ticipating adverse conditions...
Cliquez pour en savoir plus 31 janvier 2018
INGI Seminar - Vivide: Interleaving of Modification and...
Many programmers use programming tools but hesitate to modify them to accommodate challenging scenarios—taking on the role of a tool builder seems too costly, maybe not even rewarding. We propose a new perspective on graphical tools and provide a framework to build and modify such tools with a...
Cliquez pour en savoir plus 30 janvier 2018
ICTEAM - Public Thesis defense - S.Van Cauwelaert
Engineering Scalable Propagation in Constraint Programming
Constraint Programming is a declarative paradigm to solve combinatorial problems. This thesis focuses on one of its core components, propagation, which is responsible for eliminating provable wrong combinations. Besides, the amount of...
Cliquez pour en savoir plus 27 octobre 2017
Multimodeling for Quality Assurance in Software Product...
A software product line (SPL) is a set of software-intensive
systems that share a common, managed set of features and that are
developed from a common set of core assets in a prescribed way. Quality
assurance is a goal for success in software industry, but it is even
more important in SPL...
Cliquez pour en savoir plus