Formal Modeling and Analysis of Object Oriented Systems Using Triple Graph Grammars

International Journal of Embedded and Real-Time Communication Systems- United States

doi 10.4018/ijertcs.2015040103

Full Text

Abstract

Available in

Categories

Computer Science

Date

April 1, 2015

Authors

Publisher

IGI Global

Related search

Formal Specification and Verification of Real-Time Systems Using Graph Grammars

Journal of the Brazilian Computer Society

Computer Science

English

Formal Specification and Verification of Real-Time Systems Using Graph Grammars

Journal of the Brazilian Computer Society

Computer Science

English

Modeling Development Effort in Object-Oriented Systems Using Design Properties

IEEE Transactions on Software Engineering

German

Correctness of Incremental Model Synchronization With Triple Graph Grammars

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Formal Verification of Object-Oriented Software

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Triple Graph Grammars in the Large for Translating Satellite Procedures

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

From Object-Oriented Modeling to Agent-Oriented Modeling

English

Predicting Reliability of Object-Oriented Systems Using a Neural Network

Studia Universitatis Babeș-Bolyai Informatica

English

Object-Oriented Design Patterns for Modeling Dynamic Behavior of Distributed Control Systems

Journal of the Japan Society for Precision Engineering, Contributed Papers

English