BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × France
1 × Italy
1 × USA
Collaborated with:
J.F.Groote A.Osaiweran
Talks about:
control (3) method (3) formal (3) develop (2) analyz (2) unit (2) uncertainti (1) architectur (1) distribut (1) scenario (1)

Person: Jacco H. Wesselius

DBLP DBLP: Wesselius:Jacco_H=

Contributed to:

ICST 20122012
SAC 20122012
ICSM 20112011
SPL Book 20062006
SPLC 20052005

Wrote 5 papers:

ICST-2012-GrooteOW #formal method #using
Analyzing a Controller of a Power Distribution Unit Using Formal Methods (JFG, AO, JHW), pp. 420–428.
SAC-2012-GrooteOW #case study #experience #formal method
Experience report on developing the Front-end client unit under the control of formal methods (JFG, AO, JHW), pp. 1183–1190.
ICSM-2011-GrooteOW #development #formal method #industrial
Analyzing the effects of formal methods on the development of industrial control software (JFG, AO, JHW), pp. 467–472.
SPL-BOOK-2006-Wesselius #product line
Strategic Scenario-Based Valuation of Product Line Roadmaps (JHW), pp. 53–89.
SPLC-2005-Wesselius #architecture #modelling #nondeterminism
Modeling Architectural Value: Cash Flow, Time and Uncertainty (JHW), pp. 89–95.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.