Period of time: 2002年1-4期
Publisher: Springer Publishing Company
Founded in: 1995
Total resources: 12
ISSN: 1022-7091
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.
Annals of Software Engineering,volume 10,issue 1-4
Menu
Editors' introduction: Comparative software engineering: Review and perspectives
Annals of Software Engineering,volume 10,issue 1-4 , Vol. 10, Iss. 1-4, 2000-01 , pp.Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering,volume 10,issue 1-4 , Vol. 10, Iss. 1-4, 2000-01 , pp.Object modelling languages: An evaluation and some key expectations for the future
Annals of Software Engineering,volume 10,issue 1-4 , Vol. 10, Iss. 1-4, 2000-01 , pp.From conceptual modelling to requirements engineering
Annals of Software Engineering,volume 10,issue 1-4 , Vol. 10, Iss. 1-4, 2000-01 , pp.Software development cost estimation approaches – A survey
Annals of Software Engineering,volume 10,issue 1-4 , Vol. 10, Iss. 1-4, 2000-01 , pp.A comparative study of formal verification techniques for software architecture specifications
By Tsai J.J.P.,Xu K. in (2000)
Annals of Software Engineering,volume 10,issue 1-4 , Vol. 10, Iss. 1-4, 2000-01 , pp.Three empirical evaluations of a software reuse reference model
Annals of Software Engineering,volume 10,issue 1-4 , Vol. 10, Iss. 1-4, 2000-01 , pp.Software – A performing science?
Annals of Software Engineering,volume 10,issue 1-4 , Vol. 10, Iss. 1-4, 2000-01 , pp.Metaphor, myth and mimicry: The bases of software engineering
Annals of Software Engineering,volume 10,issue 1-4 , Vol. 10, Iss. 1-4, 2000-01 , pp.