Synthesis of partial behavior models from properties and scenarios
Synthesis of behavior models from software development artifacts such as scenario-based descriptions or requirements specifications helps reduce the effort of model construction. However, the models favored by existing synthesis approaches are not sufficiently expressive to describe both universal c...
Guardado en:
| Publicado: |
2009
|
|---|---|
| Materias: | |
| Acceso en línea: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_00985589_v35_n3_p384_Uchitel http://hdl.handle.net/20.500.12110/paper_00985589_v35_n3_p384_Uchitel |
| Aporte de: |
Ejemplares similares
-
Synthesis of partial behavior models from properties and scenarios
por: Uchitel, S., et al. -
Synthesizing modal transition systems from triggered scenarios
Publicado: (2013) -
Synthesizing modal transition systems from triggered scenarios
por: Sibay, G.E., et al. -
On correct and complete strong merging of partial behaviour models
Publicado: (2008) -
On correct and complete strong merging of partial behaviour models
por: Fischbein, D., et al.