Jacco H. Wesselius

Publication Activity (10 Years)

Years Active: 1990-2013
Publications (10 Years): 0

Top Topics

Provably Correct

Top Venues

Electron. Notes Theor. Comput. Sci.

Publications

Ammar Osaiweran, Mathijs Schuts, Jozef Hooman, Jacco H. Wesselius
Incorporating Formal Techniques into Industrial Practice: an Experience Report. Electron. Notes Theor. Comput. Sci. 295 (2013)
Jan Friso Groote, Ammar Osaiweran, Jacco H. Wesselius
Experience report on developing the Front-end client unit under the control of formal methods. SAC (2012)
Jan Friso Groote, Ammar Osaiweran, Jacco H. Wesselius
Analyzing a Controller of a Power Distribution Unit Using Formal Methods. ICST (2012)
Jan Friso Groote, Ammar Osaiweran, Jacco H. Wesselius
Analyzing the effects of formal methods on the development of industrial control software. ICSM (2011)
Jacco H. Wesselius
The Bazaar inside the Cathedral: Business Models for Internal Markets. IEEE Softw. 25 (3) (2008)
Jacco H. Wesselius
Modeling Architectural Value: Cash Flow, Time and Uncertainty. SPLC (2005)
Jacco H. Wesselius, Frans Ververs
Some elementary questions on software quality control. Softw. Eng. J. 5 (6) (1990)