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 × Italy
1 × Turkey
1 × USA
Collaborated with:
W.Sun S.Tankashala A.Kallem S.Guo F.Arafi S.J.Oh R.Kale S.Oh B.Becker B.Horton Z.Yang
Talks about:
support (2) system (2) driven (2) verif (2) learn (2) case (2) approach (1) program (1) inherit (1) develop (1)

Person: Shengru Tu

DBLP DBLP: Tu:Shengru

Contributed to:

CSEE&T 20112011
ITiCSE 20102010
SEKE 19921992

Wrote 4 papers:

CSEET-2011-TuTOBHKY #learning
Turning real-world systems into verification-driven learning cases (ST, ST, SO, BB, BH, AK, ZY), pp. 129–138.
ITiCSE-2010-TuOKKT #learning
Developing verification-driven learning cases (ST, SJO, RK, AK, ST), pp. 58–62.
SEKE-1992-SunGAT #database #inheritance #relational
Supporting Inheritance in Relational Database Systems (WS, SG, FA, ST), pp. 511–518.
SEKE-1992-TuS #approach #linear #petri net #programming #static analysis
Linear Programming Supporting Ada-Tasking Static Analysis: A Petri Net Approach (ST, WS), pp. 222–226.

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.