先进制造业知识服务平台
全球文献资源网 工信部产业技术基础公共服务平台 国家中小企业公共服务示范平台

期刊


issn1067-6243
刊名Science of Computer Programming - Methods of Sofware Design: Techniques and Applications
中译刊名《计算机程序设计科学》

全部

2002


题名作者出版年年卷期
Imperative objects as mobile processesJosva Lleist; Davide Sangiorgi20022002, vol.44, no.3
A hierarchy of communication models for message sequence chartsA. G. Engels; S. Mauw; M. A. Reniers20022002, vol.44, no.3
Formal agent-oriented modeling with UML and graph transformationRalph Depke; Reiko Heckel; Jochen Malte Kuster20022002, vol.44, no.2
Designing the automatic transformation of visual languagesDaniel Varro; Gergely Varro; Andras Pataricza20022002, vol.44, no.2
A visual environment for visual languagesRoswitha Bardohl20022002, vol.44, no.2
Concepts and realization of a diagram editor generator based on hypergraph transformationMark Minas20022002, vol.44, no.2
A graph transformation approach to software architecture reconfigurationMichel Wermelinger; Jose Luiz Fiadeiro20022002, vol.44, no.2
PRIMA-UML: a performance validation incremental methodology on early UML diagramsVittorio Cortellessa; Raffaela Mirandola20022002, vol.44, no.1
Extending standard UML with model composition semanticsSiobhan Clarke20022002, vol.44, no.1
Modular architecture for a toolset supporting OCLHeinrich Hussmann; Birgit Demuth; Frank Finger20022002, vol.44, no.1
1234



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  机械工业信息研究院 2018-2021