Ludwig-Maximilians-Universitaet Muenchen, Germany;
Computer Science Department, Aalborg University, Denmark;
Ludwig-Maximilians-Universitaet Muenchen, Germany;
Computer Science Department, Aalborg University, Denmark;
Computer Science Department, Aalborg University, Denmark,INRIA/IRIS A, Rennes Cedex, France;
Computer Science Department, Aalborg University, Denmark;
IT University of Copenhagen, Denmark;
机译:模态事件时钟规范,用于基于组件的定时设计
机译:基于组件的概率合同
机译:粗心的设计/建造合同陷阱中的说明性规范吗?
机译:使用行为契约的面向对象的基于组件的设计:在铁路系统中的应用
机译:基于组件的系统的体系结构规范和实现。
机译:启发式多序列比对算法的基于组件的设计和组装
机译:在基于组件的设计中从规范转向合同