Publications
- 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
- 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
- Use Cases: Behavior Assembly, Behavior Composition and Reasoning,Publication without faculty affiliation
- Procasor Environment: Interactive Environment for Requirement SpecificationPublication without faculty affiliation
- Preliminary Proceedings of the Third International Workshop on Formal Aspects of Component Software FACS'06Publication 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
Loading network view...