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

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

model-based development (võtmesõna)

teaviku laadid

võtmesõna 891

märksõna 4