MTSA: The modal transition system analyser

ASE 2008 - 23rd IEEE/ACM International Conference on Automated Software Engineering, Proceedings

Volumn , Issue , 2008, Pages 475-476

  D'Ippolito, Nicolás ^a,b   Fischbein, Dario ^b   Chechik, Marsha ^c   Uchitel, Sebastian ^a,b  

^a UNIVERSIDAD DE BUENOS AIRES   (Argentina)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

^c UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

BEHAVIOUR MODELS; INCOMPLETE KNOWLEDGES; MODAL TRANSITION SYSTEMS; OPERATIONAL MODELS; SYSTEM BEHAVIOURS;

SOFTWARE ENGINEERING;

EID: 56249125682     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2008.78     Document Type: Conference Paper

References (4)

1. K. G. Larsen and B. Thomsen. A modal process logic. In LICS, pages 203-210. IEEE Computer Society, 1988.
2. J. Magee and J. Kramer. "Concurrency - State Models and Java Programs". John Wiley, 1999.
3. G. Sibay, S. Uchitel, and V. Braberman. Existential live sequence charts revisited,. In ICSE'08, 2008.
4. S. Uchitel and M. Chechik. "Merging Partial Behavioural Models". In FSE'04, pages 43-52, 2004.