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
Otsing
Valitud kirjed
0
software testing (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
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
2
Vaata veel..
(2/148)
Ekspordi
ekspordi kõik päringu tulemused
(2)
Salvesta TXT fail
Salvesta PDF 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 EST
/
artikkel kogumikus ENG
Inductive and coinductive predicate liftings for effectful programs
Veltri, Niccolò
;
Voorneveld, Niels F.W.
Proceedings 37th Conference on Mathematical Foundations of Programming SemanticsHybrid: Salzburg, Austria and Online, 30th August - 2nd September, 2021
2021
/
p. 260-277
https://doi.org/10.4204/EPTCS.351.16
Conference proceeding at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
2
artikkel kogumikus
Test driven domain modelling
Piho, Gunnar
;
Tepandi, Jaak
;
Parman, Marko
;
Puusep, Viljam
;
Roost, Mart
MIPRO 2011 : 34th International Convention on Information and Communication Technology, Electronics and Microelectronics : May 23-27, 2011, Opatija, Croatia : proceedings
2011
/
p. 576-581
artikkel kogumikus
Kirjeid leitud 2, kuvan
1 - 2
võtmesõna
147
1.
software testing
2.
software-in-the-loop (SIL) testing
3.
accelerated testing
4.
acoustomechanical testing
5.
anaerobic testing
6.
aspect-oriented testing
7.
at-speed testing
8.
benchmark testing
9.
Berridge testing
10.
cancer genomic testing
11.
compliance testing
12.
compositional testing
13.
computer aided testing
14.
conformance testing
15.
courses on electronic testing and design
16.
cybersecurity testing
17.
D. non-destructive testing
18.
design field testing
19.
eddy current testing
20.
erosion testing
21.
fatigue testing
22.
fire testing
23.
hierarchical testing
24.
hypotheses testing
25.
integration testing
26.
laboratory scale testing
27.
load testing
28.
macro mechanical testing and green surface tribology
29.
material testing
30.
measurement and testing
31.
mechanical testing
32.
memory testing
33.
metamorphic testing
34.
microprocessor testing
35.
model based testing
36.
model-based mutation testing
37.
model-based testing
38.
mutation testing
39.
network-testing
40.
non destructive testing
41.
nondestructive testing
42.
non-destructive testing
43.
on-site testing
44.
pin on disc wear testing
45.
PMU calibration testing
46.
PMU testing
47.
point-of-care testing
48.
processor core testing
49.
processor testing
50.
real-time HiL testing
51.
regression testing
52.
RISC processor testing
53.
robustness testing
54.
scenario testing
55.
scratch testing
56.
security testing
57.
small-scale fire testing
58.
stand-alone testing
59.
stress-testing
60.
substation testing methods
61.
system testing
62.
tensile testing
63.
testing
64.
testing methods
65.
testing of digital devices
66.
testing of generator
67.
testing of phasor measurement units
68.
two-dimensional array testing
69.
wafer testing
70.
wear testing
71.
vibration testing
72.
virtual testing
73.
advanced programming and software
74.
agent software architecture
75.
agent-oriented software engineering
76.
Agile software engineering
77.
AI based CAD software
78.
analysis software
79.
Anonymization software
80.
bernese software
81.
business software
82.
CFD (computational fluid dynamics) software
83.
client-vendor relationship in software development
84.
communicating hardware/software systems
85.
communicating software/hardware systems
86.
computer software
87.
COMSOL software
88.
educational software
89.
embedded software
90.
energy simulation software
91.
free software
92.
GIS software
93.
hardware/software co-design
94.
interoperability and evolution of healthcare models and software systems
95.
invasive software
96.
large software projects
97.
learning software agents
98.
model-based software development
99.
ontology driven software development
100.
ontology-based software engineering
101.
open source software
102.
optimization software
103.
plagiarism software
104.
public domain software
105.
RETScreen software
106.
self learning software
107.
sensor software
108.
simulation software "Delphin"
109.
simulations with software
110.
social software
111.
software
112.
software architecture
113.
software based self-test
114.
software companies
115.
software complexity
116.
software containers
117.
software defined networking
118.
software defined networking (SDN)
119.
software defined radio
120.
software design
121.
software development
122.
software development concepts
123.
software engineering
124.
software engineering education
125.
Software engineering methodology evaluation
126.
software engineering practises
127.
software factory
128.
software for measurements
129.
software implementation
130.
software level TMR
131.
software modeling
132.
software outsourcing
133.
software project management
134.
software qualification
135.
software quality
136.
software sector
137.
software/hardware partitioning
138.
software/hardware systems
139.
software-based self-test
140.
software-based self-test (SBST)
141.
software-defined network
142.
software-defined networking
143.
software-defined networking (SDN)
144.
SOLIDWORKS software
145.
SysML modeling software
146.
system-to-software integrity
147.
triptych software engineering
autor
1
1.
Department of Software Science, Tallinn University of Technology
×
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