Computer Science – Software Engineering
Scientific paper
2010-04-13
Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels (AFADL'04), besan\c{c}on : France (2004)
Computer Science
Software Engineering
Scientific paper
The most expensive source of errors and the more difficult to detect in a formal development is the error during specification. Hence, the first step in a formal development usually consists in exhibiting the set of all behaviors of the specification, for instance with an automaton. Starting from this observation, many researches are about the generation of a B machine from a behavioral specification, such as UML. However, no backward verification are done. This is why, we propose the GeneSyst tool, which aims at generating an automaton describing at least all behaviors of the specification. The refinement step is considered and appears as sub-automatons in the produced SLTS.
Morselli Xavier
Potet Marie-Laure
Stouls Nicolas
No associations
LandOfFree
GénéSyst : Génération d'un système de transitions étiquetées à partir d'une spécification B événementiel does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with GénéSyst : Génération d'un système de transitions étiquetées à partir d'une spécification B événementiel, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and GénéSyst : Génération d'un système de transitions étiquetées à partir d'une spécification B événementiel will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-282392