Skip to Content
Toggle navigation
Home
Browse
Browse by Collection
Browse by Project Center
Browse Exhibits
About
About Us
Help
Login
Explore, Discover, Share
Search
Advanced search
Search Constraints
Start Over
Filtering by:
Contributor
Heineman, George T.
Remove constraint Contributor: Heineman, George T.
Year
2015
Remove constraint Year: 2015
1
-
2
of
2
Sort by date uploaded ▲
relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲
Number of results to display per page
100 per page
10
per page
20
per page
50
per page
100
per page
View results as:
List
Gallery
Masonry
Slideshow
Search Results
A Framework for Exploring Finite Models
Keyword:
provenance information
,
Razor
,
Aluminum
,
first-order logic
,
Geometric Logic
,
Chase
,
finite model-finding
, and
exploration
Creator:
Saghafi, Salman
Advisor:
Dougherty, Daniel J.
Publisher:
Worcester Polytechnic Institute
Date Created:
2015-04-30
Resource Type:
Dissertation
Degree:
PhD
Unit (Department):
Computer Science
Generating Members of a Software Product Line Using Combinatory Logic
Keyword:
software reuse
,
Framework
, and
product line
Creator:
Hoxha, Armend
Advisor:
Heineman, George T.
Publisher:
Worcester Polytechnic Institute
Date Created:
2015-05-04
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
Toggle facets
Limit your search
Collections
PhD Dissertations
1
Masters Theses
1
Year
2015
[remove]
2
Creator
Hoxha, Armend
1
Saghafi, Salman
1
Advisor
Dougherty, Daniel J.
1
Heineman, George T.
1
Contributor
Dougherty, Daniel J.
1
Guttman, Joshua
1
Heineman, George T.
[remove]
2
Ramsdell, John D.
1
Unit (Department)
Computer Science
2
Publisher
Worcester Polytechnic Institute
2
Resource type
Dissertation
1
Thesis
1