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/150)
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
https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=5967121
artikkel kogumikus
Kirjeid leitud 2, kuvan
1 - 2
võtmesõna
149
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.
materials testing
31.
measurement and testing
32.
mechanical testing
33.
memory testing
34.
metamorphic testing
35.
microprocessor testing
36.
model based testing
37.
model-based mutation testing
38.
model-based testing
39.
mutation testing
40.
network-testing
41.
non destructive testing
42.
nondestructive testing
43.
non-destructive testing
44.
on-site testing
45.
pin on disc wear testing
46.
PMU calibration testing
47.
PMU testing
48.
point-of-care testing
49.
processor core testing
50.
processor testing
51.
real-time HiL testing
52.
regression testing
53.
RISC processor testing
54.
robustness testing
55.
scenario testing
56.
scratch testing
57.
security testing
58.
small-scale fire testing
59.
stand-alone testing
60.
stress-testing
61.
substation testing methods
62.
system testing
63.
tensile testing
64.
testing
65.
testing methods
66.
testing of digital devices
67.
testing of generator
68.
testing of phasor measurement units
69.
two-dimensional array testing
70.
wafer testing
71.
wear testing
72.
vibration testing
73.
virtual testing
74.
advanced programming and software
75.
agent software architecture
76.
agent-oriented software engineering
77.
Agile software engineering
78.
AI based CAD software
79.
analysis software
80.
Anonymization software
81.
bernese software
82.
business software
83.
CFD (computational fluid dynamics) software
84.
client-vendor relationship in software development
85.
communicating hardware/software systems
86.
communicating software/hardware systems
87.
computer software
88.
COMSOL software
89.
educational software
90.
embedded software
91.
energy simulation software
92.
free software
93.
GIS software
94.
hardware/software co-design
95.
interoperability and evolution of healthcare models and software systems
96.
invasive software
97.
large software projects
98.
learning software agents
99.
model-based software development
100.
ontology driven software development
101.
ontology-based software engineering
102.
open source software
103.
optimization software
104.
plagiarism software
105.
public domain software
106.
RETScreen software
107.
self learning software
108.
sensor software
109.
simulation software "Delphin"
110.
simulations with software
111.
social software
112.
software
113.
software architecture
114.
software based self-test
115.
software companies
116.
software complexity
117.
software containers
118.
software defined networking
119.
software defined networking (SDN)
120.
software defined networks (SDN)
121.
software defined radio
122.
software design
123.
software development
124.
software development concepts
125.
software engineering
126.
software engineering education
127.
Software engineering methodology evaluation
128.
software engineering practises
129.
software factory
130.
software for measurements
131.
software implementation
132.
software level TMR
133.
software modeling
134.
software outsourcing
135.
software project management
136.
software qualification
137.
software quality
138.
software sector
139.
software/hardware partitioning
140.
software/hardware systems
141.
software-based self-test
142.
software-based self-test (SBST)
143.
software-defined network
144.
software-defined networking
145.
software-defined networking (SDN)
146.
SOLIDWORKS software
147.
SysML modeling software
148.
system-to-software integrity
149.
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