Murali Sitaraman

Murali Sitaraman

Clemson University - Clemson / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 883614
person_outline Murali Sitaraman's MOST POPULAR ARTICLES
1-) Foundations of component-based systemsGT Leavens, M SitaramanCambridge University Press, 20002302000
2-) Special feature: Componentbased software using resolveM Sitaraman, BW WeideSoftware Engineering Notes 19 (4), 21-67, 19942291994
3-) Model variables: Cleanly supporting abstraction in design by contractY Cheon, G Leavens, M Sitaraman, S EdwardsSoftware: Practice and Experience 35 (6), 583-599, 20051612005
4-) Roadmap for enhanced languages and methods to aid verificationGT Leavens, JR Abrial, D Batory, M Butler, A Coglio, K Fisler, E Hehner, ...Proceedings of the 5th international conference on Generative programming …, 20061062006
5-) Performance specification of software componentsM Sitaraman, G Kulczycki, J Krone, WF Ogden, ALN ReddyProceedings of the 2001 symposium on Software reusability: putting software …, 2001972001