机译:一系列用于体系结构约束规范的语言
LIRMM, CNRS and Montpellier-II University, France;
INRIA, Centre Rennes - Bretagne Atlantique, France VALORIA, University of South Brittany, Tohannic, 56000 Vannes, France;
rnVALORIA, University of South Brittany, Tohannic, 56000 Vannes, France;
architecture constraint; constraint language; ADL; software component; MOF; OCL; constraint transformation;
机译:势在必行与陈述约束规范语言:受控实验
机译:DSCWeaver:到过程过程规范语言的同步约束方面扩展
机译:时钟约束规范语言:使用UML / MARTE指定时钟约束
机译:使用对象约束语言的基于角色的授权约束规范
机译:分布式多处理器系统的规范和运行时验证:语言,工具和体系结构。
机译:水稻形态发生与植物结构:3D建筑模型的测量规范和结构发展的重建
机译:建筑约束规范的一系列语言