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