Filters
Modeling and Meta-modeling of Software Components
Modeling and Meta-modeling of Software Components...
JC - Počítačový hardware a software
- 2008 •
- D
Rok uplatnění
D - Stať ve sborníku
Perspectives in Component-based Software Engineering
Perspectives in Component-based Software Engineering...
JC - Počítačový hardware a software
- 2008 •
- D
Rok uplatnění
D - Stať ve sborníku
Semi-automated Generation of Simulated Software Components for Simulation Testing
Using a component-based software development, applications can be constructed from individual reusable software components providing particular functionalities developed, it is possible to perform tests of the ...
JC - Počítačový hardware a software
- 2014 •
- D
Rok uplatnění
D - Stať ve sborníku
Software components for C #. NET 2003
The software components for data visualization and editing. Platform: C # Microsoft Visual Studio NET 2003...
JC - Počítačový hardware a software
- 2004 •
- A
Rok uplatnění
A - Audiovizuální tvorba
Interface-based Semi-automated Generation of Scenarios for Simulation Testing of Software Components
properties of software components is important, especially when each component can enables simulation testing of software components directly without the necessity of the scenarios based on theanalysis of...
JC - Počítačový hardware a software
- 2014 •
- D
Rok uplatnění
D - Stať ve sborníku
Component Model for Unified Deployment of Distributed Component-based Software
The article proposes a unified environment for fully automated deployment of software components; the article also proposes a generic component model suitable for component deployment as an extension of OMG Deploym...
BD - Teorie informace
- 2004 •
- Vx
Rok uplatnění
Vx - Nezařazeno - Výzkumná zpráva obsahující utajované informace (takový výsledek lze do RIV vložit pouze v případě, že zpráva obsahuje utajované informace a pole R12 = U), nebo souhrnná výzkumná zpráva
Carmen : Software Component Model Checker
The challenge of model checking of isolated software components becomes more and more relevant with the boom of component oriented technologies [20]. An important issue here is how to verify an open model representing an is...
JC - Počítačový hardware a software
- 2008 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Carmen - the software component model checker
Carmen - the software component model checker, [http://www2.lifl.fr/~plsek/Projects/Carmen/]...
JC - Počítačový hardware a software
- 2006 •
- A
Rok uplatnění
A - Audiovizuální tvorba
Making Deployment of Distributed Component-based Software Unified
The article proposes a unified environment for fully automated deployment of software components; the article also proposes a generic component model suitable for component deployment as an extension of OMG Deploym...
BD - Teorie informace
- 2004 •
- D
Rok uplatnění
D - Stať ve sborníku
Evaluation of CT transient component of currents
Software that supports evaluation of CT transient component of currents.
Electrical and electronic engineering
- 2020 •
- R •
- Link
Rok uplatnění
R - Software
Výsledek na webu
- 1 - 10 out of 76 251