Výsledky vyhľadávania
- UML - A Part of an Interlocking System Development Process
Rástočný Karol Rástočný Karol ; I200
Telematics in the Transport Environment . Vol. 329 Telematics in the Transport Environment, (2012), s. 293-300
UML zabezpečovacie systémy riadiaci systém SRCS
článok zo zborníka
AFB - Publikované pozvané príspevky na domácich vedeckých konferenciách
článok
- Strategies and techniques of system testing
Špendla Lukáš ; M6000 Tanuška Pavol ; M6000
Aktuaľnyje problemy i innovacii v ekonomike, upravlenii, obrazovanii, informacionnych technologijach : . s.103-105
system testing UML
článok zo zborníka
AFC - Publikované príspevky na zahraničných vedeckých konferenciáchčlánok
- A Configurable UML Based Use Case Modeling Metamodel
Zelinka Ľuboš ; I200 Vranić Valentino ; I200
First IEEE Eastern European Regional Conference on the Engineering of Computer-Based Systems, 7-8 September 2009, Novi Sad, Serbia : . s.1-8
metamodel UML Jacobsonova notácia Cockburnova notácia
článok zo zborníka
AEC - Vedecké práce v zahraničných recenzovaných vedeckých zborníkoch, monografiách
(1) - článokčlánok
- Constructing Expert System for Model Driven Development
Líška Miroslav ; I200
INFORMATICS 2007 : . s.176-179
softvérové inžinierstvo formálne metódy UML expertné systémy
článok zo zborníka
AFD - Publikované príspevky na domácich vedeckých konferenciách
(1) - skriptá
(1) - učebnicačlánok
- Constructing multi-theories expert system for UML
Líška Miroslav ; I200
WIKT 2006 Proceedings, 1st Workshop on Intelligent and Knowledge Oriented Technologies, November 28-29, 2006 . s.135-138
expertné systémy umelá inteligencia softvérové inžinierstvo UML
článok zo zborníka
AFD - Publikované príspevky na domácich vedeckých konferenciách
(1) - skriptáčlánok
- Dealing with Unstable Domains in Product-Line Architecture Development
Vranić Valentino ; I200 Marko Vladimír ; I200
ISIM'06 Information Systems Implementation and Modelling: Proceedings of 9th International Conference, April 25-26,2006, Přerov . s.57-64
archetyp komponenty modelovanie vlastností rad výrobkov UML
článok zo zborníka
AFC - Publikované príspevky na zahraničných vedeckých konferenciáchčlánok
- Integrating Feature Modeling into UML
Vranić Valentino ; I200 Šnirc Ján
Lecture Notes in Informatics . Vol. P-88: NODe 2006, GSEM 2006, Erfurt, Germany, September 18-20, 2006 (2006), s.3-15
vlastnosť koncept modelovanie vlastností metamodel UML
článok z periodika
ADE - 12/Vedecké práce v zahraničných nekarentovaných časopisoch ; 13/Vedecké práce v ostatných zahraničných časopisoch
(1) - článokčlánok
- Functional verification for UML - based model driven design of embedded systems
Kardoš Martin ; E220
IFIP Series . Vol. 184 From Specification to Embedded Systems Application. IFIP TC10 Working Conference: International Embedded Systems Symposium (IESS), August 15-17, 2005, Manaus, Brazil (2005), s.103-114
embedded system design UML AsmL formal verification
článok z periodika
ADC - Vedecké práce v zahraničných karentovaných časopisochčlánok
- Object Model Notation
Navarčík Matúš ; I200 Polášek Ivan ; I200
ISIM'05 Information Systems Implementation and Modeling: Proceedings of the 8th Conference, April 19-20, 2005, Rožnov pod Radhoštěm . s. 211-218
OOAD OCL UML formal modeling object structure notation
článok zo zborníka
AFC - Publikované príspevky na zahraničných vedeckých konferenciáchčlánok
- Specification of web applications design in CASE using UML and its mapping to an implementation environment
Blšták Peter ; I200 Bieliková Mária ; I200
ISIM'05 Information Systems Implementation and Modeling: Proceedings of the 8th Conference, April 19-20, 2005, Rožnov pod Radhoštěm . s.135-142
web application design specification modeling UML code generation
článok zo zborníka
AFC - Publikované príspevky na zahraničných vedeckých konferenciáchčlánok