formal specification; specification languages; object-oriented methods; programming language semantics; formal logic; abstract data types; object-oriented programming; formal abstract architecture; specification language; informal modeling artifact; computer-based system; programming language semantic; higher-order logic; abstract specification;
机译:使用化学抽象机器模型的正式规范和软件体系结构分析
机译:从形式代数规范验证抽象数据类型实现的创新教学工具
机译:具有并发抽象数据类型的CSCW应用程序的正式规范
机译:用于用例规格的正式抽象架构
机译:使用抽象状态机的软件正式规范
机译:水稻形态发生与植物结构:3D建筑模型的测量规范和结构发展的重建
机译:使用化学抽象机模型的软件体系结构的形式化规范和分析; CU-CS-709-94
机译:系统体系结构的半形式和形式接口规范。