Slavisa Markovic

According to our database, Slavisa Markovic authored at least 6 papers between 2006 and 2008.

Collaborative distances:

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

2008

Semantics of OCL specified with QVT.

Slavisa Markovic, Thomas Baar

Softw. Syst. Model., 2008

Refactoring OCL annotated UML class diagrams.

Slavisa Markovic, Thomas Baar

Softw. Syst. Model., 2008

2007

Synchronizing Refactored UML Class Diagrams and OCL Constraints.

Slavisa Markovic, Thomas Baar

Proceedings of the 1st Workshop on Refactoring Tools, 2007

2006

An OCL Semantics Specified with QVT.

Slavisa Markovic, Thomas Baar

Proceedings of the Model Driven Engineering Languages and Systems, 2006

A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules.

Thomas Baar, Slavisa Markovic

Proceedings of the Perspectives of Systems Informatics, 2006

Definition and Correct Refinement of Operation Specifications.

Thomas Baar, Slavisa Markovic, Frédéric Fondement, Alfred Strohmeier

Proceedings of the Dependable Systems: Software, Computing, Networks, 2006