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
On verification of the software development process (pealkiri)
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
1
Vaata veel..
(2/129)
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 EST
/
artikkel kogumikus ENG
On verification of the software development process
Kumlander, Deniss
Innovations and advances in computing, informatics, systems sciences, networking and engineering
2015
/
p. 339-343
https://doi.org/10.1007/978-3-319-06773-5_45
Article collection metrics at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
Kirjeid leitud 1, kuvan
1 - 1
võtmesõna
128
1.
verification, assertion-based verification, automatic assertion mining, data mining, association rule mining
2.
client-vendor relationship in software development
3.
model-based software development
4.
ontology driven software development
5.
software development
6.
software development concepts
7.
development of the European building process
8.
assertion-based verification
9.
Automata, Formal Verification
10.
Automatic Security Verification
11.
automatic speaker verification
12.
compliance verification
13.
compositional verification
14.
constraint random verification
15.
deductive verification
16.
extra-functional verification
17.
forecast verification
18.
formal verification
19.
functional verification
20.
grid verification
21.
Hardware Verification
22.
model verification
23.
model-based verification
24.
power verification
25.
program verification
26.
Quantum state verification
27.
reliability verification
28.
RISC-V Security Verification
29.
security verification
30.
simple payment verification (SVP)
31.
simulation-based verification
32.
speaker verification
33.
timing verification
34.
validation and verification
35.
verification
36.
verification and validation
37.
verification by model checking
38.
verification methods
39.
advanced programming and software
40.
agent software architecture
41.
agent-oriented software engineering
42.
Agile software engineering
43.
AI based CAD software
44.
analysis software
45.
Anonymization software
46.
ARIS software
47.
Automated Synthesis of Software-based Self-test
48.
bernese software
49.
business software
50.
CFD (computational fluid dynamics) software
51.
communicating hardware/software systems
52.
communicating software/hardware systems
53.
computer aided software engineering
54.
computer software
55.
Computer software and hardware
56.
COMSOL software
57.
educational software
58.
embedded software
59.
energy simulation software
60.
free software
61.
GIS software
62.
hardware/software co-design
63.
hardware-software integration in robotics
64.
interoperability and evolution of healthcare models and software systems
65.
invasive software
66.
large software projects
67.
learning software agents
68.
model-driven software engineering
69.
ontology-based software engineering
70.
open source software
71.
optimization software
72.
plagiarism software
73.
public domain software
74.
RETScreen software
75.
self learning software
76.
sensor software
77.
simulation software "Delphin"
78.
simulations with software
79.
social software
80.
software
81.
software architecture
82.
software architecture improvement
83.
software based self-test
84.
software companies
85.
software complexity
86.
software containers
87.
software defined networking
88.
software defined networking (SDN)
89.
software defined networks (SDN)
90.
software defined radio
91.
software defined radio (SDR)
92.
software design
93.
software documentation
94.
software engineering
95.
software engineering education
96.
Software engineering methodology evaluation
97.
software engineering practises
98.
software factory
99.
software for measurements
100.
software implementation
101.
software level TMR
102.
software modeling
103.
software outsourcing
104.
Software packages
105.
software project management
106.
software qualification
107.
software quality
108.
software quality attributes
109.
software quality characteristics
110.
software refactoring
111.
software sector
112.
software security
113.
software security level
114.
software security subcharacteristics
115.
software testing
116.
software tools for robot programming
117.
software/hardware partitioning
118.
software/hardware systems
119.
software-based self-test
120.
software-based self-test (SBST)
121.
software-defined network
122.
software-defined networking
123.
software-defined networking (SDN)
124.
software-in-the-loop (SIL) testing
125.
SOLIDWORKS software
126.
SysML modeling software
127.
system-to-software integrity
128.
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