BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Cavarra:Alessandra

Facilitated 3 volumes:

MoDELS 2013PrCo
MoDELS 2012PrCo

Contributed to:

IFM 20072007
SAC 20042004
SAC 20032003
SAC 20032004
SAC 20002000

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.