Object oriented concepts identification from formal B specifications

DOI10.1007/S10703-006-0030-1zbMATH Open1116.68050OpenAlexW2053712734MaRDI QIDQ883142FDOQ883142

Authors: Akram Idani, Yves Ledru 

Publication date: 31 May 2007

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-006-0030-1

Recommendations

• scientific article; zbMATH DE number 2156157
• scientific article; zbMATH DE number 1949631
• scientific article; zbMATH DE number 2086744
• Agent-oriented conceptual models to UML sequence diagrams via effect annotations
• scientific article; zbMATH DE number 1303990

zbMATH Keywords

UMLIntegrated methods

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Cites Work

• ZB 2005: Formal Specification and Development in Z and B
• Statecharts: a visual formalism for complex systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (6)

• Agent-oriented conceptual models to UML sequence diagrams via effect annotations
• Construction of abstract state graphs for understanding Event-B models
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Uses Software

• GeneSyst
• ProB
• Z

This page was built for publication: Object oriented concepts identification from formal \(B\) specifications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q883142)