Index Catalog // Digital WPI

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

1 of 10

First-Order Models for Configuration Analysis

2 of 10

Building Web Based Programming Environments for Functional Programming

3 of 10

Disjunction of Regular Timing Diagrams

4 of 10

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

5 of 10

Alchemy: Transmuting Base Specifications into Implementations

6 of 10

Feature-Oriented Specification of Hardware Bus Protocols

7 of 10

An Axiomatic Semantics for Functional Reactive Programming

8 of 10

A Modular Model Checking Algorithm for Cyclic Feature Compositions

9 of 10

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

10 of 10

Limit your search