MTSA: The modal transition system analyser
Modal Transition Systems (MTS) are operational models that distinguish between required and proscribed behaviour of the system to be and behaviour which it is not yet known whether the system should exhibit. MTS, in contrast with traditional behaviour models, support reasoning about the intended sys...
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | , , |
| Formato: | Acta de conferencia Capítulo de libro |
| Lenguaje: | Inglés |
| Publicado: |
2008
|
| Acceso en línea: | Registro en Scopus DOI Handle Registro en la Biblioteca Digital |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
| LEADER | 03104caa a22004697a 4500 | ||
|---|---|---|---|
| 001 | PAPER-5595 | ||
| 003 | AR-BaUEN | ||
| 005 | 20251211114132.0 | ||
| 008 | 190411s2008 xx ||||fo|||| 10| 0 eng|d | ||
| 024 | 7 | |2 scopus |a 2-s2.0-56249125682 | |
| 040 | |a Scopus |b spa |c AR-BaUEN |d AR-BaUEN | ||
| 100 | 1 | |a D'Ippolito, N. | |
| 245 | 1 | 0 | |a MTSA: The modal transition system analyser |
| 260 | |c 2008 | ||
| 270 | 1 | 0 | |m D'Ippolito, N.; FCEN, University of Buenos AiresArgentina; email: ndippolito@dc.uba.ar |
| 504 | |a Larsen, K.G., Thomsen, B., A modal process logic (1988) LICS, pp. 203-210. , IEEE Computer Society | ||
| 504 | |a Magee, J., Kramer, J., (1999) Concurrency - State Models and Java Programs, , John Wiley | ||
| 504 | |a Sibay, G., Uchitel, S., Braberman, V., Existential live sequence charts revisited, (2008) ICSE'08 | ||
| 504 | |a Uchitel, S., Chechik, M., Merging Partial Behavioural Models (2004) FSE'04, pp. 43-52A4 - IEEE TCSE; ACM SIGSOFT; ACM SIGART; AICA | ||
| 506 | |2 openaire |e Política editorial | ||
| 520 | 3 | |a Modal Transition Systems (MTS) are operational models that distinguish between required and proscribed behaviour of the system to be and behaviour which it is not yet known whether the system should exhibit. MTS, in contrast with traditional behaviour models, support reasoning about the intended system behaviour in the presence of incomplete knowledge. In this paper, we present MTSA a tool that supports the construction, analysis and elaboration of Modal Transition Systems (MTS). © 2008 IEEE. |l eng | |
| 593 | |a FCEN, University of Buenos Aires, Argentina | ||
| 593 | |a Imperial College London, London SW7 2RH, United Kingdom | ||
| 593 | |a University of Toronto, Toronto, ON, Canada | ||
| 690 | 1 | 0 | |a BEHAVIOUR MODELS |
| 690 | 1 | 0 | |a INCOMPLETE KNOWLEDGES |
| 690 | 1 | 0 | |a MODAL TRANSITION SYSTEMS |
| 690 | 1 | 0 | |a OPERATIONAL MODELS |
| 690 | 1 | 0 | |a SYSTEM BEHAVIOURS |
| 690 | 1 | 0 | |a SOFTWARE ENGINEERING |
| 700 | 1 | |a Fischbein, D. | |
| 700 | 1 | |a Chechik, M. | |
| 700 | 1 | |a Uchitel, Sebastián | |
| 711 | 2 | |c L'Aquila |d 15 September 2008 through 19 September 2008 |g Código de la conferencia: 74223 | |
| 773 | 0 | |d 2008 |h pp. 475-476 |p ASE - IEEE/ACM Int. Conf. Autom. Softw. Eng., Proc. |n ASE 2008 - 23rd IEEE/ACM International Conference on Automated Software Engineering, Proceedings |z 9781424421886 |t ASE 2008 - 23rd IEEE/ACM International Conference on Automated Software Engineering | |
| 856 | 4 | 1 | |u https://www.scopus.com/inward/record.uri?eid=2-s2.0-56249125682&doi=10.1109%2fASE.2008.78&partnerID=40&md5=5d727b43a027ecc952ea695e6296f2d0 |y Registro en Scopus |
| 856 | 4 | 0 | |u https://doi.org/10.1109/ASE.2008.78 |y DOI |
| 856 | 4 | 0 | |u https://hdl.handle.net/20.500.12110/paper_97814244_v_n_p475_DIppolito |y Handle |
| 856 | 4 | 0 | |u https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_97814244_v_n_p475_DIppolito |y Registro en la Biblioteca Digital |
| 961 | |a paper_97814244_v_n_p475_DIppolito |b paper |c PE | ||
| 962 | |a info:eu-repo/semantics/conferenceObject |a info:ar-repo/semantics/documento de conferencia |b info:eu-repo/semantics/publishedVersion | ||
| 999 | |c 66548 | ||