Automated Software Engineering,volume 14,issue 2  (06-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 14,issue 2

Menu

Special issue on selected papers from the 20th International Conference on Automated Software Engineering (ASE’2005)

By Ellman Tom in (2007)

Automated Software Engineering,volume 14,issue 2 , Vol. 14, Iss. 2, 2007-06 , pp. 127-128

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers

By Betin Can Aysu in (2007)

Automated Software Engineering,volume 14,issue 2 , Vol. 14, Iss. 2, 2007-06 , pp. 129-178

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Composition inference for UML class diagrams

By Milanova Ana in (2007)

Automated Software Engineering,volume 14,issue 2 , Vol. 14, Iss. 2, 2007-06 , pp. 179-213

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Differencing logical UML models

By Xing Zhenchang in (2007)

Automated Software Engineering,volume 14,issue 2 , Vol. 14, Iss. 2, 2007-06 , pp. 215-259

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Total 4 item(s)