Object oriented concepts identification from formal B specifications

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

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

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 (4)

• 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

   Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Agent-oriented conceptual models to UML sequence diagrams via effect annotations 👍 👎
• Title not available (Why is that?) 👍 👎

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)