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