Automated Software Engineering,volume 7,issue 1  (03-2014)

Period of time： 2014年1期

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 7,issue 1

Menu

Editorial

By Nuseibeh B. in (2000)

Automated Software Engineering,volume 7,issue 1 , Vol. 7, Iss. 1, 2000-03 , pp. 5-5

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Automated Software Engineering: Special Issue on Precise Semantics for Software Modeling Techniques (PSMT'—an ICSE'98 Workshop)

By Maibaum T.S.E. in (2000)

Automated Software Engineering,volume 7,issue 1 , Vol. 7, Iss. 1, 2000-03 , pp. 7-8

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Logic of Change: Semantics of Object Systems with Active Relations

By Bider I. in (2000)

Automated Software Engineering,volume 7,issue 1 , Vol. 7, Iss. 1, 2000-03 , pp. 9-37

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Automating Support for Software Evolution in UML

By Mens T. in (2000)

Automated Software Engineering,volume 7,issue 1 , Vol. 7, Iss. 1, 2000-03 , pp. 39-59

Springer Publishing Company

Abstract Access to resources Recommend Favorite

A Formal Model for SDL Specifications Based on Timed Rewriting Logic

By Steggles L.J. in (2000)

Automated Software Engineering,volume 7,issue 1 , Vol. 7, Iss. 1, 2000-03 , pp. 61-90

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Three Books for a Desert Island

By Wasserman T. in (2000)

Automated Software Engineering,volume 7,issue 1 , Vol. 7, Iss. 1, 2000-03 , pp. 91-93

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Total 6 item(s)