메뉴 건너뛰기




Volumn 4, Issue 7, 2005, Pages 65-82

Support for design by contract™ in the C# programming language

Author keywords

[No Author keywords available]

Indexed keywords


EID: 25844491074     PISSN: 16601769     EISSN: 16601769     Source Type: Journal    
DOI: 10.5381/jot.2005.4.7.a2     Document Type: Review
Times cited : (4)

References (27)
  • 3
    • 84976703630 scopus 로고
    • Lessons learned from the OS/400 OO project
    • Berg, W, M.Cline, and M.Girou, "Lessons learned from the OS/400 OO project", CACM, vol. 38, no. 10, 1995.
    • (1995) CACM , vol.38 , Issue.10
    • Berg, W.1    Cline, M.2    Girou, M.3
  • 6
    • 84861239212 scopus 로고    scopus 로고
    • June 21
    • "Contracts for Python," June 21, 2003, http://www.wayforward. net/pycontract/
    • (2003) Contracts for Python
  • 8
    • 0004119021 scopus 로고    scopus 로고
    • Adding contracts to java with handshake
    • Department of Computer Science, University of California, Santa Barbara
    • Duncan, Andrew and Urs Holzle. "Adding Contracts to Java with Handshake." Technical Report TRCS98-32, Department of Computer Science, University of California, Santa Barbara, http://citeseer.nj.nec.com/ duncan98adding.html
    • Technical Report , vol.TRCS98-32
    • Duncan, A.1    Holzle, U.2
  • 9
    • 35048835875 scopus 로고    scopus 로고
    • jContractor: A reflective java library to support design by contract
    • Lecture Notes in Computer Science, Springer Verlag
    • Karaorman, Murat, Urs Hölzle, and John Bruno, "jContractor: A Reflective Java Library to Support Design by Contract," In Proceedings of Meta-Level Architectures and Reflection, Lecture Notes in Computer Science, nr 1616, Springer Verlag, 1999. http://people.cs.uchicago.edu/~robby/contract- reading-list/~jContractor.pdf
    • (1999) Proceedings of Meta-level Architectures and Reflection , Issue.1616
    • Karaorman, M.1    Hölzle, U.2    Bruno, J.3
  • 10
    • 0002843739 scopus 로고
    • Representation and management of requirements-the rapid_WS project
    • June
    • Kott and Peasant, "Representation and Management Of Requirements-The Rapid_WS Project," Concurrent Engineering: Research and Applications, vol. 3, no. 2, June 1995.
    • (1995) Concurrent Engineering: Research and Applications , vol.3 , Issue.2
    • Kott1    Peasant2
  • 11
    • 84891374294 scopus 로고    scopus 로고
    • IContract - The Java™ design by contract ™tool
    • TOOLS 26, IEEE Computer Society
    • Kramer, Reto. "iContract - The Java™ Design by Contract ™Tool," Proceedings of Technology of Object-Oriented Languages, TOOLS 26, IEEE Computer Society, 1998. http://www.reliable-systems.com/tools
    • (1998) Proceedings of Technology of Object-oriented Languages
    • Kramer, R.1
  • 12
    • 3042646759 scopus 로고    scopus 로고
    • Supporting design by contract in Java
    • special issue: TOOLS USA 2002 proceedings, August
    • Lackner, Martin, Andreas Krall, and Franz Puntigam, "Supporting Design by Contract in Java," Journal of Object Technology, vol. 1, no. 3, special issue: TOOLS USA 2002 proceedings, pp. 57-76, August 2002, http://www.jot.fm/issues/ issue_2002_08/article4
    • (2002) Journal of Object Technology , vol.1 , Issue.3 , pp. 57-76
    • Lackner, M.1    Krall, A.2    Puntigam, F.3
  • 14
    • 0022025285 scopus 로고
    • An overview of Anna, a specification language for Ada
    • Luckham, D. and F. W. von Henke. "An Overview of Anna, A Specification Language for Ada." IEEE Software, vol. 2, number 2, pp. 9-22, 1985.
    • (1985) IEEE Software , vol.2 , Issue.2 , pp. 9-22
    • Luckham, D.1    Von Henke, F.W.2
  • 15
    • 84861253535 scopus 로고    scopus 로고
    • Design by contract framework
    • July 13
    • McFarlane, Kevin. "Design by Contract Framework," The Code Project, July 13, 2002, http://www.codeproject.com/csharp/designbycontract.asp.
    • (2002) The Code Project
    • McFarlane, K.1
  • 19
    • 18344408118 scopus 로고    scopus 로고
    • Evaluation of assertion support for the Java programming language
    • special issue: TOOLS USA 2002 proceedings, August
    • Plösch, Reinhold, "Evaluation of Assertion Support for the Java Programming Language," Journal of Object Technology, vol. 1, no. 3, special issue: TOOLS USA 2002 proceedings, pp. 5-17, August, 2002, http://www.jot.fm/issues/_issue_2002_08/articlel
    • (2002) Journal of Object Technology , vol.1 , Issue.3 , pp. 5-17
    • Plösch, R.1
  • 22
    • 84861251280 scopus 로고    scopus 로고
    • A method for support for design by contract on the .NET platform
    • Extended Report for I. Crnkovic and M. Larsson (editors), Artech House, July
    • Sjögren, Andreas. "A Method for Support for Design by Contract on the .NET platform." Extended Report for I. Crnkovic and M. Larsson (editors), "Building Reliable Component-Based Systems." Artech House, July 2002.
    • (2002) Building Reliable Component-based Systems
    • Sjögren, A.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.