Publications
- Bagatel: Application for plotting benchmark results +1Publication without faculty affiliation
- Third International Workshop on Formal Aspects of Component Software (FACS 2006)2007 | Faculty of Mathematics and Physics
- Separation of Concerns and Consistent Integration in Requirements Modelling2007 | Publication without faculty affiliation
- Improved Processing of Textual Use Cases: Deriving Behavior Specifications2007 | Publication without faculty affiliation
- Behavior Assembly and Composition of Use Cases - UML 2.0 Perspective +12005 | Faculty of Mathematics and Physics
- Microcomponent-Based Component Controllers: A Foundation for Component Aspects +12005 | Faculty of Mathematics and Physics
- Specifying Component Behavior with Port State Machines2004 | Faculty of Mathematics and Physics
- Deriving Behavior Specifications from Textual Use Cases2004 | Faculty of Mathematics and Physics
- Getting 'Whole Picture' Behavior in a Use Case Model2003 | Faculty of Mathematics and Physics
- Getting'Whole Picture' Behavior in a Use Case Model2003 | Faculty of Mathematics and Physics
Loading network view...