机译:自主系统编程的一种正式方法:SCEL语言
IMT, Institute for Advanced Studies Lucca, Piazza San Francesco 19, I-55100, Lucca, Italy;
Universita degli Studi di Firenze, Viale Morgagni 65, I-50134, Firenze, Italy;
Universita degli Studi di Firenze, Viale Morgagni 65, I-50134, Firenze, Italy;
IMT, Institute for Advanced Studies Lucca, Piazza San Francesco 19, I-55100, Lucca, Italy;
Autonomic computing; programming languages; formal methods;
机译:安全系统的关键安全设计:关键安全程序需要全面的方法,必须结合使用专门的语言和工具,严格控制的测试以及使用正式方法
机译:形式化语言规范的操作本体论方法
机译:编程语言概念教学的一种形式化方法
机译:自主系统编程的一种正式方法:SCEL语言(长摘要)
机译:第二语言课程中正式语法教学的重点:通过儿童文学的自然方法。
机译:神经系统语言:用于系统描述明确通信和神经连接自动数字化的形式化建模语言
机译:自主系统编程的正式方法:sCEL语言