Jacco H. Wesselius

Some elementary questions on software quality control

Frans Ververs, Jacco H. Wesselius, J. Wesselius, 1990, Softw. Eng. J..

Experience report on developing the Front-end client unit under the control of formal methods

Jan Friso Groote, J. F. Groote, Ammar Osaiweran, 2012, SAC '12.

Analyzing a Controller of a Power Distribution Unit Using Formal Methods

Jan Friso Groote, Ammar Osaiweran, Jacco H. Wesselius, 2012, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.

Incorporating Formal Techniques into Industrial Practice: an Experience Report

Jozef Hooman, Mathijs Schuts, Ammar Osaiweran, 2013, FESCA.

The Bazaar inside the Cathedral: Business Models for Internal Markets

Jacco H. Wesselius, J. Wesselius, 2008, IEEE Software.

Strategic Scenario-Based Valuation of Product Line Roadmaps

Jacco H. Wesselius, J. Wesselius, 2006, Software Product Lines.

Analyzing the effects of formal methods on the development of industrial control software

Jan Friso Groote, J. F. Groote, Ammar Osaiweran, 2011, 2011 27th IEEE International Conference on Software Maintenance (ICSM).

Modeling Architectural Value: Cash Flow, Time and Uncertainty

Jacco H. Wesselius, J. Wesselius, 2005, SPLC.