HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Formal techniques in the object-oriented software development: an approach based on the B method

Hung Ledang 1
1 DEDALE - Development of specifications
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : We address the problem of modeling in B object-oriented specifications. The contribution of this research is to give a way to a formal verification of object-oriented specifications by analyzing the corresponding B specifications. This is significant where B support tools are available. We can also use object-oriented specifications as tools for building B specifications. Thus, an approach for a practical and rigorous software development, which is based on object and B from the requirements elicitation to the executable code, is proposed.
Document type :
Conference papers
Complete list of metadata

Cited literature [13 references]  Display  Hide  Download

https://hal.inria.fr/inria-00107873
Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Thursday, October 19, 2006 - 9:12:19 AM
Last modification on : Friday, February 26, 2021 - 3:28:07 PM
Long-term archiving on: : Wednesday, March 29, 2017 - 1:33:01 PM

Identifiers

  • HAL Id : inria-00107873, version 1

Collections

Citation

Hung Ledang. Formal techniques in the object-oriented software development: an approach based on the B method. 11th PhDOOS: the ECOOP2001 Doctoral Workshop, Jun 2001, Budapest, Hungary, 5 p. ⟨inria-00107873⟩

Share

Metrics

Record views

51

Files downloads

53