Period of time： 2002年1期
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 3,issue 1
Menu
Access to resources
Recommend
Abstraction and context in requirements engineering: Toward a synthesis
By Potts Colin,Hsi Idris in (1997)
Annals of Software Engineering,volume 3,issue 1 , Vol. 3, Iss. 1, 1997-01 , pp.Elements underlying the specification of requirements
Annals of Software Engineering,volume 3,issue 1 , Vol. 3, Iss. 1, 1997-01 , pp.Viewpoints: principles, problems and a practical approach to requirements engineering
By Sommerville Ian,Sawyer Pete in (1997)
Annals of Software Engineering,volume 3,issue 1 , Vol. 3, Iss. 1, 1997-01 , pp.Towards quality requirements via animated formal specifications
By Siddiqi Jawed,Morrey Ian,Roast Chris,Ozcan Mehmet in (1997)
Annals of Software Engineering,volume 3,issue 1 , Vol. 3, Iss. 1, 1997-01 , pp.Engineering formal requirements: An analysis and testing method for Z documents
Annals of Software Engineering,volume 3,issue 1 , Vol. 3, Iss. 1, 1997-01 , pp.Synthesizing structured analysis and object‐based formal specifications
Annals of Software Engineering,volume 3,issue 1 , Vol. 3, Iss. 1, 1997-01 , pp.A formal approach to scenario integration
Annals of Software Engineering,volume 3,issue 1 , Vol. 3, Iss. 1, 1997-01 , pp.
Previous
Next