Search results

Showing 1 to 4 of 4 results

The application of formal methods to the reverse engineering of imperative program code

The application of formal methods to the reverse engineering of imperative program code

Gannod, Gerald C.

Text (1994)

Part of Electronic Theses & Dissertations

Automating component-based software development

Automating component-based software development

Chen, Yonghao (Graduate of Michigan State University)

Text (1999)

Part of Electronic Theses & Dissertations

$Using evolutionary computation to automatically refractor software designs to include design patterns$

Using evolutionary computation to automatically refractor software designs to include design patterns

Jensen, Adam C.

Text (2010)

Part of Electronic Theses & Dissertations

Generating combinatorial test sets for model transformations

Generating combinatorial test sets for model transformations

McGill, Matthew J.

Text (2010)

Part of Electronic Theses & Dissertations