Period of time: 2013年3期
Publisher: Springer Publishing Company
Founded in: 2002
Total resources: 13
ISSN: 1619-1366
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.
Software and Systems Modeling (SoSyM),volume 7,issue 3
Menu
Fair treatment of evaluations in reviews
Software and Systems Modeling (SoSyM),volume 7,issue 3 , Vol. 7, Iss. 3, 2008-07 , pp.Software engineering and formal methods
By Aichernig Bernhard in (2008)
Software and Systems Modeling (SoSyM),volume 7,issue 3 , Vol. 7, Iss. 3, 2008-07 , pp.Flexible and configurable verification policies with Omnibus
Software and Systems Modeling (SoSyM),volume 7,issue 3 , Vol. 7, Iss. 3, 2008-07 , pp.Automatic maintenance of association invariants
Software and Systems Modeling (SoSyM),volume 7,issue 3 , Vol. 7, Iss. 3, 2008-07 , pp.A methodology for the selection of requirements engineering techniques
Software and Systems Modeling (SoSyM),volume 7,issue 3 , Vol. 7, Iss. 3, 2008-07 , pp.Reducing accidental complexity in domain models
Software and Systems Modeling (SoSyM),volume 7,issue 3 , Vol. 7, Iss. 3, 2008-07 , pp.