Automated Software Engineering,volume 10,issue 3  (07-2014)

Period of time： 2014年3期

Publisher： Springer Publishing Company

Founded in： 1994

Total resources： 48

ISSN： 0928-8910

Subject： TP Automation Technology , Computer Technology

Favorite

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

Automated Software Engineering,volume 10,issue 3

Menu

Predicate Synthesis for Correcting Faulty Conjectures: The Proof Planning Paradigm

By Monroy R. in (2003)

Automated Software Engineering,volume 10,issue 3 , Vol. 10, Iss. 3, 2003-07 , pp. 247-269

Springer Publishing Company

Abstract Access to resources Recommend Favorite

User Interface Reverse Engineering in Support of Interface Migration to the Web

By Stroulia E. in (2003)

Automated Software Engineering,volume 10,issue 3 , Vol. 10, Iss. 3, 2003-07 , pp. 271-301

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Desert Island

By Grundy J. in (2003)

Automated Software Engineering,volume 10,issue 3 , Vol. 10, Iss. 3, 2003-07 , pp. 303-304

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Total 3 item(s)