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:("Heymans, Patrick"). Showing records 1 – 10 of 10 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters

1. Boucher, Quentin. Engineering Configuration Graphical User Interfaces from Variability Models.

Degree: 2014, DIAL (Belgium)

In the past, companies produced large amounts of products through mass production lines. Advantages of such an approach are reduced production costs and time-to-market. While… (more)

Subjects/Keywords: Variability Modelling; Graphical User Interfaces; Feature Model; Configuration; Modélisation de la Variabilité; Interfaces Graphiques

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Boucher, Q. (2014). Engineering Configuration Graphical User Interfaces from Variability Models. (Thesis). DIAL (Belgium). Retrieved from http://hdl.handle.net/2078.2/153189

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):

Boucher, Quentin. “Engineering Configuration Graphical User Interfaces from Variability Models.” 2014. Thesis, DIAL (Belgium). Accessed February 15, 2019. http://hdl.handle.net/2078.2/153189.

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

MLA Handbook (7th Edition):

Boucher, Quentin. “Engineering Configuration Graphical User Interfaces from Variability Models.” 2014. Web. 15 Feb 2019.

Vancouver:

Boucher Q. Engineering Configuration Graphical User Interfaces from Variability Models. [Internet] [Thesis]. DIAL (Belgium); 2014. [cited 2019 Feb 15]. Available from: http://hdl.handle.net/2078.2/153189.

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

Council of Science Editors:

Boucher Q. Engineering Configuration Graphical User Interfaces from Variability Models. [Thesis]. DIAL (Belgium); 2014. Available from: http://hdl.handle.net/2078.2/153189

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

2. Cordy, Maxime. Model Checking for the Masses.

Degree: 2014, DIAL (Belgium)

The model-checking problem for software product lines is harder than for single systems. Indeed, one has to verify all the software variants of a product… (more)

Subjects/Keywords: Formal methods; model checking; software product lines

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Cordy, M. (2014). Model Checking for the Masses. (Thesis). DIAL (Belgium). Retrieved from http://hdl.handle.net/2078.2/152729

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):

Cordy, Maxime. “Model Checking for the Masses.” 2014. Thesis, DIAL (Belgium). Accessed February 15, 2019. http://hdl.handle.net/2078.2/152729.

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

MLA Handbook (7th Edition):

Cordy, Maxime. “Model Checking for the Masses.” 2014. Web. 15 Feb 2019.

Vancouver:

Cordy M. Model Checking for the Masses. [Internet] [Thesis]. DIAL (Belgium); 2014. [cited 2019 Feb 15]. Available from: http://hdl.handle.net/2078.2/152729.

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

Council of Science Editors:

Cordy M. Model Checking for the Masses. [Thesis]. DIAL (Belgium); 2014. Available from: http://hdl.handle.net/2078.2/152729

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

3. Abbasi, Ebrahim. Reverse Engineering Web Congurators.

Degree: 2014, DIAL (Belgium)

In many markets, being competitive echoes with the ability to propose customized products at the same cost and delivery rates as standard ones. As a… (more)

Subjects/Keywords: Software Reverse Engineering; Configuration; Web Technologies

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Abbasi, E. (2014). Reverse Engineering Web Congurators. (Thesis). DIAL (Belgium). Retrieved from http://hdl.handle.net/2078.2/147064

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):

Abbasi, Ebrahim. “Reverse Engineering Web Congurators.” 2014. Thesis, DIAL (Belgium). Accessed February 15, 2019. http://hdl.handle.net/2078.2/147064.

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

MLA Handbook (7th Edition):

Abbasi, Ebrahim. “Reverse Engineering Web Congurators.” 2014. Web. 15 Feb 2019.

Vancouver:

Abbasi E. Reverse Engineering Web Congurators. [Internet] [Thesis]. DIAL (Belgium); 2014. [cited 2019 Feb 15]. Available from: http://hdl.handle.net/2078.2/147064.

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

Council of Science Editors:

Abbasi E. Reverse Engineering Web Congurators. [Thesis]. DIAL (Belgium); 2014. Available from: http://hdl.handle.net/2078.2/147064

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

4. Abbasi, Ebrahim. Reverse Engineering Web Configurators.

Degree: 2014, DIAL (Belgium)

In many markets, being competitive echoes with the ability to propose customized products at the same cost and delivery rates as standard ones. As a… (more)

Subjects/Keywords: Software Reverse Engineering; Configuration; Web Technologies

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Abbasi, E. (2014). Reverse Engineering Web Configurators. (Thesis). DIAL (Belgium). Retrieved from http://hdl.handle.net/2078.2/147063

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):

