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
Innovations in Systems and Software Engineering (source)
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/101)
Export
export all inquiry results
(1)
Save TXT fail
Save PDF 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
journal article EST
/
journal article ENG
Certified normalization of generalized traces
Maarand, Hendrik
;
Uustalu, Tarmo
Innovations in Systems and Software Engineering
2019
/
p. 253–265
https://doi.org/10.1007/s11334-019-00347-1
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Number of records 1, displaying
1 - 1
keyword
99
1.
agent-oriented software engineering
2.
Agile software engineering
3.
communicating hardware/software systems
4.
communicating software/hardware systems
5.
computer aided software engineering
6.
interoperability and evolution of healthcare models and software systems
7.
model-driven software engineering
8.
ontology-based software engineering
9.
software engineering
10.
software engineering education
11.
Software engineering methodology evaluation
12.
software engineering practises
13.
software/hardware systems
14.
triptych software engineering
15.
logistics and systems engineering
16.
Model-Based Systems Engineering (MBSE)
17.
systems engineering
18.
design-driven innovations
19.
evaluation of the results of environmental innovations
20.
implementation of innovations
21.
innovations
22.
innovations in education
23.
performance financial innovations
24.
process innovations
25.
voting innovations
26.
advanced programming and software
27.
agent software architecture
28.
AI based CAD software
29.
analysis software
30.
Anonymization software
31.
ARIS software
32.
Automated Synthesis of Software-based Self-test
33.
bernese software
34.
business software
35.
CFD (computational fluid dynamics) software
36.
client-vendor relationship in software development
37.
computer software
38.
Computer software and hardware
39.
COMSOL software
40.
educational software
41.
embedded software
42.
energy simulation software
43.
free software
44.
GIS software
45.
hardware/software co-design
46.
invasive software
47.
large software projects
48.
learning software agents
49.
model-based software development
50.
ontology driven software development
51.
open source software
52.
optimization software
53.
plagiarism software
54.
public domain software
55.
RETScreen software
56.
self learning software
57.
sensor software
58.
simulation software "Delphin"
59.
simulations with software
60.
social software
61.
software
62.
software architecture
63.
software architecture improvement
64.
software based self-test
65.
software companies
66.
software complexity
67.
software containers
68.
software defined networking
69.
software defined networking (SDN)
70.
software defined networks (SDN)
71.
software defined radio
72.
software defined radio (SDR)
73.
software design
74.
software development
75.
software development concepts
76.
software documentation
77.
software factory
78.
software for measurements
79.
software implementation
80.
software level TMR
81.
software modeling
82.
software outsourcing
83.
Software packages
84.
software project management
85.
software qualification
86.
software quality
87.
software refactoring
88.
software sector
89.
software testing
90.
software/hardware partitioning
91.
software-based self-test
92.
software-based self-test (SBST)
93.
software-defined network
94.
software-defined networking
95.
software-defined networking (SDN)
96.
software-in-the-loop (SIL) testing
97.
SOLIDWORKS software
98.
SysML modeling software
99.
system-to-software integrity
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