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
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
2
Look more..
(2/318)
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
316
1.
contract-based design
2.
Design-by-Contract
3.
component-based design
4.
knowledge-based design
5.
performance-based design
6.
value-based design
7.
contract for difference (CfD)
8.
contract specificity
9.
contract workforce
10.
hybrid smart-contract agreement
11.
life cycle contract
12.
maritime energy contract
13.
psychological contract
14.
ricardian contract
15.
smart contract
16.
smart contract language
17.
temporal contract
18.
design methodology and human-centred design
19.
Action design research
20.
algorithm design and theory
21.
algorithmic design
22.
analytical quality by design
23.
animation design
24.
architectural design
25.
argumentative design
26.
ASIC design
27.
Baroque garden design
28.
battery design
29.
Benign by design
30.
bioinspired design
31.
biomimetic design
32.
Box–Behnken experimental design methodology
33.
breakwater design
34.
building design
35.
building design management
36.
building performance design
37.
C design
38.
Central composite design
39.
ChatGPT in course design
40.
circuit design
41.
circuits design
42.
co-design
43.
co-design strategies
44.
collaborative design
45.
compatibility design techniques
46.
component design
47.
computational design
48.
computational design method
49.
computational design methods
50.
computational mechanics and design
51.
computer aided design
52.
computer-aided architectural design (CAAD)
53.
computer-aided design
54.
computer-aided design (CAD)
55.
conceptual design
56.
conformational design
57.
control design
58.
control system design
59.
control systems design
60.
cooling design
61.
cost-effective design
62.
cost-oriented design
63.
course design
64.
courses on electronic testing and design
65.
curriculum design
66.
cylindrical cell design
67.
database design
68.
design
69.
design activity
70.
Design and assessment methods
71.
design and implementation of Performance Management Systems
72.
design and test
73.
design aspects
74.
design automation
75.
design cognition
76.
design collaboration
77.
design development
78.
design dimensions
79.
design domains
80.
design education
81.
design entrepreneurship
82.
design error localization
83.
design errors
84.
design evaluation
85.
design experiments
86.
design exploration
87.
design field testing
88.
design flaw
89.
design for disassembly
90.
design for experiments
91.
design for health
92.
design for manufacturability
93.
design for manufacture
94.
design for quality
95.
design for safety
96.
design for testability
97.
design function
98.
design globally-produce locally
99.
design impact
100.
design inefficiencies
101.
design language
102.
design management
103.
design management concept
104.
design management problems
105.
design management training
106.
design measuring
107.
Design method
108.
design methodology
109.
design methods
110.
design model
111.
design modularisation
112.
design modularity
113.
design obfuscation
114.
design of experiments
115.
Design of glass canopy
116.
design optimization
117.
design outdoor conditions
118.
design outdoor temperature
119.
design patterns
120.
design principles of FMS
121.
design process
122.
design quality
123.
design rhetoric
124.
design science
125.
design science research
126.
design skills
127.
design smell
128.
design space
129.
design space exploration
130.
design standards
131.
design structure matrix
132.
design structure matrix technology
133.
design support systems
134.
design system
135.
design tactics
136.
design theory
137.
design thinking
138.
design tools
139.
design understanding
140.
design value
141.
design worlds
142.
design, technologies and economics competencies
143.
design-driven business model
144.
design-driven innovation
145.
design-driven innovations
146.
design-for-test
147.
design-for-testability
148.
design-science
149.
DHW Design Flow Rate
150.
Die design
151.
digital design course
152.
digital design education
153.
digital FIR filter design
154.
digital integrated circuit (IC) design
155.
Digital test and testable design
156.
drug design
157.
dual stator design
158.
duct design
159.
early design
160.
early design digital tools
161.
early design phases
162.
early design stages
163.
educational design
164.
electrical machine design
165.
electronic design automation
166.
emerging design practices
167.
Energy Efficiency Design Index (EEDI)
168.
engineering design
169.
envelope design
170.
environmental design
171.
escape room design
172.
evolutive design process
173.
experimental design
174.
facade design
175.
fairway design
176.
fast boat design
177.
fault tolerant router design
178.
fire design
179.
fire design model
180.
fire safety design
181.
FPGA/PSoC design
182.
frequency sampling filter design
183.
generative design
184.
hardware design
185.
hardware/software co-design
186.
health promoting urban planning and design
187.
high-speed design
188.
human-centered design
189.
human-centric design
190.
Hydraulic design
191.
IC Design
192.
industrial design
193.
initial planning or design stage
194.
institutional design
195.
institutional quality and design
196.
integrated circuit design
197.
integrated design
198.
integrated design environment
199.
interaction design pattern
200.
iterative design
201.
iterative modelling and control design
202.
job design
203.
KMS design
204.
landscape design
205.
lean design
206.
lean design management
207.
learning design
208.
legal design
209.
legal design standards
210.
logic design
211.
logistics curriculum design
212.
low-power ASIC design
213.
machine design
214.
market design
215.
materials design
216.
mechanical engineering design
217.
mechanism design
218.
mechanism design theory
219.
mixed-signal design
220.
mixed-use design
221.
model-driven design
222.
molecular design
223.
monitoring and application design
224.
multi-criteria design
225.
multidimensional design
226.
multi-layered curriculum design
227.
multi-pole model design
228.
nanoelectronic systems design
229.
nano-electronic systems design
230.
object-oriented design
231.
observer design
232.
online design error debug
233.
open design
234.
optimal design
235.
optimal-design
236.
optimization of the mechanical design
237.
package design solution
238.
parallel design and test
239.
parametric design
240.
parametric generative design
241.
participatory design
242.
passive design
243.
passive design strategies
244.
passive design strategy
245.
pavement design
246.
pedagogical design model
247.
performance-driven design
248.
performance-driven urban design
249.
physical design
250.
PMS design
251.
policy design
252.
positive energy districts design
253.
power converters design
254.
principle of orthogonal design
255.
proto-theory of design
256.
quality-by-design
257.
Regenerative Design
258.
remote design
259.
research design
260.
resilient urban design
261.
robot design
262.
robust design optimization
263.
safe-by-design
264.
sampling design
265.
satellite design
266.
secure ASIC Design
267.
security-by-design
268.
service and product design
269.
service design
270.
service design (SD)
271.
shelter design evaluation
272.
shift-adds design
273.
signal design
274.
simulations-driven design
275.
size-specific implant design
276.
slotless design
277.
social design
278.
soft robot materials and design
279.
software design
280.
solar design
281.
stormwater-resilient urban design
282.
structural fire design
283.
structure of design space
284.
sustainable design
285.
synchronic design process
286.
system analysis and design
287.
system design
288.
target value design
289.
teaching design and test of systems
290.
technical design
291.
technological design
292.
test model design
293.
textile-design
294.
thermal design
295.
touch-free system design
296.
trademark and design law
297.
transaction design
298.
transactional design
299.
universal design
300.
uplink control channel design
301.
urban design
302.
urban design research
303.
urban planning and design
304.
user interface and experience design
305.
user interface design
306.
user-centred design
307.
user-centred design (UCD)
308.
user-driven design processes
309.
value centric design
310.
value-centric design
311.
ventilation design
312.
virtual design and construction
313.
visualization design and evaluation methods
314.
work-holder design
315.
workplace design
316.
voxel-design approach
subject term
2
1.
Ignis Fire Design Consulting
2.
Legal Design Summit
×
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