Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for +publisher:"DIAL (Belgium)" +contributor:("Vanhoof, Wim"). Showing records 1 – 4 of 4 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters

1. Cleve, Anthony. Program Analysis and Transformation for Data-Intensive System Evolution.

Degree: 2009, DIAL (Belgium)

Data-intensive software systems are generally made of a database (sometimes in the form of a set of files) and a collection of application programs in… (more)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Cleve, A. (2009). Program Analysis and Transformation for Data-Intensive System Evolution. (Thesis). DIAL (Belgium). Retrieved from http://hdl.handle.net/2078.2/28682

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Cleve, Anthony. “Program Analysis and Transformation for Data-Intensive System Evolution.” 2009. Thesis, DIAL (Belgium). Accessed May 22, 2019. http://hdl.handle.net/2078.2/28682.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Cleve, Anthony. “Program Analysis and Transformation for Data-Intensive System Evolution.” 2009. Web. 22 May 2019.

Vancouver:

Cleve A. Program Analysis and Transformation for Data-Intensive System Evolution. [Internet] [Thesis]. DIAL (Belgium); 2009. [cited 2019 May 22]. Available from: http://hdl.handle.net/2078.2/28682.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Cleve A. Program Analysis and Transformation for Data-Intensive System Evolution. [Thesis]. DIAL (Belgium); 2009. Available from: http://hdl.handle.net/2078.2/28682

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

2. Marcozzi, Michaël. Automatic Test Generation for Data-Driven Applications.

Degree: 2014, DIAL (Belgium)

All human beings make mistakes. Programmers are human beings. Thus programmers make mistakes. This seemingly harmless syllogism can have disastrous consequences for the society. As… (more)

Subjects/Keywords: Software Testing; Constraint Programming; Databases

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Marcozzi, M. (2014). Automatic Test Generation for Data-Driven Applications. (Thesis). DIAL (Belgium). Retrieved from http://hdl.handle.net/2078.2/153194

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Marcozzi, Michaël. “Automatic Test Generation for Data-Driven Applications.” 2014. Thesis, DIAL (Belgium). Accessed May 22, 2019. http://hdl.handle.net/2078.2/153194.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Marcozzi, Michaël. “Automatic Test Generation for Data-Driven Applications.” 2014. Web. 22 May 2019.

Vancouver:

Marcozzi M. Automatic Test Generation for Data-Driven Applications. [Internet] [Thesis]. DIAL (Belgium); 2014. [cited 2019 May 22]. Available from: http://hdl.handle.net/2078.2/153194.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Marcozzi M. Automatic Test Generation for Data-Driven Applications. [Thesis]. DIAL (Belgium); 2014. Available from: http://hdl.handle.net/2078.2/153194

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

3. Degrave, François. On automatic, constraint-based test-case generation for Mercury and its application to imperative languages.

Degree: 2013, DIAL (Belgium)

Creating a piece of software behaving the way the user expects it to behave is a central problem in computer science. Once a system is… (more)

Subjects/Keywords: Program analysis; Symbolic execution; Test data generation; Test case generation; Logic programming; Mercury

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Degrave, F. (2013). On automatic, constraint-based test-case generation for Mercury and its application to imperative languages. (Thesis). DIAL (Belgium). Retrieved from http://hdl.handle.net/2078.2/129078

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Degrave, François. “On automatic, constraint-based test-case generation for Mercury and its application to imperative languages.” 2013. Thesis, DIAL (Belgium). Accessed May 22, 2019. http://hdl.handle.net/2078.2/129078.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Degrave, François. “On automatic, constraint-based test-case generation for Mercury and its application to imperative languages.” 2013. Web. 22 May 2019.

Vancouver:

Degrave F. On automatic, constraint-based test-case generation for Mercury and its application to imperative languages. [Internet] [Thesis]. DIAL (Belgium); 2013. [cited 2019 May 22]. Available from: http://hdl.handle.net/2078.2/129078.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Degrave F. On automatic, constraint-based test-case generation for Mercury and its application to imperative languages. [Thesis]. DIAL (Belgium); 2013. Available from: http://hdl.handle.net/2078.2/129078

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

4. Trigaux, Jean-Christophe. Quality of Feature Diagram Languages: formal Evaluation and Comparison.

Degree: 2008, DIAL (Belgium)

In software engineering, software reuse has been a popular topic since 1968. Nowadays, Software Product Line (SPL) engineering promotes systematic reuse throughout the whole software… (more)

Subjects/Keywords: Feature Modelling; Feature Diagrams; Variability Management; Formal Semantics; Formal Methods; Requirements Engineering; Software Product Line; Automated Reasoning; Language Evaluation; Language Quality.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Trigaux, J. (2008). Quality of Feature Diagram Languages: formal Evaluation and Comparison. (Thesis). DIAL (Belgium). Retrieved from http://hdl.handle.net/2078.2/22706

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Trigaux, Jean-Christophe. “Quality of Feature Diagram Languages: formal Evaluation and Comparison.” 2008. Thesis, DIAL (Belgium). Accessed May 22, 2019. http://hdl.handle.net/2078.2/22706.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Trigaux, Jean-Christophe. “Quality of Feature Diagram Languages: formal Evaluation and Comparison.” 2008. Web. 22 May 2019.

Vancouver:

Trigaux J. Quality of Feature Diagram Languages: formal Evaluation and Comparison. [Internet] [Thesis]. DIAL (Belgium); 2008. [cited 2019 May 22]. Available from: http://hdl.handle.net/2078.2/22706.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Trigaux J. Quality of Feature Diagram Languages: formal Evaluation and Comparison. [Thesis]. DIAL (Belgium); 2008. Available from: http://hdl.handle.net/2078.2/22706

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

.