OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness

Author： Cengarle María Victoria   Knapp Alexander  

Publisher： Springer Publishing Company

ISSN： 1619-1366

Source： Software and Systems Modeling (SoSyM), Vol.3, Iss.1, 2004-03, pp. : 9-30

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Related content

Formal Semantics of Java Expressions and Statements

By Zamulin A. V.  

Programming and Computer Software, Vol. 29, Iss. 5, 2003-09 ,pp. : 259-270

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

Semantics of OCL specified with QVT

By Marković Slaviša  

Software and Systems Modeling (SoSyM), Vol. 7, Iss. 4, 2008-10 ,pp. : 399-422

Springer Publishing Company

Access to resources Recommend Favorite

On the expressiveness of MTL in the pointwise and continuous semantics

By D’Souza Deepak   Prabhakar Pavithra  

International Journal on Software Tools for Technology Transfer, Vol. 9, Iss. 1, 2007-02 ,pp. : 1-4

Springer Publishing Company

Access to resources Recommend Favorite

Formal Foundations of Operational Semantics

By Ford J.  

LISP and Symbolic Computation, Vol. 16, Iss. 3, 2003-09 ,pp. : 161-202

Springer Publishing Company

Access to resources Recommend Favorite

Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering

By Gannod G.C.   Cheng B.H.C.  

Automated Software Engineering, Vol. 3, Iss. 1-2, 1996-07 ,pp. : 139-164

Springer Publishing Company

Access to resources Recommend Favorite