On the reuse and recommendation of model refactoring specifications

By Reimann Jan   Seifert Mirko   Aßmann Uwe  

Software and Systems Modeling (SoSyM), Vol. 12, Iss. 3, 2013-07 ,pp. : 579-596

Springer Publishing Company

Access to resources Recommend Favorite

Towards an institution for Object-Z specifications

By Bettaz Mohamed  

International Journal of Computer Applications in Technology, Vol. 47, Iss. 2-3, 2013-06 ,pp. : 125-137

Inderscience Publishers

Access to resources Recommend Favorite

Executing Formal Specifications with Concurrent Constraint Programming

By Wahls T.  

Automated Software Engineering, Vol. 7, Iss. 4, 2000-12 ,pp. : 315-343

Springer Publishing Company

Access to resources Recommend Favorite

Synthesizing structured analysis and object‐based formal specifications

By Coleman David  

Annals of Software Engineering, Vol. 3, Iss. 1, 1997-01 ,pp. : 221-253

Springer Publishing Company

Access to resources Recommend Favorite

Refactoring packages of object-oriented software using genetic algorithm based community detection technique

By Pan Weifeng   Jiang Bo   Xu Youyang  

International Journal of Computer Applications in Technology, Vol. 48, Iss. 3, 2013-10 ,pp. : 185-194

Inderscience Publishers

Access to resources Recommend Favorite