Automated Software Engineering,volume 12,issue 2  (04-2014)

Period of time： 2014年2期

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 12,issue 2

Menu

Rewriting-Based Techniques for Runtime Verification

By Roşu Grigore in (2005)

Automated Software Engineering,volume 12,issue 2 , Vol. 12, Iss. 2, 2005-04 , pp. 151-197

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Reuse-Conducive Development Environments

By Ye Yunwen in (2005)

Automated Software Engineering,volume 12,issue 2 , Vol. 12, Iss. 2, 2005-04 , pp. 199-235

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Interactive and Probabilistic Proof of Mobile Code Safety

By Tsukada Yasuyuki in (2005)

Automated Software Engineering,volume 12,issue 2 , Vol. 12, Iss. 2, 2005-04 , pp. 237-257

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Web Application Slicing in Presence of Dynamic Code Generation

By Tonella Paolo in (2005)

Automated Software Engineering,volume 12,issue 2 , Vol. 12, Iss. 2, 2005-04 , pp. 259-288

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Total 4 item(s)