Laboratoire Specification et Verification, CNRS ENS de Cachan, France;
机译:电磁场问题有限元软件开发的正式UML相关软件工程方法
机译:马来西亚面向组件的软件开发实践的现状:试图确定其潜力和研究领域
机译:马来西亚面向组件的软件开发实践的现状:识别其潜力和研究领域科学出版物
机译:朝着成分化的正式软件开发:代数方法
机译:面向组件的软件开发的可执行规范方法
机译:控制过敏性鼻炎和哮喘测试–开发测量工具的正式方法
机译:基于组件的软件开发中软件组成的正式方法