Current Proceedings on Technology

Current Proceedings on Technology

An approach to develop C++ Code from object-Z specifications

Yazarlar: Mehrnaz Najafi, Hassan Haghighi

Cilt 1 , Sayı - , 2012 , Sayfalar -

Konular:-

Anahtar Kelimeler:Formal program development,Object-oriented programming,Animation,Object-Z,C++

Özet: Object-Z is an extension of Zadding support for classes. Some contributions exist to mapObject-Z to various languages. However, they do not support mapping of several important constructs of Object-Z. In addition, most of the existing works do not consider all cases in a detailed way. In this paper, we present a way to animate Object-Z specifications using C++: the given method proposes mapping ideas of some constructs that have not been addressed in previous work. Also, mapping ideas are described with enough details. Finally, we consider some level of user interaction that increases the flexibility of final codes.

ATIFLAR
Atıf Yapan Eserler
Henüz Atıf Yapılmamıştır
KAYNAK GÖSTER
BibTex
KOPYALA
@article{2012, title={An approach to develop C++ Code from object-Z specifications}, volume={1}, number={0}, publisher={Current Proceedings on Technology }, author={Mehrnaz Najafi, Hassan Haghighi}, year={2012} }
APA
KOPYALA
Mehrnaz Najafi, Hassan Haghighi. (2012). An approach to develop C++ Code from object-Z specifications (Vol. 1). Vol. 1. Current Proceedings on Technology .
MLA
KOPYALA
Mehrnaz Najafi, Hassan Haghighi. An Approach to Develop C++ Code from Object-Z Specifications. no. 0, Current Proceedings on Technology , 2012.
Atıf Görüntüle
PDF Görüntüle
Kaynak Görüntüle
Paylaş
Dergi Bilgileri