Abbasi, Ebrahim. “Reverse Engineering Web Configurators.” 2014. Thesis, DIAL (Belgium). Accessed February 15, 2019. http://hdl.handle.net/2078.2/147063.

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

MLA Handbook (7th Edition):

Abbasi, Ebrahim. “Reverse Engineering Web Configurators.” 2014. Web. 15 Feb 2019.

Vancouver:

Abbasi E. Reverse Engineering Web Configurators. [Internet] [Thesis]. DIAL (Belgium); 2014. [cited 2019 Feb 15]. Available from: http://hdl.handle.net/2078.2/147063.

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

Council of Science Editors:

Abbasi E. Reverse Engineering Web Configurators. [Thesis]. DIAL (Belgium); 2014. Available from: http://hdl.handle.net/2078.2/147063

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

5. Hubaux, Arnaud. Feature-based Configuration: Collaborative, Dependable, and Controlled.

Degree: 2012, DIAL (Belgium)

A growing share of products expose sophisticated configurability to handle variations in user and context requirements. Configurators usually rely on variability models, like feature models… (more)

Subjects/Keywords: Feature Model; Configuration; Software Product Line Engineering; Variability Model; Separation of Concerns

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hubaux, A. (2012). Feature-based Configuration: Collaborative, Dependable, and Controlled. (Thesis). DIAL (Belgium). Retrieved from http://hdl.handle.net/2078.2/105420

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):

Hubaux, Arnaud. “Feature-based Configuration: Collaborative, Dependable, and Controlled.” 2012. Thesis, DIAL (Belgium). Accessed February 15, 2019. http://hdl.handle.net/2078.2/105420.

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

MLA Handbook (7th Edition):

Hubaux, Arnaud. “Feature-based Configuration: Collaborative, Dependable, and Controlled.” 2012. Web. 15 Feb 2019.

Vancouver:

Hubaux A. Feature-based Configuration: Collaborative, Dependable, and Controlled. [Internet] [Thesis]. DIAL (Belgium); 2012. [cited 2019 Feb 15]. Available from: http://hdl.handle.net/2078.2/105420.

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

Council of Science Editors:

Hubaux A. Feature-based Configuration: Collaborative, Dependable, and Controlled. [Thesis]. DIAL (Belgium); 2012. Available from: http://hdl.handle.net/2078.2/105420

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

6. Classen, Andreas. Modelling and Model Checking Variability-Intensive Systems.

Degree: 2011, DIAL (Belgium)

The premise of variability-intensive systems, specifically in software product line engineering, is the ability to produce a large family of different systems efficiently. However, in… (more)

Subjects/Keywords: Software engineering; Verification; Software Product Lines; Model Checking; Feature Diagrams; Formal Methods

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Classen, A. (2011). Modelling and Model Checking Variability-Intensive Systems. (Thesis). DIAL (Belgium). Retrieved from http://hdl.handle.net/2078.2/90863

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):

Classen, Andreas. “Modelling and Model Checking Variability-Intensive Systems.” 2011. Thesis, DIAL (Belgium). Accessed February 15, 2019. http://hdl.handle.net/2078.2/90863.

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

MLA Handbook (7th Edition):

Classen, Andreas. “Modelling and Model Checking Variability-Intensive Systems.” 2011. Web. 15 Feb 2019.

Vancouver:

Classen A. Modelling and Model Checking Variability-Intensive Systems. [Internet] [Thesis]. DIAL (Belgium); 2011. [cited 2019 Feb 15]. Available from: http://hdl.handle.net/2078.2/90863.

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

Council of Science Editors:

Classen A. Modelling and Model Checking Variability-Intensive Systems. [Thesis]. DIAL (Belgium); 2011. Available from: http://hdl.handle.net/2078.2/90863

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

7. Mayer, Nicolas. Model-based Management of Information System Security Risk.

Degree: 2009, DIAL (Belgium)

 During the last twenty years, the impact of security concerns on the development and exploitation of information systems never ceased to grow. Security risk management… (more)

Subjects/Keywords: Risk management; Security; Standards; Requirements Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Mayer, N. (2009). Model-based Management of Information System Security Risk. (Thesis). DIAL (Belgium). Retrieved from http://hdl.handle.net/2078.2/22709

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):

Mayer, Nicolas. “Model-based Management of Information System Security Risk.” 2009. Thesis, DIAL (Belgium). Accessed February 15, 2019. http://hdl.handle.net/2078.2/22709.

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

