Registrer deg | Logg på | FAQ      [?] 
Recent | Recommended | Search | Authors | Tags | Export

Group: Desgin-by-Contract - with tag design-by-contract [23 articles]

Nye artikler sendt inn av medlemmer i Desgin-by-Contract -gruppen with tag design-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 static-analysis softnet purity-analysis java design-by-contract by sjgaller to the group Desgin-by-Contract on 2008-06-30 07:34:33 as **
  • Untitled
    (1997)
    by Bertrand Meyer
    edited by Eileen Clark
    posted to design-by-contract eiffel softnet by sjgaller to the group Desgin-by-Contract on 2007-10-15 14:43:11 as **
  • 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 softnet larch design-by-contract by sjgaller to the group Desgin-by-Contract on 2007-08-17 07:15:32 as read along with 1 group Context-driven-testers
  • A Runtime Assertion Checker for the Java Modeling Language
    (2003)
    by Yoonsik Cheon, Gary T Leavens
    posted to softnet jml java design-by-contract by sjgaller to the group Desgin-by-Contract on 2007-08-16 16:27:53 as read along with 1 group Context-driven-testers
  • Design By Contract for Java - Revised
    (April 2007)
    by Johannes Rieken
    posted to tool softnet java design-by-contract by sjgaller to the group Desgin-by-Contract on 2007-08-06 13:09:03 as * along with 1 group Context-driven-testers
  • 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 testing softnet formalization design-by-contract by sjgaller to the group Desgin-by-Contract on 2007-07-18 07:13:12 as *** along with 1 group Context-driven-testers
  • UniTesK Test Suite Architecture
    Vol. 2391/2002 (2002), pp. 121-152.
    by IB Bourdonov, A Kossatchev, VV Kuliamin, A Petrenko
    posted to unitesk test-case-generation softnet design-by-contract by sjgaller to the group Desgin-by-Contract on 2007-06-15 11:06:57 as * along with 1 group Context-driven-testers
  • 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 softnet formalization design-by-contract by sjgaller to the group Desgin-by-Contract on 2007-06-11 13:23:32 as read along with 1 group Context-driven-testers
  • Automatic testing based on design by contract
    Proceedings of Net. ObjectDays (2005), pp. 545-557.
    by I Ciupa, A Leitner
    posted to tools test-case-generation softnet eiffel design-by-contract by sjgaller to the group Desgin-by-Contract on 2007-06-11 12:56:09 as read along with 1 person and 1 group cyph3r Context-driven-testers
  • UniTesK: Model Based Testing in Industrial Practice
    (11-12 December 2003), pp. 55-63.
    by Victor V Kuliamin, Alexander K Petrenko, Alexander S Kossatchev, Igor B Bourdonov
    posted to unitesk softnet java design-by-contract c-cpp by sjgaller to the group Desgin-by-Contract on 2007-06-05 08:36:30 as read along with 1 group Context-driven-testers
  • Data Abstraction and Hierarchy
    ACM SIGPLAN Notices, Vol. 23, No. 5. (May 1988), pp. 17-34.
    by Barbara Liskov
    posted to softnet design-by-contract by sjgaller to the group Desgin-by-Contract on 2007-06-05 08:11:13 as ** along with 1 group Context-driven-testers
  • 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 softnet jml java design-by-contract case-study by sjgaller to the group Desgin-by-Contract on 2007-06-05 07:38:23 as ** along with 1 group Context-driven-testers
  • Extending JML Specifications with Temporal Logic
    Vol. 2422/2002 (September 2002), 334.
    by K Trentelman, M Huisman
    posted to temporal-logic softnet jml java design-by-contract by sjgaller to the group Desgin-by-Contract on 2007-06-05 07:25:21 as ** along with 1 person and 1 group pdagarwal Context-driven-testers
  • Desugaring JML Method Specifications
    No. 00-03a. (2000)
    by Arun D Raghavan, Gary T Leavens
    posted to softnet jml java design-by-contract by sjgaller to the group Desgin-by-Contract on 2007-06-05 07:23:05 as ** along with 1 person and 1 group pdagarwal Context-driven-testers
  • JML: A Notation for Detailed Design
    Behavioral Specifications of Businesses and Systems (1999), pp. 175-188.
    by Gary T Leavens, Albert L Baker, Clyde Ruby
    edited by Haim Kilov, Bernhard Rumpe, William Harvey
    posted to softnet jml java design-by-contract by sjgaller to the group Desgin-by-Contract on 2007-06-05 07:17:44 as read along with 1 group Context-driven-testers
  • Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2
    Formal Methods for Components and Objects (FMCO) 2005, Vol. 4111 (2006), pp. 342-363.
    by Patrice Chalin, Joseph R Kiniry, Gary T Leavens, Erik Poll
    posted to softnet jml java design-by-contract by sjgaller to the group Desgin-by-Contract on 2007-06-05 07:08:58 as read along with 1 group Context-driven-testers
  • The Challenges of Writing Reusable and Portable Aspects in AspectJ: Lessons from Contract4J
    (22 March 2006)
    by Dean Wampler
    posted to softnet java design-by-contract by sjgaller to the group Desgin-by-Contract on 2007-06-04 15:23:10 as read along with 1 group Context-driven-testers
  • Contract4J for Design by Contract in Java: Design Pattern-Like Protocols and Aspect Interfaces
    (21 March 2006)
    by Dean Wampler
    posted to tools softnet java design-by-contract by sjgaller to the group Desgin-by-Contract on 2007-06-04 15:20:27 as read along with 1 group Context-driven-testers
  • Adding Contracts to Java with Handshake
    No. TRCS98-32. (September, 1998)
    by Andrew Duncan, Urs Hoelzle
    posted to softnet java design-by-contract by sjgaller to the group Desgin-by-Contract on 2007-06-04 11:50:27 as read along with 1 group Context-driven-testers
  • jContractor: A Reflective Java Library to Support Design by Contract
    (1999), pp. 19-21.
    by Murat Karaorman, Urs Holzle, John Bruno
    posted to tools softnet java design-by-contract by sjgaller to the group Desgin-by-Contract on 2007-06-01 18:26:23 as read along with 1 group Context-driven-testers
  • 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 tools softnet java design-by-contract by sjgaller to the group Desgin-by-Contract on 2007-06-01 17:49:07 as read along with 1 group Context-driven-testers
  • 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 tools softnet java design-by-contract by sjgaller to the group Desgin-by-Contract on 2007-06-01 17:33:38 as read along with 1 person and 1 group pdagarwal Context-driven-testers
  • Design by Contract with JML
    (2003)
    by G Leavens, Y Cheon
    posted to softnet overview jml design-by-contract by sjgaller to the group Desgin-by-Contract on 2007-06-01 09:26:24 as read along with 3 people and 1 group msakai dsilva pdagarwal Context-driven-testers
    • NB: Du kan sitere denne siden som: http://www.citeulike.org/group/2666/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.