Research Output 1988 2017

Filter
PhD Thesis - Research UT, graduation UT
2014

JTorX: Exploring Model-Based Testing

Belinfante, A. 18 Sep 2014 Enschede: Centre for Telematics and Information Technology (CTIT). 324 p.

Research output: ScientificPhD Thesis - Research UT, graduation UT

Testing
Engines
Visualization
Education
2013

Abstract graph transformation theory and practice

Zambon, E. 24 Jan 2013 Enschede: Universiteit Twente. 152 p.

Research output: ScientificPhD Thesis - Research UT, graduation UT

Model checking
Computer systems
Semantics
Specifications

Abstract Graph Transformation - Theory and Practice

Zambon, E. 24 Jan 2013 Enschede: Centre for Telematics and Information Technology (CTIT). 162 p.

Research output: ScientificPhD Thesis - Research UT, graduation UT

Model checking
Specifications
Data structures
Computer systems
2011

On changing models in Model-Based Testing

van der Bijl, H. M. 12 May 2011 Enschede: Centre for Telematics and Information Technology (CTIT). 231 p.

Research output: ScientificPhD Thesis - Research UT, graduation UT

2010

Graph-based specification and verification for aspect-oriented languages

Staijen, T. 3 Jun 2010 Enschede. 234 p.

Research output: ScientificPhD Thesis - Research UT, graduation UT

Semantics
Knowledge based systems
Aspect oriented programming
Software engineering
Computer programming languages

Graph-based Specification and Verification for Aspect-Oriented Languages

Staijen, T. 6 Jun 2010 Enschede: Centre for Telematics and Information Technology (CTIT). 234 p.

Research output: ScientificPhD Thesis - Research UT, graduation UT

Semantics
Knowledge based systems
Aspect oriented programming
Software engineering
Specifications
2008

Graph-based software specification and verification

Kastenberg, H. 3 Oct 2008 Enschede. 368 p.

Research output: ScientificPhD Thesis - Research UT, graduation UT

Model checking
Semantics
C (programming language)
Specifications
Java programming language
2003

On Model Checking the Dynamics of Object-Based Software: A Foundational Approach

Distefano, D. S. 2003 Enschede: Twente University Press (TUP). 313 p.

Research output: ScientificPhD Thesis - Research UT, graduation UT

Model checking
Explosions
1993

Models and Methods for Action Refinement

Rensink, A. 1993 Enschede: Universiteit Twente. 319 p.

Research output: ScientificPhD Thesis - Research UT, graduation UT