- Home
- Abstracts
- Toacy Oliveira
- Dietrich Birngruber
- Md Abdul Muqsit khan
- Rainer Ruggaber
- Elke Pulvermueller
- Zoltán Porkoláb
- Asmus Pandikow
- Steven Fonseca
- Abdlulrahman Al-Khudair
- Ousmane Sy
- Dan Suciu
- JOSE LUIS HERRERO
- Fernanda Baiao
- Alexandre Sztajnberg
- li yawei
- RAMARAJU MANAVALAN
- stuart marshall
- Widayashanti Sardjono
- yuming zhou
- Guido Roessling
- Guray YILMAZ
- Rajini Kanth Naidu
- Hermes Senger
- Johan Larsson
- Alexander Fronk
- Harald Stöttner
- Gilles Ardourel
- Hung LEDANG
- Attila Ulbert
- Roland Neumann
- Panitiq Netinant
- Michael Haupt
- Ezzeddin HATTAB
- priti bala
- Elzbieta Pustulka-Hunt
- Cyril Ray
- Yann-Gaël Guéhéneuc
- Péter Csontos
- Pierre Crescenzo
- Adeline Capouillez
- Mats Skoglund
- Dipankar Chakrabarti
- Pascal Costanza
- Krzysztof Kaczmarski
- Hardeep Singh
- Johannes Martin
- Arockiam L arockiam
- Raees Khan
- Baumann Bernard
- Serge Kovalev
- Arnulf Braatz
- Jun Pang
- Beum-Seuk Lee
- Sérgio Soares
- Eric Tanter
- Xinyu Dai
- Nicodemos Damianou
- Hans Reiser
- Olivier Nano
- Tracy Lewis
- Fei Cao
- Sergio Luján-Mora
- Francisco Silva
- Manuel Roman
- Brian Shand
- Pedro José ClementeMartín
- Peter Pietzuch
- Charles Suscheck
- Omar Sallabi
- Eli Tilevich
- wei zhao
- KOTRAPPA SIRBI
- Qin Ma
- Hector G. Perez-Gonzalez
- Phung Nguyen
- Ulrich Lang
- jiangixong Pang
- N.Sambasivarao Nandam
- Philippe Chevalley
- waralak vongdoiwang
- Wasif Gilani
- Atul Kumar
- Abdelsalam Shanneb
- Raees Khan
- Han Zhongming
- Mohamed El Wakil
- Amine Med ROUANE-HACENE
- Olabode Samuel Akinsola
- Robert Cloutier
- Yunming WANG
- Hoang Truong
- MIHIR MIHIR
- Romain Rouvoy
- Aine Mitchell
- suresh babu kare
- Mohammed Jaber
- Krishnan Gowthaman
- Greg Turner
- Naouel Moha
- Angela Lozano Rodriguez
- Joining
- Links
- Subscription
- Workshops
Supported by AITO.
These pages are currently maintained by Alex Potanin
Formal techniques in the object-oriented software development:an approach based on the B method
Hung LEDANG
( Vietnamese )
Campus scientifique - BP 239 54506 Vandoeuvre-lčs-Nancy Cedex - France
tel: 33 3 83 59 21 10
fax:
ledang@loria.fr
Keywords:
analysis/design formal calculus patterns software engineering
Abstract:
We address the problem of modeling in B object-oriented specifications. The most important contribution of this research is to give rise to a formal verification of object-oriented specifications by analyzing the corresponding B specifications; this is more significant with the availability of B tools such as AtelierB or B-ToolKit which are commercial. We can also use object-oriented specifications as tools for building B specifications. Thus, a practical and rigorous software development process based on objects and B from the requirements elicitation to the executable code can be proposed.
The submitted work will probably not be presented in the
upcoming ECOOP PhD Workshop.
NO HTML3
JAVA
Last modified on Mon Aug 15 14:59:24 2005