Bart Jacobs
Microsoft
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by Bart Jacobs.
verified software: theories, tools, experiments | 2005
Mike Barnett; Robert DeLine; Manuel Fähndrich; Bart Jacobs; K. Rustan M. Leino; Wolfram Schulte; Herman Venter
The Spec# programming system [4] is a new attempt to increase the quality of general purpose, industrial software. Using old wisdom, we propose the use of specifications to make programmer assumptions explicit. Using modern technology, we propose the use of tools to enforce the specifications. To increase its chances of having impact, we want to design the system so that it can be widely adopted.
Archive | 2005
K. Leino; Wolfram Schulte; Bart Jacobs
Archive | 2006
Jan Smans; Bart Jacobs; Frank Piessens
Archive | 2014
Raoul Strackx; Bart Jacobs; Frank Piessens
Archive | 2014
Pieter Agten; Bart Jacobs; Frank Piessens
Archive | 2012
Pieter Agten; Raoul Strackx; Bart Jacobs; Frank Piessens
Archive | 2012
Frédéric Vogels; Bart Jacobs; Frank Piessens
Archive | 2010
Frédéric Vogels; Bart Jacobs; Frank Piessens
Archive | 2010
Bart Jacobs; Frank Piessens
Archive | 2009
Jan Smans; Bart Jacobs; Frank Piessens
