Results 201 to 210 of about 14,072 (220)

Proceedings of the Workshop on OCL and Textual Modelling (OCL 2010).

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
Jordi Cabot, Tony Clark 0001, Manuel Clavel, Martin Gogolla   +3 more
openaire   +1 more source

Semantics of OCL specified with QVT

Software and Systems Modeling, 2008
Thomas Baar, Baar Thomas
exaly  

USE: A UML-based specification environment for validating UML and OCL

Science of Computer Programming, 2007
Martin Gogolla, Fabian Buttner, Mark Richters   +2 more
exaly  

Formalizing UML Models and OCL Constraints in PVS

Electronic Notes in Theoretical Computer Science, 2005
Harald Fecher, Frank S De Boer, Józef Hooman   +2 more
exaly  

Generating Test Data from OCL Constraints with Search Techniques

IEEE Transactions on Software Engineering, 2013
Shaukat Ali, Muhammad Zohaib Iqbal, Andrea Arcuri   +2 more
exaly  

OCL SMR

2016
A Case headnote + analysis and comment on Stichting Metalektro Recycling v WEEE Nederland B.V., judgment in first instance, case nr.
openaire   +1 more source

Validating OCL Specifications with the USE Tool

Electronic Notes in Theoretical Computer Science, 2003
Martin Gogolla
exaly  

Specification of invariability in OCL

Software and Systems Modeling, 2011
Piotr Kosiuczenko
exaly  

A semi-automatic maintenance and co-evolution of OCL constraints with (meta)model evolution

Journal of Systems and Software, 2017
Djamel Eddine Khelladi, Reda Bendraou, Regina Hebig   +2 more
exaly  

Assessing the influence of import-coupling on OCL expression maintainability: A cognitive theory-based perspective

Information Sciences, 2010
Marcela Genero, Mario Piattini
exaly