BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × USA
Collaborated with:
J.Lilius L.Petre R.Back
Talks about:
uml (3) model (2) formalis (1) contract (1) verifi (1) machin (1) analys (1) state (1) check (1) vuml (1)

Person: Ivan Paltor

DBLP DBLP: Paltor:Ivan

Contributed to:

ASE 19991999
UML 19991999

Wrote 3 papers:

ASE-1999-LiliusP #modelling #named #uml #verification
vUML: A Tool for Verifying UML Models (JL, IP), pp. 255–258.
UML-1999-PaltorL #formal method #model checking #state machine #uml
Formalising UML State Machines for Model Checking (IP, JL), pp. 430–445.
UML-1999-PetreBP #case study #contract #uml
Analysing UML Use Cases as Contracts (LP, RJB, IP), pp. 518–533.

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.