Otsing - TalTech teadusportaal

model-based development (võtmesõna)

—

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

model-based development (võtmesõna)

teaviku laadid

võtmesõna 895

märksõna 4