ℹ️
🇬🇧
Search
Search for people relevant for "Formalin"
Formalin
Person
Class
Person
Publication
Programmes
RNDr. Vladimír Mencl
External person at Faculty of Mathematics and Physics
16 publications
Publications
publication
Third International Workshop on Formal Aspects of Component Software (FACS 2006)
2007 |
Faculty of Mathematics and Physics
publication
Separation of Concerns and Consistent Integration in Requirements Modelling
2007 |
Publication without faculty affiliation
publication
Improved Processing of Textual Use Cases: Deriving Behavior Specifications
2007 |
Publication without faculty affiliation
publication
Behavior Assembly and Composition of Use Cases - UML 2.0 Perspective
+1
2005 |
Faculty of Mathematics and Physics
publication
Microcomponent-Based Component Controllers: A Foundation for Component Aspects
+1
2005 |
Faculty of Mathematics and Physics
publication
Specifying Component Behavior with Port State Machines
2004 |
Faculty of Mathematics and Physics
publication
Deriving Behavior Specifications from Textual Use Cases
2004 |
Faculty of Mathematics and Physics
publication
Getting 'Whole Picture' Behavior in a Use Case Model
2003 |
Faculty of Mathematics and Physics
publication
Getting'Whole Picture' Behavior in a Use Case Model
2003 |
Faculty of Mathematics and Physics
publication
Bagatel: Application for plotting benchmark results
+1
Publication without faculty affiliation
Load more publications (6)
Loading network view...