MLA Handbook (7th Edition):

Mayer, Nicolas. “Model-based Management of Information System Security Risk.” 2009. Web. 15 Feb 2019.

Vancouver:

Mayer N. Model-based Management of Information System Security Risk. [Internet] [Thesis]. DIAL (Belgium); 2009. [cited 2019 Feb 15]. Available from: http://hdl.handle.net/2078.2/22709.

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

Council of Science Editors:

Mayer N. Model-based Management of Information System Security Risk. [Thesis]. DIAL (Belgium); 2009. Available from: http://hdl.handle.net/2078.2/22709

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

8. Ramdoyal, Ravi. Reverse Engineering User-Drawn Form-Based Interfaces for Interactive Database Conceptual Analysis.

Degree: 2010, DIAL (Belgium)

The first step of most database design methodologies consists in eliciting part of the user requirements from various sources such as user interviews and corporate… (more)

Subjects/Keywords: Software Engineering; Requirements Engineering; Data Modelling; Database Forward Engineering; Database Reverse Engineering; Human-Computer Interfaces; Prototyping; Participatory Design

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ramdoyal, R. (2010). Reverse Engineering User-Drawn Form-Based Interfaces for Interactive Database Conceptual Analysis. (Thesis). DIAL (Belgium). Retrieved from http://hdl.handle.net/2078.2/69077

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):

Ramdoyal, Ravi. “Reverse Engineering User-Drawn Form-Based Interfaces for Interactive Database Conceptual Analysis.” 2010. Thesis, DIAL (Belgium). Accessed February 15, 2019. http://hdl.handle.net/2078.2/69077.

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

MLA Handbook (7th Edition):

Ramdoyal, Ravi. “Reverse Engineering User-Drawn Form-Based Interfaces for Interactive Database Conceptual Analysis.” 2010. Web. 15 Feb 2019.

Vancouver:

Ramdoyal R. Reverse Engineering User-Drawn Form-Based Interfaces for Interactive Database Conceptual Analysis. [Internet] [Thesis]. DIAL (Belgium); 2010. [cited 2019 Feb 15]. Available from: http://hdl.handle.net/2078.2/69077.

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

Council of Science Editors:

Ramdoyal R. Reverse Engineering User-Drawn Form-Based Interfaces for Interactive Database Conceptual Analysis. [Thesis]. DIAL (Belgium); 2010. Available from: http://hdl.handle.net/2078.2/69077

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

9. Bontemps, Yves. Relating Inter-Agent and Intra-Agent Specifications (The Case of Live Sequence Charts).

Degree: 2005, DIAL (Belgium)

The problem of relating inter-agent and intra-agent behavioral specifications is investigated. These two views are complimentary, in that the former is closer to scenario-based user… (more)

Subjects/Keywords: LSC; Live Sequence Charts; Distributed Systems; Scenarios; Synthesis; Verification; Game Theory; Formal Methods; Software Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bontemps, Y. (2005). Relating Inter-Agent and Intra-Agent Specifications (The Case of Live Sequence Charts). (Thesis). DIAL (Belgium). Retrieved from http://hdl.handle.net/2078.2/4222

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):

Bontemps, Yves. “Relating Inter-Agent and Intra-Agent Specifications (The Case of Live Sequence Charts).” 2005. Thesis, DIAL (Belgium). Accessed February 15, 2019. http://hdl.handle.net/2078.2/4222.

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

MLA Handbook (7th Edition):

Bontemps, Yves. “Relating Inter-Agent and Intra-Agent Specifications (The Case of Live Sequence Charts).” 2005. Web. 15 Feb 2019.

Vancouver:

Bontemps Y. Relating Inter-Agent and Intra-Agent Specifications (The Case of Live Sequence Charts). [Internet] [Thesis]. DIAL (Belgium); 2005. [cited 2019 Feb 15]. Available from: http://hdl.handle.net/2078.2/4222.

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

Council of Science Editors:

Bontemps Y. Relating Inter-Agent and Intra-Agent Specifications (The Case of Live Sequence Charts). [Thesis]. DIAL (Belgium); 2005. Available from: http://hdl.handle.net/2078.2/4222

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

10. 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 February 15, 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. 15 Feb 2019.

Vancouver:

Trigaux J. Quality of Feature Diagram Languages: formal Evaluation and Comparison. [Internet] [Thesis]. DIAL (Belgium); 2008. [cited 2019 Feb 15]. 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

.