DE eng

Search in the Catalogues and Directories

Page: 1 2 3 4 5
Hits 61 – 80 of 82

61
Subjective Visual Vertical Test
In: ETSU Faculty Works (2009)
BASE
Show details
62
SATEL — A test intention language for object-oriented specifications of reactive systems ...
Silva Lúcio, Levi Pedro. - : Université de Genève, 2009
BASE
Show details
63
Relevance Feedback based on Constrained Clustering: FDU at TREC 09
In: DTIC (2009)
BASE
Show details
64
A Journey in Entity Related Retrieval for TREC 2009
In: DTIC (2009)
BASE
Show details
65
Lucene for n-grams using the ClueWeb Collection
In: DTIC (2009)
BASE
Show details
66
BIT at TREC 2009 Faceted Blog Distillation Task
In: DTIC (2009)
BASE
Show details
67
Proactive Intelligence (PAINT) Simulated Exploration of Executable Design Strategies (SEEDS)
In: DTIC (2009)
BASE
Show details
68
IRRA at TREC 2009: Index Term Weighting based on Divergence From Independence Model
In: DTIC (2009)
BASE
Show details
69
POSTECH at TREC 2009 Blog Track: Top Stories Identification
In: DTIC (2009)
BASE
Show details
70
PRIS at 2009 Relevance Feedback track: Experiments in Language Model for Relevance Feedback
In: DTIC (2009)
BASE
Show details
71
Novel Topic Impact on Authorship Attribution
In: DTIC (2009)
BASE
Show details
72
Experiments on Related Entity Finding Track at TREC 2009
In: DTIC (2009)
BASE
Show details
73
Facet Classification of Blogs: Know-Center at the TREC 2009 Blog Distillation Task
In: DTIC (2009)
BASE
Show details
74
An Investigation of Intelligibility Between West-Central Thailand Pwo Karen and Northern Pwo Karen
BASE
Show details
75
A Sociolinguistic Survey of Pwo Karen in Northern Thailand
BASE
Show details
76
Chinese University Students’ Motivation, Anxiety, Global Awareness, Linguistic Confidence, and English Test Performance: a Correlational and Causal Investigation
Zheng, Ying. - 2009
BASE
Show details
77
SATEL — A test intention language for object-oriented specifications of reactive systems
Silva Lúcio, Levi Pedro. - : Université de Genève, 2009
Abstract: Cette thèse traite de la problématique de la génération de jeux de tests à partir d'une spécification logicielle. En particulier nous nous intéresserons au langage de spécification CO-OPN(Concurrent Object-Oriented Petri Nets) [1, 2], basé sur les réseaux algébriques étendus grâce à des méchanismes objets et de distribution. Pour traiter ce problème nous avons dû revoir le langage CO-OPN. En effet la sémantique du langage ayant été définie par itérations successives, celle-ci s'est avérée inadaptée à la génération de jeux de tests. Nous proposons à travers notre travail une nouvelle version de CO-OPN où la syntaxe et la sémantique ont été complètement revues et qui intègrent les travaux précédents où des descriptions précises et formelles ont été employés.
Keyword: Formal methods; info:eu-repo/classification/ddc/025.063; Language sémantics; Model based testing; Object oriented specifications; Reactive systems; Test intentions
URL: https://archive-ouverte.unige.ch/unige:2498
https://doi.org/10.13097/archive-ouverte/unige:2498
BASE
Hide details
78
Exploring Factors Associated With ESL/ELD Students’ Performance on the Ontario Secondary School Literacy Test
Zheng, Ying. - 2009
BASE
Show details
79
A comparative study on differences in language output between mainstream and CLIL students at two Austrian colleges of engineering, crafts and arts
BASE
Show details
80
Exploring the complexity of second language writers' strategy use and performance on an integrated writing test through structural equation modeling and qualitative approaches
Yang, Hui-chun. - 2009
BASE
Show details

Page: 1 2 3 4 5

Catalogues
7
0
30
0
0
0
0
Bibliographies
54
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
28
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern