ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "formal"
formal
Osoba
Předměty
Osoby
Publikace
Studium
RNDr. Vladimír Mencl
Externí osoba na Matematicko-fyzikální fakulta
16 publikací
Publikace
publication
Sborník mezinárodního workshopu FACS'06 (Formal Aspects of Component Software)
2007 |
Matematicko-fyzikální fakulta
publication
Oddělení zájmů a konzistentní integrace v modelování požadavků.
2007 |
Publikace bez příslušnosti k fakultě
publication
Getting 'Whole Picture' Behavior in a Use Case Model
2003 |
Matematicko-fyzikální fakulta
publication
Getting'Whole Picture' Behavior in a Use Case Model
2003 |
Matematicko-fyzikální fakulta
publication
Use Cases: Behavior Assembly, Behavior Composition and Reasoning,
Publikace bez příslušnosti k fakultě
publication
Procasor Environment: Interaktivní prostředí pro specifikaci požadavků
Publikace bez příslušnosti k fakultě
publication
Předběžný sbornik tretího workshopu o formálních aspektech komponentového software (FACS'06)
Publikace bez příslušnosti k fakultě
publication
Vylepšené zpracování textových use cases (případů užití): Odvozování specifikací chování
2007 |
Publikace bez příslušnosti k fakultě
publication
Behavior Assembly and Composition of Use Cases - UML 2.0 Perspective
2005 |
Matematicko-fyzikální fakulta
publication
Microcomponent-Based Component Controllers: A Foundation for Component Aspects
2005 |
Matematicko-fyzikální fakulta
Načíst další publikace (6)
Loading network view...