An Inductive approach for modal transition system refinement
Modal Transition Systems (MTSs) provide an appropriate framework for modelling software behaviour when only a partial specification is available. A key characteristic of an MTS is that it explicitly models events that a system is required to provide and is proscribed from exhibiting, and those for w...
Guardado en:
| Autores principales: | Alrajeh, D., Kramer, J., Russo, A., Uchitel, S. |
|---|---|
| Formato: | CONF |
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_18688969_v11_n_p106_Alrajeh |
| Aporte de: |
Ejemplares similares
-
An Inductive approach for modal transition system refinement
Publicado: (2011) -
Using abduction and induction for operational requirements elaboration
por: Alrajeh, D., et al. -
Using abduction and induction for operational requirements elaboration
Publicado: (2009) -
Distribution of modal transition systems
por: Sibay, G.E., et al. -
Distribution of modal transition systems
por: Sibay, Germán Emir, et al.
Publicado: (2012)