Jacco H. Wesselius

According to our database, Jacco H. Wesselius authored at least 8 papers between 1990 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Incorporating Formal Techniques into Industrial Practice: an Experience Report.

Ammar Osaiweran, Mathijs Schuts, Jozef Hooman, Jacco H. Wesselius

Proceedings of the Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2012

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

Jan Friso Groote, Ammar Osaiweran, Jacco H. Wesselius

Proceedings of the ACM Symposium on Applied Computing, 2012

Analyzing a Controller of a Power Distribution Unit Using Formal Methods.

Jan Friso Groote, Ammar Osaiweran, Jacco H. Wesselius

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

2011

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

Jan Friso Groote, Ammar Osaiweran, Jacco H. Wesselius

Proceedings of the IEEE 27th International Conference on Software Maintenance, 2011

2008

The Bazaar inside the Cathedral: Business Models for Internal Markets.

Jacco H. Wesselius

IEEE Softw., 2008

2006

Strategic Scenario-Based Valuation of Product Line Roadmaps.

Jacco H. Wesselius

Proceedings of the Software Product Lines - Research Issues in Engineering and Management, 2006

2005

Modeling Architectural Value: Cash Flow, Time and Uncertainty.

Jacco H. Wesselius

Proceedings of the Software Product Lines, 9th International Conference, 2005

1990

Some elementary questions on software quality control.

Jacco H. Wesselius, Frans Ververs

Softw. Eng. J., 1990