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

model-based development (võtmesõna)

teaviku laadid

võtmesõna 886

märksõna 4