-
2
-
-
84861254005
-
-
Goleta, CA: Interactive Software Engineering, Inc
-
Arnout, Karine and Raphaël Simon, "The .NET Contract Wizard: Adding Design by Contract to Languages Other Than Eiffel," Goleta, CA: Interactive Software Engineering, Inc, 2001. http://se.inf.ethz.ch/publications/ arnout/conferences/tools_usa/2001/contract_wizard.pdf
-
(2001)
The .NET Contract Wizard: Adding Design by Contract to Languages Other Than Eiffel
-
-
Arnout, K.1
Simon, R.2
-
3
-
-
84976703630
-
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
-
-
June 21
-
"Contracts for Python," June 21, 2003, http://www.wayforward. net/pycontract/
-
(2003)
Contracts for Python
-
-
-
8
-
-
0004119021
-
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
-
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
-
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
-
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
-
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
-
13
-
-
84976714425
-
Report on the programming language euclid
-
Lampson, B. W. J. J. Horning, R. L. London, J. G. Mitchell, and G. L. Popek. "Report on the Programming Language Euclid," SIGPLAN Notice, vol. 12, number 2, pp. 1-79, 1977.
-
(1977)
SIGPLAN Notice
, vol.12
, Issue.2
, pp. 1-79
-
-
Lampson, B.W.1
Horning, J.J.2
London, R.L.3
Mitchell, J.G.4
Popek, G.L.5
-
14
-
-
0022025285
-
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
-
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
-
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
-
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
-
25
-
-
84861253226
-
-
School of Computer Science and Software Engineering, Monash University, Australia, June
-
Tran, Nam, Christin Mingins, David Abramson, and Alex Mikunov, "Rotor Project Proposal: Support for Assertions in the Rotor Runtime," School of Computer Science and Software Engineering, Monash University, Australia, June, 2002. http://www.csse.monash.edu.au/~namtt/rotor/ MonashRotorProject.html.
-
(2002)
Rotor Project Proposal: Support for Assertions in the Rotor Runtime
-
-
Tran, N.1
Mingins, C.2
Abramson, D.3
Mikunov, A.4
-
27
-
-
25844462388
-
Object-oriented programming with assertions
-
Zhang, Cui and Lucy Y. Zheng, "Object-Oriented Programming with Assertions," International Journal of Computer Science and Information Management, vol.3, no.1, pp. 59-71, 2000.
-
(2000)
International Journal of Computer Science and Information Management
, vol.3
, Issue.1
, pp. 59-71
-
-
Zhang, C.1
Zheng, L.Y.2
|