Automated Software Engineering,volume 6,issue 4  (10-2014)

Period of time： 2014年4期

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 6,issue 4

Menu

Guest Editorial

By Welty C. in (1999)

Automated Software Engineering,volume 6,issue 4 , Vol. 6, Iss. 4, 1999-10 , pp. 327-328

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm

By Armando A. in (1999)

Automated Software Engineering,volume 6,issue 4 , Vol. 6, Iss. 4, 1999-10 , pp. 329-356

Springer Publishing Company

Abstract Access to resources Recommend Favorite

A Metric-Based Approach to Detect Abstract Data Types and State Encapsulations

By Girard J-F. in (1999)

Automated Software Engineering,volume 6,issue 4 , Vol. 6, Iss. 4, 1999-10 , pp. 357-386

Springer Publishing Company

Abstract Access to resources Recommend Favorite

A Concept Formation Based Approach to Object Identification in Procedural Code

By Sahraoui H.A. in (1999)

Automated Software Engineering,volume 6,issue 4 , Vol. 6, Iss. 4, 1999-10 , pp. 387-410

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Efficient Implementations of Software Architectures via Partial Evaluation

By Marlet R. in (1999)

Automated Software Engineering,volume 6,issue 4 , Vol. 6, Iss. 4, 1999-10 , pp. 411-440

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Desert Island Column: The Books Don't Work

By Robertson D. in (1999)

Automated Software Engineering,volume 6,issue 4 , Vol. 6, Iss. 4, 1999-10 , pp. 441-443

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Total 6 item(s)