Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
contract-based design (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
2
Vaata veel..
(2/291)
Ekspordi
ekspordi kõik päringu tulemused
(2)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
2
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Kirjeid leitud 2, kuvan
1 - 2
võtmesõna
290
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.
duct design
147.
early design
148.
early design digital tools
149.
early design phases
150.
early design stages
151.
educational design
152.
electrical machine design
153.
emerging design practices
154.
Energy Efficiency Design Index (EEDI)
155.
engineering design
156.
envelope design
157.
environmental design
158.
evolutive design process
159.
experimental design
160.
facade design
161.
fairway design
162.
fast boat design
163.
fault tolerant router design
164.
fire design
165.
fire design model
166.
fire safety design
167.
FPGA/PSoC design
168.
frequency sampling filter design
169.
generative design
170.
hardware design
171.
hardware/software co-design
172.
health promoting urban planning and design
173.
high-speed design
174.
human-centric design
175.
Hydraulic design
176.
IC Design
177.
industrial design
178.
initial planning or design stage
179.
institutional design
180.
institutional quality and design
181.
integrated circuit design
182.
integrated design
183.
integrated design environment
184.
interaction design pattern
185.
iterative design
186.
iterative modelling and control design
187.
job design
188.
KMS design
189.
landscape design
190.
lean design
191.
lean design management
192.
learning design
193.
legal design standards
194.
logic design
195.
logistics curriculum design
196.
low-power ASIC design
197.
machine design
198.
market design
199.
materials design
200.
mechanical engineering design
201.
mechanism design
202.
mechanism design theory
203.
mixed-signal design
204.
mixed-use design
205.
model-driven design
206.
molecular design
207.
monitoring and application design
208.
multi-criteria design
209.
multidimensional design
210.
multi-layered curriculum design
211.
multi-pole model design
212.
nanoelectronic systems design
213.
nano-electronic systems design
214.
object-oriented design
215.
observer design
216.
open design
217.
optimal design
218.
optimal-design
219.
optimization of the mechanical design
220.
package design solution
221.
parallel design and test
222.
parametric design
223.
parametric generative design
224.
participatory design
225.
passive design
226.
passive design strategies
227.
passive design strategy
228.
pavement design
229.
performance-driven design
230.
performance-driven urban design
231.
physical design
232.
PMS design
233.
policy design
234.
positive energy districts design
235.
power converters design
236.
principle of orthogonal design
237.
proto-theory of design
238.
quality-by-design
239.
Regenerative Design
240.
remote design
241.
research design
242.
resilient urban design
243.
robot design
244.
robust design optimization
245.
safe-by-design
246.
sampling design
247.
satellite design
248.
secure ASIC Design
249.
service and product design
250.
service design
251.
service design (SD)
252.
shelter design evaluation
253.
shift-adds design
254.
signal design
255.
simulations-driven design
256.
slotless design
257.
social design
258.
soft robot materials and design
259.
software design
260.
solar design
261.
stormwater-resilient urban design
262.
structural fire design
263.
structure of design space
264.
sustainable design
265.
synchronic design process
266.
system design
267.
teaching design and test of systems
268.
technical design
269.
test model design
270.
textile-design
271.
thermal design
272.
trademark and design law
273.
transaction design
274.
transactional design
275.
universal design
276.
uplink control channel design
277.
urban design
278.
urban design research
279.
urban planning and design
280.
user interface design
281.
user-centred design
282.
user-driven design processes
283.
value centric design
284.
value-centric design
285.
ventilation design
286.
virtual design and construction
287.
visualization design and evaluation methods
288.
work-holder design
289.
workplace design
290.
voxel-design approach
märksõna
1
1.
Legal Design Summit
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT