Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Liitotsing
Valitud kirjed
0
model refinement (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Lisa tingimus
Lihtotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
1
Vaata veel..
(2/444)
Ekspordi
ekspordi kõik päringu tulemused
(1)
Salvesta TXT fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel kogumikus
Exploiting aspects in model-based testing
Sarna, Külli
;
Vain, Jüri
FOAL'12 : proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages : March 26, 2012, Potsdam, German
2012
/
p. 45-47 : ill
https://www.researchgate.net/publication/254007794_Exploiting_aspects_in_model-based_testing
artikkel kogumikus
Kirjeid leitud 1, kuvan
1 - 1
võtmesõna
442
1.
model refinement
2.
grain refinement
3.
microstructural refinement
4.
refinement
5.
rietveld refinement
6.
accrual-based credit risk model
7.
acoustic model
8.
additive color model
9.
adjusted DuPont model
10.
agent-based model
11.
Allen-Cahn Chan-Vese model
12.
alternative model
13.
analysis model
14.
analytical lumped parameter model
15.
analytical model
16.
analytical thermal model approach
17.
APARHC model
18.
APICS competence model
19.
ARIMA model
20.
armature current model
21.
as-built model
22.
asymmetric model
23.
attack model
24.
automatic GUI model generation
25.
automatic model creation
26.
Bass model
27.
Bayesian model averaging
28.
Bertotti model
29.
beyond standard model
30.
bicycle model
31.
blockiotintelligence architectural model
32.
business model
33.
business model archetypes
34.
business model attributes
35.
business model canvas
36.
business model classification
37.
business model generation
38.
business model innovation
39.
Business Model Innovation (BMI)
40.
business model reconfiguration
41.
business model research
42.
business network model
43.
Caco2 model cells
44.
Capability Maturity Model Integration for Development
45.
cartesian system model
46.
casual probabilistic model
47.
CERC model
48.
chain model
49.
channel model
50.
charging planning model
51.
Coalitional game model
52.
communication model
53.
compact empirical model
54.
compact model
55.
company analyze model
56.
competence model
57.
competency model
58.
Comprehensive Situation Awareness Model
59.
conceptual data model
60.
conceptual model
61.
conceptual model of curriculum for accounting specialization
62.
condenser model
63.
constitutive model
64.
Context model
65.
corrosion model
66.
country analysis model
67.
coupled coils model
68.
crop model
69.
cross-city model transfer
70.
data generative model
71.
data quality maturity model
72.
data-driven model
73.
decentralized model predictive control
74.
deep learning model
75.
deep learning model quantization
76.
default company model
77.
design model
78.
design-driven business model
79.
designing a teaching model
80.
detailed model
81.
didactic model
82.
diffusion model
83.
digital elevation model
84.
digital surface model (DSM)
85.
disease model
86.
distributed activation energy model
87.
distributed parameter model
88.
distributed parameter model of metastructures
89.
Dodd–Deeds model
90.
domain model
91.
domain model and domain modelling
92.
double diamond model
93.
dq0 model
94.
DSGE model
95.
DSL meta-model ontology
96.
Ducoffe’s advertisement value model
97.
Ducoffe’s advertising model
98.
dynamic factor model
99.
dynamic load model
100.
dynamic model
101.
Dynamical vegetation model
102.
Ecological Regional Ocean Model (ERGOM)
103.
economic model
104.
Economic optimization model
105.
EES model
106.
EES Model-2
107.
elaboration likelihood model
108.
ELAQF Competence Model
109.
electricity demand model
110.
Electronic Education System Model-2
111.
empirical energy consumption model
112.
empirical model
113.
end member mixing model
114.
endogenous growth model
115.
end-to-end model-based system
116.
energy system model
117.
enzyme-constrained genome-scale model
118.
enterprise analysis model (EAM)
119.
entrepreneurial intention transformation model “EITM”
120.
equivalent circuit model
121.
Eringen model
122.
Estonian sustainability model
123.
Eulerian model
124.
European Charring Model
125.
EV load model
126.
Event Processing Network Model
127.
experience pyramid model
128.
Experimental model
129.
explainable AI model
130.
exponential load model
131.
exponential model
132.
fault analysis model
133.
Felder-Silverman model
134.
FEM model
135.
FEM-model
136.
field tests model validation
137.
finite control set-model predictive control (FCS-MPC)
138.
finite cycle-based model predictive control
139.
finite element model
140.
finite-element (FE) model
141.
finite-element model
142.
fire design model
143.
FitzHugh-Nagumo model
144.
fixed country-effect model
145.
FOPDT model
146.
friction model
147.
functional fault model
148.
fuzzy logic model
149.
gaussian mixture model
150.
Gaussian model
151.
General Estuarine Transport Model (GETM)
152.
generative diffusion model
153.
genome model
154.
Genome-scale metabolic model
155.
geoid model
156.
GIS model
157.
Global climate model
158.
goal model
159.
gravity model
160.
grey box model
161.
GTAP model
162.
GUI model
163.
habitat model
164.
habitat suitability model
165.
Hammerstein-Wiener model
166.
HBM model
167.
Hidden Markov Model (HMM)
168.
high-frequency model
169.
high-level control fault model
170.
high-level fault model
171.
high-level functional fault model
172.
HIROMB-BOOS-Model (HBM)
173.
HL7 Version 3: Reference Information Model (RIM)
174.
holistic M&A model
175.
holistic merger and acquisition model
176.
hot/cold pressing and finite element model simulation
177.
hydraulic model
178.
hydraulic network model
179.
hydrodynamic model
180.
Ice history model
181.
inductive model
182.
information model
183.
information model-based urban planning
184.
infringer model
185.
initial data model
186.
input-output model
187.
integrated quadruple instructional model
188.
integrated waste management model
189.
integrative pedagogy model
190.
interpretive structural model (ISM)
191.
iron losses 3D model
192.
Jiles–Atherton (JA) model
193.
Johnson–Cook failure model
194.
joint model
195.
Kano model
196.
KPI selection model
197.
KPIs selection model
198.
laboratory domain model
199.
Lagrangian model
200.
Land Administration Domain Model (LADM)
201.
large language model (LLM)
202.
linear Delta robots neural network based model
203.
local interpretable model-agnostic explanations (LIME)
204.
local model
205.
logistic model
206.
logistic regression model
207.
logistics competence model
208.
loss model
209.
LSV model
210.
lumped model
211.
lumped parameter model
212.
lumped-parameter model
213.
Luxemburg model
214.
Machine Learning Explainable model
215.
machine-learning predictive model
216.
MACRO model
217.
Markov model
218.
Markov-switching model
219.
mathematical model
220.
maturity model
221.
measurement model
222.
mental model
223.
meta model
224.
metadata model for security measures
225.
meta-model
226.
MGARCH model
227.
micromechanical model
228.
microscopic traffic flow model
229.
Mindlin model
230.
model
231.
model amphipathic peptide
232.
model averaging
233.
model based
234.
model based testing
235.
model building
236.
model building and simulation
237.
model calibration
238.
model checking
239.
model communities
240.
model comparison
241.
model compression
242.
model construction
243.
model description
244.
model designer
245.
Model Driven Architecture
246.
model driven development
247.
model driven engineering
248.
model ensemble
249.
model evaluation
250.
model free
251.
model identification
252.
model interpretability
253.
model learning
254.
model matching problem
255.
model of fracture mechanism
256.
model of fracturemechanism
257.
model of friction
258.
model of goal-directed behaviour
259.
model of non-technical engineering competences
260.
model order estimation
261.
model order reduction
262.
model order reduction (MOR)
263.
model predictive control
264.
model predictive control (MPC)
265.
model predictive controllers (MPC)
266.
model reanalysis
267.
model reduction
268.
model reference adaptive control
269.
model reference controller
270.
model smell
271.
Model test
272.
model transformation
273.
model transformations
274.
Model validation
275.
model verification
276.
model-based control
277.
model-based development
278.
Model-Based Engineering (MBE)
279.
model-based mutation testing
280.
model-based navigation
281.
model-based patterns
282.
model-based software development
283.
Model-Based Systems Engineering (MBSE)
284.
model-based testing
285.
model-based verification
286.
model-checking
287.
model-driven architecture
288.
model-driven design
289.
model-driven development
290.
model-driven software engineering
291.
model-free control
292.
model-free methods
293.
model-scale experiments
294.
modified winding function‐based model
295.
modulated finite control set-model predictive control
296.
mouse model
297.
multi model ensemble (MME)
298.
multiagent-based microscopic traffic assignment model (MMTAM)
299.
multidomain language model
300.
multi-loop model reference control
301.
multi-model ensemble
302.
multiplicative neuron model
303.
multi-pole mathematical model
304.
multi-pole model
305.
multi-pole model design
306.
natural background model
307.
neural additive model
308.
New Keynesian model
309.
Neyman-Pearson model
310.
NKG2015 geoid model
311.
NN-ANARX model
312.
nonlinear model identification
313.
nonlinear model predictive control
314.
nonlinear time-varying factor model
315.
non-thermal model
316.
Nonthermal model
317.
NSPT model
318.
numerical model
319.
object model
320.
ocean-sea-ice model
321.
open architecture model
322.
open-economy dynamic general equilibrium model
323.
openEHR RM (Reference Model)
324.
optimal model
325.
Overlapping generations model
326.
panel threshold model
327.
panel vector autoregressive model (VAR)
328.
parallel reaction model
329.
path loss model
330.
pedagogical design model
331.
Peirce’s triadic model
332.
Peirce's model
333.
photodiode model
334.
PLM maturity model
335.
plume model
336.
POM model
337.
population balance model
338.
Porter’s diamond model
339.
power loss model
340.
power market model
341.
prediction model
342.
predictive model
343.
pre-trained model
344.
price-sensitive model of flexible equipment
345.
Princeton Ocean Model
346.
Probabilistic Graph Model (PGM)
347.
probabilistic model
348.
process model
349.
projection model
350.
Quadruple Helix Model
351.
quarter car model
352.
rabbit model
353.
Random Parameter Linear Regression Model (RPLRM)
354.
recurrent neural network language model
355.
reduced order model
356.
reference model
357.
regression based model
358.
regulatory model
359.
reputation model
360.
residential electricity consumption model
361.
Residual Terrain Model (RTM) anomaly
362.
residual terrain model anomaly
363.
retaining research financing, changes in salary rules; new academic career model
364.
REVEALS model
365.
reversed hazard rate model
366.
Reynolds stress turbulence model
367.
Richardson Maturity Model
368.
ripening model
369.
risk evaluation model
370.
risk evaluation model development
371.
risk management model
372.
sanitary sewer model
373.
scalar model
374.
Scott-Kennel model
375.
security model
376.
shared mental model
377.
SHEL model
378.
ship model basin
379.
simplified model
380.
simulating waves nearshore (SWAN) model
381.
simulation model
382.
simulink model
383.
Simultaneous model-based optimization
384.
single-cell model
385.
sliding model control
386.
small-signal model
387.
SOILN model
388.
specific energy model
389.
standard cost model
390.
statistical model residuals
391.
Storm Water Management Model (SWMM5)
392.
Straussian theory model
393.
structural model
394.
stuck-at fault model
395.
subtractive color model
396.
supply chain model framework
397.
supply chain operations reference (SCOR) model
398.
surrogate model
399.
sustainability model framework
400.
sustainable business model
401.
SWAN model
402.
Zimbabwe agro-pastoral management model
403.
ZIP model
404.
zonal model
405.
teaching model
406.
technology acceptance model
407.
Technology Acceptance Model (TAM)
408.
tender evaluation model
409.
test model design
410.
The Baltic Sea Model Intercomparison Project (BMIP)
411.
the model of non-technical competences
412.
thermal model
413.
tobit regression model
414.
trade gravity model
415.
transnational model
416.
transport model
417.
transportation model
418.
travel time model
419.
tunnelling‐percolation model
420.
turn model
421.
two-dimensional model
422.
two-factor model
423.
typical user model
424.
Ulrich HR roles model
425.
ultra-local model
426.
ultralocal model (ULM) control
427.
Uppaal model-checker
428.
user behavioral model
429.
user dialogue model
430.
utility model
431.
validation of simulation model
432.
value-centric model
433.
wave model
434.
Vector Error Correction Model
435.
vector space model
436.
Wells-Riley model
437.
verification by model checking
438.
whole-cell model
439.
Viable Systems Model
440.
wind force model
441.
VRH model
442.
3D model
märksõna
2
1.
Fit Model
2.
General Estuarine Transport Model (GETM)
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT