Index Catalog // Hyrax

Remover filtros

Filtragem por: O Criador Feng, Yu

Game-Like Elements: Exploring the Use of Narrative in Mathematics Education

Palavra-chave:

Mathematics--Study and teaching, Education, Secondary, and Educational games--Design and construction

O Criador:

Feng, Yu, Poirier, William, Doyle, Robert, and Thinzar, Phyo

Advisor:

Beck, Joseph E.

Editor:

Worcester Polytechnic Institute

Data Criada:

2014-01-17

Resource Type:

Interactive Qualifying Project
Disjunction of Regular Timing Diagrams

Palavra-chave:

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

O Criador:

Feng, Yu

Advisor:

Fisler, Kathryn

Editor:

Worcester Polytechnic Institute

Data Criada:

2010-10-12

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Computer Science