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
contract-based design (keyword)
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
TTÜ subject term
TTÜ 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
TTÜ subject term
TTÜ 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
TTÜ subject term
TTÜ 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
TTÜ subject term
TTÜ 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
TTÜ subject term
TTÜ 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 publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
2
Look more..
(2/281)
Export
export all inquiry results
(2)
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
book article EST
/
book article ENG
Temporal multi-view contracts for efficient test models
Guin, Jishu
;
Vain, Jüri
;
Tsiopoulos, Leonidas
;
Valdek, Gert
Digital Business and Intelligent Systems : 15th International Baltic Conference, Baltic DB&IS 2022, Riga, Latvia, July 4-6, 2022 : proceedings
2022
/
p. 136–151
https://doi.org/10.1007/978-3-031-09850-5_10
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
2
journal article EST
/
journal article ENG
Temporal multi-view contracts help developing efficient test models
Guin, Jishu
;
Vain, Jüri
;
Tsiopoulos, Leonidas
;
Valdek, Gert
Baltic journal of modern computing
2022
/
p. 710-737
https://doi.org/10.22364/bjmc.2022.10.4.07
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Number of records 2, displaying
1 - 2
keyword
280
1.
contract-based design
2.
Design-by-Contract
3.
component-based design
4.
knowledge-based design
5.
performance-based design
6.
contract for difference (CfD)
7.
contract specificity
8.
contract workforce
9.
hybrid smart-contract agreement
10.
life cycle contract
11.
maritime energy contract
12.
psychological contract
13.
ricardian contract
14.
smart contract
15.
smart contract language
16.
temporal contract
17.
design methodology and human-centred design
18.
Action design research
19.
algorithm design and theory
20.
animation design
21.
architectural design
22.
argumentative design
23.
ASIC design
24.
Baroque garden design
25.
battery design
26.
Benign by design
27.
bioinspired design
28.
biomimetic design
29.
Box–Behnken experimental design methodology
30.
building design
31.
building design management
32.
building performance design
33.
C design
34.
Central composite design
35.
co-design strategies
36.
collaborative design
37.
compatibility design techniques
38.
component design
39.
computational design
40.
computational design method
41.
computational design methods
42.
computational mechanics and design
43.
computer aided design
44.
computer-aided architectural design (CAAD)
45.
computer-aided design
46.
conceptual design
47.
conformational design
48.
control design
49.
control system design
50.
control systems design
51.
cooling design
52.
cost-effective design
53.
cost-oriented design
54.
course design
55.
courses on electronic testing and design
56.
curriculum design
57.
cylindrical cell design
58.
database design
59.
design
60.
design activity
61.
design and implementation of Performance Management Systems
62.
design and test
63.
design aspects
64.
design automation
65.
design cognition
66.
design collaboration
67.
design development
68.
design dimensions
69.
design domains
70.
design education
71.
design entrepreneurship
72.
design error localization
73.
design errors
74.
design evaluation
75.
design experiments
76.
design field testing
77.
design flaw
78.
design for disassembly
79.
design for experiments
80.
design for health
81.
design for manufacturability
82.
design for manufacture
83.
design for quality
84.
design for testability
85.
design function
86.
design globally-produce locally
87.
design impact
88.
design inefficiencies
89.
design language
90.
design management
91.
design management concept
92.
design management problems
93.
design measuring
94.
Design method
95.
design methodology
96.
design methods
97.
design model
98.
design modularisation
99.
design modularity
100.
design obfuscation
101.
design of experiments
102.
Design of glass canopy
103.
design optimization
104.
design outdoor conditions
105.
design outdoor temperature
106.
design patterns
107.
design principles of FMS
108.
design process
109.
design quality
110.
design rhetoric
111.
design science
112.
design science research
113.
design skills
114.
design smell
115.
design space
116.
design space exploration
117.
design standards
118.
design structure matrix
119.
design structure matrix technology
120.
design support systems
121.
design system
122.
design tactics
123.
design theory
124.
design thinking
125.
design tools
126.
design understanding
127.
design value
128.
design worlds
129.
design, technologies and economics competencies
130.
design-driven business model
131.
design-driven innovation
132.
design-driven innovations
133.
design-for-test
134.
design-for-testability
135.
design-science
136.
DHW Design Flow Rate
137.
digital design course
138.
digital design education
139.
digital FIR filter design
140.
digital integrated circuit (IC) design
141.
Digital test and testable design
142.
duct design
143.
early design
144.
early design digital tools
145.
early design phases
146.
early design stages
147.
educational design
148.
electrical machine design
149.
emerging design practices
150.
Energy Efficiency Design Index (EEDI)
151.
engineering design
152.
envelope design
153.
environmental design
154.
evolutive design process
155.
experimental design
156.
facade design
157.
fairway design
158.
fault tolerant router design
159.
fire design
160.
fire design model
161.
fire safety design
162.
FPGA/PSoC design
163.
frequency sampling filter design
164.
generative design
165.
hardware design
166.
hardware/software co-design
167.
health promoting urban planning and design
168.
high-speed design
169.
human-centric design
170.
Hydraulic design
171.
industrial design
172.
initial planning or design stage
173.
institutional design
174.
institutional quality and design
175.
integrated circuit design
176.
integrated design
177.
integrated design environment
178.
interaction design pattern
179.
iterative design
180.
iterative modelling and control design
181.
job design
182.
KMS design
183.
landscape design
184.
lean design
185.
lean design management
186.
legal design standards
187.
logic design
188.
logistics curriculum design
189.
low-power ASIC design
190.
machine design
191.
market design
192.
materials design
193.
mechanical engineering design
194.
mechanism design
195.
mechanism design theory
196.
mixed-signal design
197.
mixed-use design
198.
model-driven design
199.
molecular design
200.
monitoring and application design
201.
multi-criteria design
202.
multidimensional design
203.
multi-layered curriculum design
204.
multi-pole model design
205.
nanoelectronic systems design
206.
nano-electronic systems design
207.
object-oriented design
208.
observer design
209.
open design
210.
optimal design
211.
optimal-design
212.
optimization of the mechanical design
213.
package design solution
214.
parallel design and test
215.
parametric design
216.
parametric generative design
217.
participatory design
218.
passive design
219.
passive design strategies
220.
passive design strategy
221.
pavement design
222.
performance-driven design
223.
performance-driven urban design
224.
physical design
225.
PMS design
226.
policy design
227.
positive energy districts design
228.
power converters design
229.
principle of orthogonal design
230.
proto-theory of design
231.
quality-by-design
232.
Regenerative Design
233.
remote design
234.
research design
235.
resilient urban design
236.
robot design
237.
robust design optimization
238.
safe-by-design
239.
sampling design
240.
satellite design
241.
secure ASIC Design
242.
service and product design
243.
service design
244.
service design (SD)
245.
shelter design evaluation
246.
shift-adds design
247.
signal design
248.
slotless design
249.
social design
250.
soft robot materials and design
251.
software design
252.
solar design
253.
stormwater-resilient urban design
254.
structural fire design
255.
structure of design space
256.
sustainable design
257.
synchronic design process
258.
system design
259.
teaching design and test of systems
260.
technical design
261.
test model design
262.
textile-design
263.
thermal design
264.
trademark and design law
265.
transaction design
266.
transactional design
267.
uplink control channel design
268.
urban design
269.
urban design research
270.
urban planning and design
271.
user-centred design
272.
user-driven design processes
273.
value centric design
274.
value-centric design
275.
ventilation design
276.
virtual design and construction
277.
visualization design and evaluation methods
278.
work-holder design
279.
workplace design
280.
voxel-design approach
subject term
1
1.
Legal Design Summit
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT