Istituto di Informatica e Telecomunicazioni Facolta' di Ingegneria Universita' di Catania, Italy;
Department of Education Graduate Program in Educational Technology Concordia University, Canada;
机译:声明性模型规范系统,允许NeuroML扩展为用户定义的组件类型
机译:书目分类,并通过系统辅助性附表对复合规格和注释进行扩展。第2版。 (书评)
机译:个性化的电子学习软件系统。扩展解决方案以帮助视障用户
机译:从用户的心理模型到信息系统的规范,反之亦然
机译:在软件规范中结合半正式和正式的符号:一种建模时间受限系统的方法。
机译:声明性模型规范系统,允许NeuroML扩展为用户定义的组件类型
机译:声明性模型规范系统,允许NeuroML扩展为用户定义的组件类型
机译:使用扩展数据流符号表示面向对象的规范和设计