Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Advanced search
My bookmarks
0
On verification of the software development process (title)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
Add criteria
Simple search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
1
Look more..
(3/130)
Export
export all inquiry results
(1)
Save TXT fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
book article EST
/
book article 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
book article EST
/
book article ENG
Number of records 1, displaying
1 - 1
keyword
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
TalTech department
1
1.
Department of Software Science
author
1
1.
Department of Software Science, Tallinn University of Technology
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT