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 × France
1 × Israel
1 × Switzerland
2 × Canada
5 × USA
Collaborated with:
B.W.Weide C.T.Cook J.Gray J.E.Hollingsworth S.Drachova-Strang H.K.Harton W.F.Ogden J.O.Hallstrom J.Krone H.Smith T.J.Long E.J.Harner L.Wang Y.Sun J.C.Carver D.P.Jacobs M.B.Feldman G.A.Ford W.B.Frakes D.F.McAllister J.White D.P.Leonard R.Pak G.T.Leavens J.Abrial D.S.Batory M.J.Butler A.Coglio K.Fisler E.C.R.Hehner C.B.Jones D.Miller S.L.P.Jones D.R.Smith A.Stump
Talks about:
softwar (4) reason (4) engin (4) specif (3) composit (2) approach (2) perform (2) verif (2) evalu (2) educ (2)

♂ Person: Murali Sitaraman

DBLP DBLP: Sitaraman:Murali

Facilitated 1 volumes:

CBSE 2001PrCo

Contributed to:

CSEE&T 20132013
ICSE 20122012
ITiCSE 20122012
ITiCSE 20092009
GPCE 20062006
CBSE 20032002
CBSE 20012001
ICSE 20012001
TRI-Ada 19941994
TRI-Ada 19931993

Wrote 10 papers:

CSEET-2013-CookDSSCH #ide #reasoning #specification #using #web
Specification and reasoning in SE projects using a Web IDE (CTC, SDS, YSS, MS, JCC, JEH), pp. 229–238.
ICSE-2012-CookHSS #compilation #composition #specification #using #verification
Specification engineering and modular verification using a web-integrated verifying compiler (CTC, HKH, HS, MS), pp. 1379–1382.
ITiCSE-2012-CookDHHJKS #abstraction #approach #education #modelling
A systematic approach to teaching abstraction and mathematical modeling (CTC, SDS, JOH, JEH, DPJ, JK, MS), pp. 357–362.
ITiCSE-2009-SitaramanHWDHLKP #evaluation #reasoning #specification #student
Engaging students in specification and reasoning: “hands-on” experimentation and evaluation (MS, JOH, JW, SDS, HKH, DPL, JK, RP), pp. 50–54.
GPCE-2006-LeavensABBCFHJMJSSS #roadmap #verification
Roadmap for enhanced languages and methods to aid verification (GTL, JRA, DSB, MJB, AC, KF, ECRH, CBJ, DM, SLPJ, MS, DRS, AS), pp. 221–236.
CBSE-2003-WeideOS #composition #performance #reasoning
Expressiveness Issues in Compositional Performance Reasoning (BWW, WFO, MS), p. 15.
CBSE-2001-Sitaraman #composition #performance #reasoning
Compositional Performance Reasoning (MS), p. 19.
ICSE-2001-SitaramanLWHW #approach #component #education #evaluation #formal method #re-engineering
A Formal Approach to Component-Based Software Engineering: Education and Evaluation (MS, TJL, BWW, EJH, LW), pp. 601–609.
TRI-Ada-1994-SitaramanFFFHMW #education #question #what
What Changes Are Needed For Undergraduate CS Curricula to Educate “Software Engineers”? (MS, MBF, GAF, WBF, JEH, DFM, BWW), p. 220.
TRI-Ada-1993-SitaramanG #re-engineering #reuse
Software Reuse: A Context for Introducing Software Engineering Principles in a Traditional Computer Science Second Course (MS, JG), pp. 137–146.

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.