![](/images/ico/ico_close.png)
![](/images/ico/ico3.png)
Period of time: 2014年2期
Publisher: Springer Publishing Company
Founded in: 1994
Total resources: 48
ISSN: 0928-8910
Subject: TP Automation Technology , Computer Technology
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
![](/images/ico/ico5.png)
Rewriting-Based Techniques for Runtime Verification
Automated Software Engineering,volume 12,issue 2 , Vol. 12, Iss. 2, 2005-04 , pp.![](/images/ico/ico5.png)
Reuse-Conducive Development Environments
Automated Software Engineering,volume 12,issue 2 , Vol. 12, Iss. 2, 2005-04 , pp.![](/images/ico/ico5.png)
Interactive and Probabilistic Proof of Mobile Code Safety
Automated Software Engineering,volume 12,issue 2 , Vol. 12, Iss. 2, 2005-04 , pp.![](/images/ico/ico5.png)
Web Application Slicing in Presence of Dynamic Code Generation
Automated Software Engineering,volume 12,issue 2 , Vol. 12, Iss. 2, 2005-04 , pp.