Skip to Content
Toggle navigation
Accueil
Browse
Browse by Collection
Browse by Project Center
Browse Exhibits
About
About Us
Help
S'identifier
Explore, Discover, Share
Aller
Advanced search
Recherche
Effacer les filtres
Filtrage par:
Contributor
Fisler, Kathryn
Supprimer la restriction Contributor: Fisler, Kathryn
« Précédente
|
11
-
12
sur
12
| Suivante »
Trier par relevance
relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲
Nombre de résultats à afficher par page
10 par page
10
par page
20
par page
50
par page
100
par page
Affichage:
Liste
Galerie
Mosaïque
Diaporama
Résultats de recherche
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
« Précédente
Suivante »
1
2
Toggle facets
Limiter votre recherche
Collections
Masters Theses
8
PhD Dissertations
4
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, Yu
1
Freitas, Paul Michael
1
Hu, Yin
2
King, Christopher T.
1
plus
Créateurs
»
Advisor
Dougherty, Daniel J.
1
Fisler, Kathryn
10
Sunar, Berk
2
Contributor
Dorn, Brian
1
Dougherty, Daniel J.
2
Fisler, Kathryn
[remove]
12
Guttman, Joshua
2
Krishnamurthi, Shriram
1
plus
Contributors
»
Unit (Department)
Computer Science
10
Electrical & Computer Engineering
2
Éditeur
Worcester Polytechnic Institute
12
Type de ressource
Thesis
8
Dissertation
4