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 × Singapore
2 × USA
Collaborated with:
D.Harel A.Pnueli J.P.Schmidt H.Lachover A.Naamad M.Politi A.Shtull-Trauring
Talks about:
uninterest (1) statechart (1) translat (1) interest (1) reactiv (1) process (1) environ (1) develop (1) complex (1) system (1)

Person: Rivi Sherman

DBLP DBLP: Sherman:Rivi

Contributed to:

ICSE 19881988
LICS 19871987
POPL 19821982

Wrote 3 papers:

ICSE-1988-HarelLNPPSS #development
STATEMATE; A Working Environment for the Development of Complex Reactive Systems (DH, HL, AN, AP, MP, RS, AST), pp. 396–406.
LICS-1987-HarelPSS #on the #semantics
On the Formal Semantics of Statecharts (DH, AP, JPS, RS), pp. 54–64.
POPL-1982-ShermanPH #logic #process
Is the Interesting Part of Process Logic Uninteresting — A Translation from PL to PDL (RS, AP, DH), pp. 347–360.

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.