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