BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
base (3)
state (2)
specif (2)
object (2)
synthes (2)

Stem lsc$ (all stems)

4 papers:

FASEFASE-2009-KuglerPP #requirements #synthesis
Controller Synthesis from LSC Requirements (HK, CP, AP), pp. 79–93.
PPDPPPDP-2009-GuoZS #consistency #named
L2C2: logic-based LSC consistency checking (HFG, WZ, MS), pp. 183–194.
CIAACIAA-J-2000-HarelK02 #object-oriented #specification
Synthesizing State-Based Object Systems from LSC Specifications (DH, HK), pp. 5–51.
CIAACIAA-2000-HarelK #object-oriented #specification
Synthesizing State-Based Object Systems from LSC Specifications (DH, HK), pp. 1–33.

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.