Inconsistency awareness; Change process; Collaborative software engineering; Colored Petri Nets; Modeling and verification;
机译:通过软件过程工程模型的扩展对软件过程中的知识流进行建模和分析
机译:基于改进的层次建模和跨组织协作应急响应过程的正确性验证
机译:基于Petri网的协同应急响应过程建模与正确性验证
机译:协同软件工程中变更过程的建模和验证
机译:生理过程的多尺度数学模型的开发,集成和仿真:软件工程的观点。
机译:在无线传感器网络中高效的入侵检测系统开发中集成软件工程流程
机译:支持地方政府流程变更的模型:南安普顿大学电子与计算机科学系,声明性系统和软件工程小组的技术报告,针对EC资助的项目,GISIP,最佳实践GIS集成流程,项目编号。 20.915