Travelled to:1 × Cyprus
1 × USA
1 × United Kingdom
Collaborated with:E.Riccobene E.Börger J.Davies C.Crichton J.Welch P.Scandurra A.Zavanella
Talks about:model (6) formal (4) state (3) uml (3) generat (2) automat (2) object (2) method (2) machin (2) test (2)
♀ Person: Alessandra Cavarra
DBLP: Cavarra:Alessandra
Facilitated 3 volumes:
PrCoPrCoContributed to:
2007
2004200320042000Wrote 7 papers:
- IFM-2007-CavarraW #behaviour #modelling #specification
- Behavioural Specifications from Class Models (AC, JW), pp. 118–137.
- SAC-2004-CavarraRS #framework #modelling #simulation #uml
- A framework to simulate UML models: moving from a semi-formal to a formal environment (AC, ER, PS), pp. 1519–1523.
- SAC-2003-BorgerRC #concurrent #modelling #state machine #uml
- Modeling the Meaning of Transitions from and to Concurrent States in UML State Machines (EB, ER, AC), pp. 1086–1091.
- SAC-2003-DaviesCC #automation #generative #modelling #testing
- A Method for the Automatic Generation of Test Suites from Object Models (JD, CC, AC), pp. 1104–1109.
- SAC-J-2003-BorgerCR04 #formal method #on the #state machine #uml #using
- On formalizing UML state machines using ASM (EB, AC, ER), pp. 287–292.
- SAC-J-2003-CavarraCD04 #automation #generative #modelling #testing
- A method for the automatic generation of test suites from object models (AC, CC, JD), pp. 309–314.
- SAC-2000-CavarraRZ #formal method #parallel #semantics
- A Formal Model for the Parallel Semantics of P3L (AC, ER, AZ), pp. 804–812.