Vladimir Mencl

Orcid: 0000-0002-3876-751X

According to our database1, Vladimir Mencl authored at least 8 papers between 2003 and 2007.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2007
Improved Processing of Textual Use Cases: Deriving Behavior Specifications.
Proceedings of the SOFSEM 2007: Theory and Practice of Computer Science, 2007

Separation of Concerns and Consistent Integration in Requirements Modelling.
Proceedings of the SOFSEM 2007: Theory and Practice of Computer Science, 2007

2006
Preface.
Proceedings of the Third International Workshop on Formal Aspects of Component Software, 2006

Harnessing Theories for Tool Support.
Proceedings of the Leveraging Applications of Formal Methods, 2006

2005
Behavior Assembly and Composition of Use Cases - UML 2.0 Perspective.
Proceedings of the IASTED International Conference on Software Engineering, 2005

Microcomponent-Based Component Controllers: A Foundation for Component Aspects.
Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

2003
Getting 'whole Picture' Behavior in a Use Case Model.
Trans. SDPS, 2003

Specifying Component Behavior with Port State Machines.
Proceedings of the Workshop on the Compositional Verification of UML Models, 2003


  Loading...