Register | Log in | FAQ      [?] 

Tag design-by-contract [16 articles]

Recent papers classified by the tag design-by-contract.
  • Extending JML Specifications with Temporal Logic
    Vol. 2422/2002 (September 2002), 334.
    by K Trentelman, M Huisman
    posted to design-by-contract java jml softnet temporal-logic by sjgaller on 2007-06-05 07:25:21 as ** along with 1 person and 2 groups pdagarwal Context-driven-testers Desgin-by-Contract
  • Desugaring JML Method Specifications
    No. 00-03a. (2000)
    by Arun D Raghavan, Gary T Leavens
    posted to design-by-contract java jml softnet by sjgaller on 2007-06-05 07:23:05 as ** along with 1 person and 2 groups pdagarwal Context-driven-testers Desgin-by-Contract
  • Purity and Side Effect Analysis for Java Programs
    Verification, Model Checking, and Abstract Interpretation (2005), pp. 199-215.
    by Alexandru Sălcianu, Martin Rinard
    posted to design-by-contract java purity-analysis softnet static-analysis by sjgaller on 2008-06-30 07:34:33 as ** along with 1 group Desgin-by-Contract
  • Enhancing the Pre- and Postcondition Technique for More Expressive Specifications
    FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 1999. Proceedings, Volume II, Vol. 1709/1999 (1999), pp. 73-73.
    by Gary T Leavens, Albert L Baker
    posted to design-by-contract larch softnet by sjgaller on 2007-08-17 07:15:32 as read along with 2 groups Context-driven-testers Desgin-by-Contract
  • Design by Contract with JML
    (2003)
    by G Leavens, Y Cheon
    posted to design-by-contract jml overview softnet by sjgaller on 2007-06-01 09:26:24 as read along with 3 people and 2 groups dsilva pdagarwal msakai Context-driven-testers Desgin-by-Contract
  • Data Abstraction and Hierarchy
    ACM SIGPLAN Notices, Vol. 23, No. 5. (May 1988), pp. 17-34.
    by Barbara Liskov
    posted to design-by-contract softnet by sjgaller on 2007-06-05 08:11:13 as ** along with 2 groups Context-driven-testers Desgin-by-Contract
  • A Case Study in Class Library Verification: Java's Vector Class
    Vol. 1743 (1999), pp. 109-110.
    by Marieke Huisman, Bart Jacobs, Joachim van den Berg
    edited by A Moreira, D Demeyer
    posted to case-study design-by-contract java jml softnet by sjgaller on 2007-06-05 07:38:23 as ** along with 2 groups Context-driven-testers Desgin-by-Contract
  • Contract-Based Verification for Aspect-Oriented Refactoring
    Software Testing, Verification, and Validation, 2008 1st International Conference on (2008), pp. 180-189.
    by N Ubayashi, Jinji Piao, S Shinotsuka, T University
    posted to design-by-contract softnet testing by sjgaller on 2008-08-13 09:30:40 as read
  • On the Predictability of Random Tests for Object-Oriented Software
    Software Testing, Verification, and Validation, 2008 1st International Conference on (2008), pp. 72-81.
    by I Ciupa, A Pretschner, A Leitner, M Oriol, B Meyer
    posted to testing softnet random-testing eiffel design-by-contract by sjgaller on 2008-08-13 09:28:03 as read
  • Jass - Java with assertions
    Electronic Notes in Theoretical Computer Science, Vol. 55, No. 2. (2001), pp. 1-15.
    by D Bartetzko, C Fischer, M Moller, H Wehrheim
    posted to tool design-by-contract java softnet by sjgaller on 2007-06-01 17:33:38 as read along with 1 person and 2 groups pdagarwal Context-driven-testers Desgin-by-Contract
  • iContract-the Java design by Contract tool
    Technology of Object-Oriented Languages, 1998. TOOLS 26. Proceedings (1998), pp. 295-307.
    by R Kramer
    posted to tool design-by-contract java softnet by sjgaller on 2007-06-01 17:49:07 as read along with 2 groups Context-driven-testers Desgin-by-Contract
  • The Larch Family of Specification Languages
    Software, IEEE, Vol. 2, No. 5. (1985), pp. 24-36.
    by JV Guttag, JJ Horning, JM Wing
    posted to design-by-contract formalization softnet by sjgaller on 2007-06-11 13:23:32 as read along with 2 groups Context-driven-testers Desgin-by-Contract
  • jContractor: A Reflective Java Library to Support Design by Contract
    (1999), pp. 19-21.
    by Murat Karaorman, Urs Holzle, John Bruno
    posted to tool design-by-contract java softnet by sjgaller on 2007-06-01 18:26:23 as read along with 2 groups Context-driven-testers Desgin-by-Contract
  • Contract-Based Testing
    Formal Methods at the Crossroads: From Panacea to Foundational Support, Vol. 2757/2003 (2003), pp. 34-48.
    by Bernhard K Aichernig
    posted to design-by-contract formalization softnet testing by sjgaller on 2007-07-18 07:13:12 as *** along with 2 groups Context-driven-testers Desgin-by-Contract
  • Adding Contracts to Java with Handshake
    No. TRCS98-32. (September, 1998)
    by Andrew Duncan, Urs Hoelzle
    posted to design-by-contract java softnet by sjgaller on 2007-06-04 11:50:27 as read along with 2 groups Context-driven-testers Desgin-by-Contract
  • Applying `design by contract'
    Computer, Vol. 25, No. 10. (1992), pp. 40-51.
    by B Meyer
    posted to design-by-contract by hawkestein on 2007-07-05 19:34:47 as read along with 2 people lfk dsilva
    • Note: You may cite this page as: http://www.citeulike.org/tag/design-by-contract

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.