A Metric-Based Approach to Detect Abstract Data Types and State Encapsulations

By Girard J-F.  

Automated Software Engineering, Vol. 6, Iss. 4, 1999-10 ,pp. : 357-386

Springer Publishing Company

Access to resources Recommend Favorite

Specification of abstract dynamic-data types: A temporal logic approach

By Costa G.   Reggio G.  

Theoretical Computer Science, Vol. 173, Iss. 2, 1997-02 ,pp. : 513-554

Elsevier

Access to resources Recommend Favorite

From static to dynamic abstract data-types: an institution transformation

By Zucca E.  

Theoretical Computer Science, Vol. 216, Iss. 1, 1999-03 ,pp. : 109-157

Elsevier

Access to resources Recommend Favorite

The Formal Design Models of a Set of Abstract Data Types (ADTs)

By  

International Journal of Software Science and Computational Intelligence (IJSSCI), Vol. 2, Iss. 4, 2010-10 ,pp. : 72-100

IGI Global_journal

Access to resources Recommend Favorite

Abstract data type systems

By Jouannaud J.-P.   Okada M.  

Theoretical Computer Science, Vol. 173, Iss. 2, 1997-02 ,pp. : 349-391

Elsevier

Access to resources Recommend Favorite