...
机译:致力于表达和推理软件工程方法的框架的形式化
机译:实现框架的形式化以表达和推理软件工程方法
机译:面向服务的软件工程:服务工程方法的指导框架
机译:使用图形化软件过程建模形式化对软件工程过程进行形式化
机译:软件工程和知识工程软件过程:正式确定谁是谁
机译:使用NITE元素MetableA可扩展软件框架在分布式Octree网格上求解PDE的可扩展软件框架,用于使用有限元方法在分布式Octree网格上求解PDES
机译:第三本书:医疗领域的科学研究应用:软件开发方法论和用户软件工程方法论
机译:与软件和商业工程框架和方法合作开发的Minitrack介绍
机译:软件工程小规模实验框架:指导和控制软件项目:软件工程案例研究