Period of time： 2006年4期
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 5,issue 4
Menu
Five years of modeling in SoSyM
By France Robert,Rumpe Bernhard in (2006)
Software and Systems Modeling (SoSyM),volume 5,issue 4 , Vol. 5, Iss. 4, 2006-12 , pp.
Access to resources
Recommend
MDI: A Rule-based Multi-document and Tool Integration Approach
By Königs Alexander,Schürr Andy in (2006)
Software and Systems Modeling (SoSyM),volume 5,issue 4 , Vol. 5, Iss. 4, 2006-12 , pp.More matters on (meta-)modelling: remarks on Thomas Kühne’s “matters”
Software and Systems Modeling (SoSyM),volume 5,issue 4 , Vol. 5, Iss. 4, 2006-12 , pp.Clarifying matters of (meta-) modeling: an author’s reply
Software and Systems Modeling (SoSyM),volume 5,issue 4 , Vol. 5, Iss. 4, 2006-12 , pp.Integration of DFDs into a UML-based Model-driven Engineering Approach
By Fernandes João,Lilius Johan,Truscan Dragos in (2006)
Software and Systems Modeling (SoSyM),volume 5,issue 4 , Vol. 5, Iss. 4, 2006-12 , pp.UML specification of access control policies and their formal verification
By Koch Manuel,Parisi-Presicce Francesco in (2006)
Software and Systems Modeling (SoSyM),volume 5,issue 4 , Vol. 5, Iss. 4, 2006-12 , pp.TURTLE-P: a UML profile for the formal validation of critical and distributed systems
By Apvrille Ludovic,Saqui-Sannes Pierre,Khendek Ferhat in (2006)
Software and Systems Modeling (SoSyM),volume 5,issue 4 , Vol. 5, Iss. 4, 2006-12 , pp.