Vladimir Mencl

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

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2007

Improved Processing of Textual Use Cases: Deriving Behavior Specifications.

Jaroslav Drazan, Vladimir Mencl

Proceedings of the SOFSEM 2007: Theory and Practice of Computer Science, 2007

Separation of Concerns and Consistent Integration in Requirements Modelling.

Xin Chen, Zhiming Liu, Vladimir Mencl

Proceedings of the SOFSEM 2007: Theory and Practice of Computer Science, 2007

2006

Preface.

Vladimir Mencl, Frank S. de Boer

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

Harnessing Theories for Tool Support.

Zhiming Liu, Vladimir Mencl, Anders P. Ravn, Lu Yang

Proceedings of the Leveraging Applications of Formal Methods, 2006

2005

Behavior Assembly and Composition of Use Cases - UML 2.0 Perspective.

Vladimir Mencl, Frantisek Plásil, Jirí Adámek

Proceedings of the IASTED International Conference on Software Engineering, 2005

Microcomponent-Based Component Controllers: A Foundation for Component Aspects.

Vladimir Mencl, Tomás Bures

Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

2003

Getting 'whole Picture' Behavior in a Use Case Model.

Frantisek Plásil, Vladimir Mencl

Trans. SDPS, 2003

Specifying Component Behavior with Port State Machines.

Vladimir Mencl

Proceedings of the Workshop on the Compositional Verification of UML Models, 2003