Formal Verification of Object-Oriented Graph Grammars Specifications

机译：面向对象图形语法规范的形式验证

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Ferreira Ana Paula Lüdtke; Foss Luciana; Ribeiro Leila;
展开▼
作者单位

展开▼
年度 2007
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Formal specification and verification of real-time systems using Graph Grammars [J] . Costa Simone André da, Michelon Leonardo, Ribeiro Leila, Brazilian Computer Society. Journal . 2007,第4期

机译：使用图文法对实时系统进行形式化规范和验证
2. Formal Specification and Verification of Real-Time Systems using Graph Grammars [J] . Leonardo Michelon, Simone André da Costa, Leila Ribeiro Journal of the Brazilian Computer Society . 2007,第4期

机译：使用图文法的实时系统的正式规范和验证
3. Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions [J] . Ulrike Golas, Hartmut Ehrig, Frank Herrmann Electronic Communications of the EASST . 2011,第2期

机译：具有应用条件的三重图文法的模型转换的形式规范
4. Towards a formal specification method for graphical user interfaces using modularized graph grammars [C] . M. Goedicke, B. E. Sucrow, PM. Goedicke Software Specification and Design, 1996 . 1996

机译：迈向使用模块化图形语法的图形用户界面的正式规范方法
5. Formal specification and verification of a JVM and its bytecode verifier. [D] . Liu, Hanbing. 2006

机译：JVM及其字节码验证程序的正式规范和验证。
6. Rule Acquisition in Formal Decision Contexts Based on Formal Object-Oriented and Property-Oriented Concept Lattices [O] . Yue Ren, Jinhai Li, Cherukuri Aswani Kumar, -1

机译：基于形式面向对象和面向属性的概念格的形式决策上下文中的规则获取
7. Formal Specification and Verification of Real-Time Systems using Graph Grammars [O] . Leonardo Michelon, Simone André da Costa, Leila Ribeiro 2010

机译：使用图文法的实时系统的正式规范和验证
8. Validation and Verification of Formal Specifications in Object-Oriented Software Engineering [R] . Thomson, S. A. 2000

机译：面向对象软件工程中形式化规范的验证与验证

Formal Verification of Object-Oriented Graph Grammars Specifications

著录项

引文网络

相似文献

相关主题

期刊订阅