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