Otsing - TalTech teadusportaal

model-based development (võtmesõna)

—

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

ekspordi kõik päringu tulemused (1)
Salvesta TXT fail

Salvesta PDF fail

prindi
Märgitud kirjetega toimetamiseks ava valitud kirjed

kuva

reasta
1

artikkel kogumikus

Developing multi-view Contracts using Event-B and Uppaal Timed AutomataVain, Jüri; Tsiopoulos, Leonidas; Guin, Jishu2016 21st International Conference on Engineering of Complex Computer Systems : ICECCS 2016 : Dubai, United Arab Emirates, 6-8 November 2016 : proceedings2016 / p. 126-134 : ill https://doi.org/10.1109/ICECCS.2016.024

artikkel kogumikus

Kirjeid leitud 1, kuvan 1 - 1

1. model-based development
2. model-based software development
3. Capability Maturity Model Integration for Development
4. model driven development
5. model-driven development
6. risk evaluation model development
7. accrual-based credit risk model
8. agent-based model
9. end-to-end model-based system
10. information model-based urban planning
11. linear Delta robots neural network based model
12. model based
13. model based testing
14. model-based control
15. Model-Based Engineering (MBE)
16. model-based mutation testing
17. model-based navigation
18. model-based patterns
19. Model-Based Systems Engineering (MBSE)
20. model-based testing
21. model-based verification
22. modified winding function‐based model
23. multiagent-based microscopic traffic assignment model (MMTAM)
24. regression based model
25. Simultaneous model-based optimization
26. archetypes and archetype patterns based development
27. FPGA-based development boards
28. acoustic model
29. adjusted DuPont model
30. Allen-Cahn Chan-Vese model
31. alternative model
32. analysis model
33. analytical lumped parameter model
34. analytical model
35. analytical thermal model approach
36. APARHC model
37. APICS competence model
38. ARIMA model
39. armature current model
40. as-built model
41. asymmetric model
42. attack model
43. automatic GUI model generation
44. automatic model creation
45. Bass model
46. Bayesian model averaging
47. Bertotti model
48. beyond standard model
49. bicycle model
50. blockiotintelligence architectural model
51. business model
52. business model archetypes
53. business model attributes
54. business model canvas
55. business model classification
56. business model generation
57. business model innovation
58. Business Model Innovation (BMI)
59. business model reconfiguration
60. business model research
61. business network model
62. Caco2 model cells
63. cartesian system model
64. casual probabilistic model
65. CERC model
66. chain model
67. channel model
68. charging planning model
69. Coalitional game model
70. communication model
71. compact empirical model
72. compact model
73. company analyze model
74. competence model
75. competency model
76. Comprehensive Situation Awareness Model
77. conceptual data model
78. conceptual model
79. conceptual model of curriculum for accounting specialization
80. condenser model
81. constitutive model
82. Context model
83. corrosion model
84. country analysis model
85. coupled coils model
86. crop model
87. data generative model
88. data quality maturity model
89. data-driven model
90. decentralized model predictive control
91. deep learning model
92. deep learning model quantization
93. default company model
94. design model
95. design-driven business model
96. designing a teaching model
97. detailed model
98. didactic model
99. diffusion model
100. digital elevation model
101. digital surface model (DSM)
102. disease model
103. distributed activation energy model
104. distributed parameter model
105. distributed parameter model of metastructures
106. Dodd–Deeds model
107. domain model
108. domain model and domain modelling
109. double diamond model
110. dq0 model
111. DSGE model
112. DSL meta-model ontology
113. Ducoffe’s advertisement value model
114. Ducoffe’s advertising model
115. dynamic factor model
116. dynamic load model
117. dynamic model
118. Dynamical vegetation model
119. Ecological Regional Ocean Model (ERGOM)
120. economic model
121. Economic optimization model
122. EES model
123. EES Model-2
124. elaboration likelihood model
125. ELAQF Competence Model
126. electricity demand model
127. Electronic Education System Model-2
128. empirical energy consumption model
129. empirical model
130. end member mixing model
131. endogenous growth model
132. energy system model
133. enzyme-constrained genome-scale model
134. enterprise analysis model (EAM)
135. entrepreneurial intention transformation model “EITM”
136. equivalent circuit model
137. Eringen model
138. Estonian sustainability model
139. Eulerian model
140. European Charring Model
141. EV load model
142. Event Processing Network Model
143. experience pyramid model
144. Experimental model
145. explainable AI model
146. exponential load model
147. exponential model
148. fault analysis model
149. Felder-Silverman model
150. FEM model
151. FEM-model
152. field tests model validation
153. finite control set-model predictive control (FCS-MPC)
154. finite element model
155. finite-element (FE) model
156. finite-element model
157. fire design model
158. FitzHugh-Nagumo model
159. fixed country-effect model
160. FOPDT model
161. friction model
162. functional fault model
163. fuzzy logic model
164. gaussian mixture model
165. Gaussian model
166. General Estuarine Transport Model (GETM)
167. genome model
168. Genome-scale metabolic model
169. geoid model
170. GIS model
171. Global climate model
172. goal model
173. gravity model
174. grey box model
175. GTAP model
176. GUI model
177. habitat model
178. habitat suitability model
179. Hammerstein-Wiener model
180. HBM model
181. Hidden Markov Model (HMM)
182. high-frequency model
183. high-level control fault model
184. high-level fault model
185. high-level functional fault model
186. HIROMB-BOOS-Model (HBM)
187. HL7 Version 3: Reference Information Model (RIM)
188. holistic M&A model
189. holistic merger and acquisition model
190. hot/cold pressing and finite element model simulation
191. hydraulic model
192. hydraulic network model
193. hydrodynamic model
194. Ice history model
195. inductive model
196. information model
197. infringer model
198. initial data model
199. input-output model
200. integrated quadruple instructional model
201. integrated waste management model
202. integrative pedagogy model
203. interpretive structural model (ISM)
204. iron losses 3D model
205. Jiles–Atherton (JA) model
206. Johnson–Cook failure model
207. joint model
208. Kano model
209. KPI selection model
210. KPIs selection model
211. laboratory domain model
212. Lagrangian model
213. local interpretable model-agnostic explanations (LIME)
214. local model
215. logistic model
216. logistic regression model
217. logistics competence model
218. loss model
219. LSV model
220. lumped model
221. lumped parameter model
222. lumped-parameter model
223. Luxemburg model
224. Machine Learning Explainable model
225. machine-learning predictive model
226. MACRO model
227. Markov-switching model
228. mathematical model
229. maturity model
230. measurement model
231. mental model
232. meta model
233. metadata model for security measures
234. meta-model
235. MGARCH model
236. micromechanical model
237. microscopic traffic flow model
238. Mindlin model
239. model
240. model amphipathic peptide
241. model averaging
242. model building
243. model calibration
244. model checking
245. model communities
246. model comparison
247. model compression
248. model construction
249. model description
250. model designer
251. Model Driven Architecture
252. model driven engineering
253. model ensemble
254. model evaluation
255. model free
256. model identification
257. model learning
258. model matching problem
259. model of fracture mechanism
260. model of fracturemechanism
261. model of friction
262. model of non-technical engineering competences
263. model order estimation
264. model order reduction
265. model order reduction (MOR)
266. model predictive control
267. model predictive control (MPC)
268. model predictive controllers (MPC)
269. model reanalysis
270. model reduction
271. model reference adaptive control
272. model reference controller
273. model refinement
274. model smell
275. Model test
276. model transformation
277. model transformations
278. Model validation
279. model verification
280. model-checking
281. model-driven architecture
282. model-driven design
283. model-driven software engineering
284. model-free control
285. model-free methods
286. model-scale experiments
287. modulated finite control set-model predictive control
288. mouse model
289. multi model ensemble (MME)
290. multidomain language model
291. multi-loop model reference control
292. multi-model ensemble
293. multiplicative neuron model
294. multi-pole mathematical model
295. multi-pole model
296. multi-pole model design
297. natural background model
298. neural additive model
299. New Keynesian model
300. Neyman-Pearson model
301. NKG2015 geoid model
302. NN-ANARX model
303. nonlinear model identification
304. nonlinear model predictive control
305. nonlinear time-varying factor model
306. non-thermal model
307. Nonthermal model
308. NSPT model
309. numerical model
310. object model
311. ocean-sea-ice model
312. open architecture model
313. open-economy dynamic general equilibrium model
314. openEHR RM (Reference Model)
315. optimal model
316. Overlapping generations model
317. panel threshold model
318. panel vector autoregressive model (VAR)
319. parallel reaction model
320. path loss model
321. pedagogical design model
322. Peirce’s triadic model
323. Peirce's model
324. photodiode model
325. PLM maturity model
326. plume model
327. POM model
328. population balance model
329. Porter’s diamond model
330. power loss model
331. power market model
332. prediction model
333. predictive model
334. pre-trained model
335. price-sensitive model of flexible equipment
336. Princeton Ocean Model
337. Probabilistic Graph Model (PGM)
338. probabilistic model
339. process model
340. projection model
341. Quadruple Helix Model
342. quarter car model
343. Random Parameter Linear Regression Model (RPLRM)
344. recurrent neural network language model
345. reduced order model
346. reference model
347. regulatory model
348. reputation model
349. residential electricity consumption model
350. Residual Terrain Model (RTM) anomaly
351. residual terrain model anomaly
352. retaining research financing, changes in salary rules; new academic career model
353. REVEALS model
354. reversed hazard rate model
355. Reynolds stress turbulence model
356. Richardson Maturity Model
357. ripening model
358. risk evaluation model
359. risk management model
360. sanitary sewer model
361. scalar model
362. Scott-Kennel model
363. security model
364. shared mental model
365. SHEL model
366. ship model basin
367. simplified model
368. simulating waves nearshore (SWAN) model
369. simulation model
370. simulink model
371. single-cell model
372. sliding model control
373. small-signal model
374. SOILN model
375. specific energy model
376. standard cost model
377. statistical model residuals
378. Storm Water Management Model (SWMM5)
379. Straussian theory model
380. structural model
381. stuck-at fault model
382. supply chain model framework
383. supply chain operations reference (SCOR) model
384. surrogate model
385. sustainability model framework
386. sustainable business model
387. SWAN model
388. Zimbabwe agro-pastoral management model
389. ZIP model
390. zonal model
391. teaching model
392. technology acceptance model
393. Technology Acceptance Model (TAM)
394. tender evaluation model
395. test model design
396. The Baltic Sea Model Intercomparison Project (BMIP)
397. the model of non-technical competences
398. thermal model
399. tobit regression model
400. trade gravity model
401. transnational model
402. transport model
403. transportation model
404. travel time model
405. tunnelling‐percolation model
406. turn model
407. two-dimensional model
408. two-factor model
409. typical user model
410. Ulrich HR roles model
411. ultra-local model
412. ultralocal model (ULM) control
413. Uppaal model-checker
414. user behavioral model
415. user dialogue model
416. utility model
417. validation of simulation model
418. value-centric model
419. wave model
420. Vector Error Correction Model
421. vector space model
422. Wells-Riley model
423. verification by model checking
424. whole-cell model
425. Viable Systems Model
426. wind force model
427. VRH model
428. 3D model
429. academic development in the Baltic countries
430. ADM (Architecture Development Method)
431. agile development
432. alloy systems and alloy development
433. anther development
434. barriers of development
435. Bologna development
436. brain development
437. business development
438. business development models
439. capability development techniques
440. capacity development
441. career development
442. child development
443. client-vendor relationship in software development
444. collaborative development
445. commercial development
446. community development
447. comparative economic development
448. complementary development
449. continuing professional development
450. course development
451. course development strategies
452. curricula development
453. curriculum development
454. cybersecurity maturity tool development for schools
455. cybersecurity workforce development
456. design development
457. development
458. development and humanitarian aid
459. Development Bank of Latin
460. development banks
461. development economics
462. development funding
463. development of accounting
464. development of economic thought
465. development of LBS
466. development of security cameras
467. development of SMEs
468. development of the European building process
469. development path
470. development policy
471. development processes
472. development studies
473. Development support
474. development theory
475. digital development of the EU
476. Digital Government Theory: Development and Application
477. DSL development
478. dune development
479. dynamic capabilities development
480. Economic Development
481. economic development policy
482. education for sustainable development
483. embryonic development
484. entrepreneurship development
485. European e-development
486. European standards for sustainable development
487. European Union development
488. European values and digital development
489. exploit development
490. faculty development
491. financial development
492. flower development
493. framework development
494. groundwater development
495. housing development
496. hub development
497. human development
498. human resource development
499. Information and Communication Technologies for Development
500. information systems development
501. infrastructure development
502. institutional development
503. Internet development
504. IT and product development
505. lean development
506. Lean Product Development
507. logistics hub development
508. low-code development
509. management development
510. media development
511. NB-IoT development platform
512. neural development
513. neuronal development
514. new product development
515. Nunavut natural resource development
516. ontology driven software development
517. personal development
518. policy development
519. product and service development
520. product development
521. professional workforce development
522. programme development
523. public infrastructural development
524. R&D (research and development)
525. rapid application development
526. region business culture and development
527. regional development
528. research and development
529. research and development (R&D)
530. research and development jobs
531. rural development
532. safety development
533. scale development
534. self-development
535. self-efficacy development
536. skills development
537. smart city development
538. smart rural development
539. smart transport development
540. social development
541. social self-development
542. socioeconomic development
543. socio-economic development
544. software development
545. software development concepts
546. spread and development of new policy instruments (environmental taxes and charges system)
547. strength development
548. sustainable development
549. Sustainable Development Goals
550. sustainable development management
551. sustainable production development
552. sustainable spatial development
553. sustainable tourism development
554. sustainable urban development
555. synbio development
556. test driven development
557. The organisation for economic cooperation and development (OECD)
558. theory of economic development
559. tourism development
560. type-driven development
561. United Nations Sustainable Development Goals
562. urban development
563. use-development communication
564. user interface development
565. accelerator-based architecture
566. accrual-based ratios
567. Active chitosan-based film
568. activity based modelling
569. activity-based budgeting
570. activity-based cost estimating
571. activity-based costing
572. Activity-based demand generation
573. Activity-based transport modeling
574. Adaptive network-based fuzzy inference system (ANFIS)
575. address-based sorting
576. agent-based modeling
577. agent-based modeling (ABM)
578. agent-based models
579. AI based CAD software
580. AI-based data curation
581. AI-based worker management
582. Al based hard PVD coating
583. al-based alloy
584. Al-based alloys
585. Al-based composite
586. Al-based composites
587. algorithm-based decision
588. aluminum based composite
589. app-based mobile financial services
590. area‐based composite correlations method
591. assertion-based verification
592. attention-based view
593. attribute-based encryption
594. attribute-based tracing
595. Automated Synthesis of Software-based Self-test
596. beam-based feedback
597. behaviour-based intrusion detection systems
598. Bi and Fe-based barium titanate
599. Bio-Based
600. bio-based and biodegradable plastics market
601. Bio-based film-forming solution
602. bio-based materials
603. bio‐based materials
604. biogeography based optimization
605. bioimpedance based sensing
606. bioimpedance-based sensing
607. bisection based optimal power allocation
608. bitumen-based roofing materials
609. block-based merge
610. borrower-based policy measures
611. capacitive-based isolated converters
612. carbon based materials
613. carbon-based materials
614. cash-based analysis
615. cash-based ratios
616. CdTe-based flexible PV cells
617. challenge-based learning
618. Challenge-Based Learning (CBL)
619. chitosan-based film
620. Choice-Based Conjoint analysis
621. chromium carbide-based cermets
622. clay-based ceramics
623. climate based daylight modelling
624. climate-based simulations
625. cloud- and AI-based system
626. cloud-based cyber-physical systems (C2PS)
627. cloud-based medical systems
628. commons based peer production
629. commons-based innovation
630. commons-based peer production (CBPP)
631. Community-based research
632. comparison-based
633. comparison-based methodology
634. competence based learning
635. competence-based education
636. competence-based learning
637. competency based learning
638. competency-based approach
639. component-based design
640. computer based learning
641. computer vision-based methods
642. consumption-based GHG accounting
643. content-based recommender
644. contract-based design
645. copper-based wood preservatives
646. cost-based competitiveness
647. Cr3C2-based cermet
648. Cu-based alloy
649. Cu-based alloys
650. customer-based brand equity
651. data-based computational psychiatry
652. droplet-based technology
653. ecosystem-based management
654. environmentally friendly wood-based panels
655. event-based control
656. evidence based policy
657. evidence-based decision making
658. evidence-based decision-making
659. evidence-based medicine
660. evidence-based personalized medicine
661. feature based machining
662. feature-based machining
663. Fe-based alloy
664. Fe-based amorphous alloy
665. Fe-based hardfacing
666. Fenton-based treatment
667. fetch-based models
668. finitely based
669. flatness-based control
670. flow-based modelling
671. flying inductor based inverter
672. FPGA based lab kit
673. FPGA based test
674. FPGA-based prototyping
675. fragment-based QSAR
676. game based learning
677. game-based learning
678. game-based proofs
679. GaN-based converters
680. gelatin-based phantom
681. graph-based algorithms
682. graph-based ranking
683. graphene-based aerogel
684. GraphSAGE (Graph Based Neural Network)
685. health-based ventilation
686. Human-brand based marketing
687. HW Accelerators based on Channels Vulnerability
688. ICT-based service solutions for senior citizens
689. image-based
690. image-based crack detection
691. infection risk-based ventilation
692. institution-based view
693. interest-based
694. interleukin-based therapy
695. internet-based cognitive behavioural theraphy
696. Internet-based voting
697. ionic-liquid-based surfactants
698. IoT-based monitoring
699. iron-chromium-based binder
700. isogeny-based cryptography
701. Kalman-filter based maximum power point tracking (KF-MPPT)
702. knowledge based economy
703. knowledge based manufacturing
704. knowledge based systems
705. knowledge-based design
706. knowledge-based economy
707. knowledge-based manufacturing
708. knowledge-based system
709. laser-based additive manufacturing
710. Laser-based powder bed fusion
711. lattice-based cryptography
712. layout-based effects
713. lime-based plasters
714. location-based social networks
715. logic-based distributed routing
716. LUT-based obfuscation
717. manganese dioxide based filter material
718. map-based localization
719. market-based coordination
720. market-based innovation
721. market-based subsidy
722. Me)(C,N)-FeCr-based cermets
723. metallic-based material
724. Mg–Ag-based alloy
725. microbiome-based solutions
726. nature-based composite
727. nature-based solutions
728. nature-based solutions (NBSs)
729. NB-IoT-based edge-ofthings
730. NetFlow based network monitoring
731. Ni-based alloy
732. Ni-based catalyst
733. Ni-based superalloy
734. nickel-based superalloys
735. nikel-based self-fluxing alloy
736. non-market-based stringency
737. NPC-based inverter
738. ontology-based modeling
739. ontology-based modelling
740. ontology-based software engineering
741. open source-based innovation
742. partial power based on buck-boost resonance converter
743. partial power based on isolated Z - Source converter(PPZSC)
744. passivity based control
745. passivity-based control (PBC)
746. Peptide based transfection systems
747. performance-based design
748. physically based fire
749. physically based fires
750. physics-based compressive sensing
751. place-based policy
752. plant-based
753. Plant-based alternatives
754. plant-based beverage
755. plant-based food
756. plant-based foods
757. plant-based meat analogues
758. plant-based NADES
759. plant-based protein
760. policy-based routing security
761. pollen-based reconstructions
762. population-based study
763. power based control
764. power-to-gas based storage system
765. price based control
766. price based control of industrial processes
767. priority-based charging and discharging
768. priority-based-offloading
769. problem-based learning
770. Problem-based learning (PBL)
771. project-based learning
772. qZS-based DC/DC converter
773. query-based search
774. rapeseed oil-based wood preservatives
775. research-based education
776. resource-based view
777. ripple-based control
778. risk-based laws
779. risk-based management
780. room unit based ventilation
781. room-based ventilation
782. room-based ventilation units
783. rtioco-based timed test sequences
784. rule-based
785. rule-based algorithm
786. rule-based classification
787. rule-based control
788. rule-based non-linear optimization
789. rule-based reasoning
790. rules-based systems
791. sampling based motion planning
792. SAT-based attack
793. saturation based proving
794. scan-based stress
795. scenario-based experiment
796. science-based industries
797. SDN-based IoT management frameworks
798. series partial power converter (S-PPC) based on the push-pull
799. session-based recommendation
800. simulation based static optimization
801. simulation based TMY
802. simulationbased decision support
803. simulation-based verification
804. software based self-test
805. software-based self-test
806. software-based self-test (SBST)
807. solution based synthesis
808. solution‐based deposition
809. space-based solar power
810. spectrum-based fault localization
811. standards-based classfication system
812. status-based participation
813. steel-based hardfacing
814. subscription based interactions
815. zirconia-based ceramics
816. ZrC Based Ceramics
817. ZrC-based composites
818. task based learning
819. template based sql generation
820. Ti(C,N)-Fe-based cermets
821. Ti(C,N)–Fe-based cermets
822. Ti(CN)-Fe-based cermets
823. TiB-based composite
824. TiC- 430 L fss-based cermets
825. TiC based cermets
826. TiC-based cermet
827. TiC-based cermets
828. TiC-Fe-based cermets
829. time-driven activity-based costing
830. time-driven activity-based costing, TDABC
831. titanium carbide-based cermets
832. transformer-based models
833. Tree-based methods
834. User-based study
835. water-based cleaning approaches
836. water-based paint wastewater
837. WC/Cr3C2-based cermet coating
838. WC-based composites
839. Web and computer-based learning
840. web-based applications
841. web-based medical record
842. web-based record access
843. web-based teaching
844. web-based training
845. web-based user interface
846. weight-based collection
847. weighted score-based ranking
848. verification, assertion-based verification, automatic assertion mining, data mining, association rule mining
849. work-based learning
850. work-based project

model-based development (võtmesõna)

teaviku laadid

võtmesõna 850

märksõna 4