Author of the publication

Rely-guarantee approach to reasoning about aspect-oriented programs.

, and . SPLAT, volume 217 of ACM International Conference Proceeding Series, page 5. ACM, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Responsibilities and Rewards: Specifying Design Patterns., and . ICSE, page 666-675. IEEE Computer Society, (2004)Efficient Distributed Deadlock Detection and Resolution using Probes, Tokens, and Barriers., , and . ICPADS, page 584-. IEEE Computer Society, (1997)Formal specification of design patterns: A case study., and . IASTED Conf. on Software Engineering and Applications, page 362-367. IASTED/ACTA Press, (2004)Reusing Patterns through Design Refinement., and . ICSR, volume 5791 of Lecture Notes in Computer Science, page 225-235. Springer, (2009)Collaborative and Cooperative-Learning in Software Engineering Courses., , and . ICSE (2), page 319-322. IEEE Computer Society, (2015)ISBN 978-1-4799-1934-5 (Vol. I + II ???).Work in progress - Collaborative and reflective learning in engineering programs.. FIE, page S2. IEEE Computer Society, (2011)Conflict-Driven Cooperative-Learning in Computing Courses (Abstract Only)., , and . SIGCSE, page 685. ACM, (2015)Rely-guarantee approach to reasoning about aspect-oriented programs., and . SPLAT, volume 217 of ACM International Conference Proceeding Series, page 5. ACM, (2007)Inheritance: from code reuse to reasoning reuse., and . ICSR, page 206-215. IEEE Computer Society, (1998)Amplifying the Benefits of Design Patterns: From Specification Through Implementation., , and . FASE, volume 3922 of Lecture Notes in Computer Science, page 214-229. Springer, (2006)