Period of time： 2014年1期
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 13,issue 1
Menu
Automated Prototyping of User Interfaces Based on UML Scenarios
By Elkoutbi Mohammed in (2006)
Automated Software Engineering,volume 13,issue 1 , Vol. 13, Iss. 1, 2006-01 , pp.
Access to resources
Recommend
Integrating COTS Software into Systems through Instrumentation and Reasoning
Automated Software Engineering,volume 13,issue 1 , Vol. 13, Iss. 1, 2006-01 , pp.Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis
By Ireland Andrew,Stark Jamie in (2006)
Automated Software Engineering,volume 13,issue 1 , Vol. 13, Iss. 1, 2006-01 , pp.On the Systematic Analysis of Natural Language Requirements with C IRCE
By Ambriola Vincenzo in (2006)
Automated Software Engineering,volume 13,issue 1 , Vol. 13, Iss. 1, 2006-01 , pp.PLFaultCAT: A Product-Line Software Fault Tree Analysis Tool
Automated Software Engineering,volume 13,issue 1 , Vol. 13, Iss. 1, 2006-01 , pp.