Object oriented concepts identification from formal \(B\) specifications

DOI10.1007/S10703-006-0030-1zbMath1116.68050OpenAlexW2053712734MaRDI QIDQ883142

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

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

Uses Software

• ProB
• Z
• Unnamed Item

Cites Work

• Statecharts: a visual formalism for complex systems
• ZB 2005: Formal Specification and Development in Z and B
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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