Index Catalog // Hyrax

Skip to Content

Accueil
Browse
About
- About Us
- Help

S'identifier

Explore, Discover, Share

Advanced search

Recherche

Effacer les filtres

Filtrage par: Contributor Fisler, Kathryn Supprimer la restriction Contributor: Fisler, Kathryn Unit (Department) Computer Science Supprimer la restriction Unit (Department): Computer Science

1 - 10 sur 10

relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲

Nombre de résultats à afficher par page

10 par page
20 par page
50 par page
100 par page

Affichage:

Liste Galerie Mosaïque Diaporama

Download search results to .CSV file

Résultats de recherche

Development of a Data-Grounded Theory of Program Design in HTDP

Mot-clé:

Program design, Human-centered computing, Cognition, Planning, Computing education, and Functional programming

Créateur:

Castro, Francisco Enrique Vi G.

Advisor:

Fisler, Kathryn

Éditeur:

Worcester Polytechnic Institute

date créée:

2020-05-18

Resource Type:

Dissertation

Degree:

PhD

Unit (Department):

Computer Science
First-Order Models for Configuration Analysis

Mot-clé:

firewalls, Security, static analysis, logic, scenarios, model finding, and configuration

Créateur:

Nelson, Tim

Advisor:

Dougherty, Daniel J. and Fisler, Kathryn

Éditeur:

Worcester Polytechnic Institute

date créée:

2013-04-25

Resource Type:

Dissertation

Degree:

PhD

Unit (Department):

Computer Science
Building Web Based Programming Environments for Functional Programming

Mot-clé:

compilation, web, javascript, programming environments, and Education

Créateur:

Yoo, Daniel

Advisor:

Fisler, Kathryn

Éditeur:

Worcester Polytechnic Institute

date créée:

2012-04-26

Resource Type:

Dissertation

Degree:

PhD

Unit (Department):

Computer Science
Disjunction of Regular Timing Diagrams

Mot-clé:

disjunction, timing diagrams, model checking, temporal logic, and Alloy

Créateur:

Feng, Yu

Advisor:

Fisler, Kathryn

Éditeur:

Worcester Polytechnic Institute

date créée:

2010-10-12

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Computer Science
Margrave: An Improved Analyzer for Access-Control and Configuration Policies

Mot-clé:

finite model property, firewalls, applied logic, and Access Control

Créateur:

Nelson, Timothy

Advisor:

Fisler, Kathryn

Éditeur:

Worcester Polytechnic Institute

date créée:

2010-04-13

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Computer Science
Alchemy: Transmuting Base Specifications into Implementations

Mot-clé:

Alloy, program synthesis, and relational specification

Créateur:

Yoo, Daniel

Advisor:

Fisler, Kathryn

Éditeur:

Worcester Polytechnic Institute

date créée:

2009-02-26

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Computer Science
Feature-Oriented Specification of Hardware Bus Protocols

Mot-clé:

hardware verification, timing diagrams, language, and aspect-oriented programming

Créateur:

Freitas, Paul Michael

Advisor:

Fisler, Kathryn

Éditeur:

Worcester Polytechnic Institute

date créée:

2008-04-29

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Computer Science
An Axiomatic Semantics for Functional Reactive Programming

Mot-clé:

coq, monads, formal verification, and functional reactive programming

Créateur:

King, Christopher T.

Advisor:

Fisler, Kathryn

Éditeur:

Worcester Polytechnic Institute

date créée:

2008-04-29

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Computer Science
A Modular Model Checking Algorithm for Cyclic Feature Compositions

Mot-clé:

model checking, feature-oriented software development, modular verification, Verification, and assume-guarantee reasoning

Créateur:

Wang, Xiaoning

Advisor:

Fisler, Kathryn

Éditeur:

Worcester Polytechnic Institute

date créée:

2005-01-11

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Computer Science
Modular Detection of Feature Interactions Through Theorem Proving: A Case Study

Mot-clé:

theorem proving, software verification, feature-oriented programming, feature interaction, and modular verification

Créateur:

Roberts, Brian Glenn

Advisor:

Fisler, Kathryn

Éditeur:

Worcester Polytechnic Institute

date créée:

2003-08-21

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Computer Science

Limiter votre recherche

Collections

Masters Theses7
PhD Dissertations3

Year

Year range begin – Year range end

Current results range from 2003 to 2020

View distribution

Créateur

Castro, Francisco Enrique Vi G.1
Feng, Yu1
Freitas, Paul Michael1
King, Christopher T.1
Nelson, Tim1
plus Créateurs »

Advisor

Dougherty, Daniel J.1
Fisler, Kathryn10

Contributor

Dorn, Brian1
Dougherty, Daniel J.2
Fisler, Kathryn[remove]10
Guttman, Joshua2
Krishnamurthi, Shriram1
plus Contributors »

Unit (Department)

Computer Science[remove]10

Éditeur

Worcester Polytechnic Institute10

Type de ressource

Thesis7
Dissertation3

Un service de Samvera .

Hyrax v3.3.0

Copyright © 2018 Samvera Licence sous Licence Apache, Version 2.0