Book Chapter10.1007/978-3-642-38484-4_30

A Rigorous Reasoning about Model Transformations Using the B Method

Akram Idani,Yves Ledru,Adil Anwar-2013-01-01-Lecture notes in business information processing

3

Chat with Paper

AI Agents for this Paper

No abstract available for this paper.

Keywords

CorrectnessComputer scienceModel transformationProgramming languageTransformation (genetics)Unified Modeling LanguageMetamodelingSyntax

Chat

Click to start Chat