Tag design-by-contract [18 articles] Export

Recent papers classified by the tag design-by-contract.

	Applying "Design by Contract" [My Copy] Computer, Vol. 25, No. 10. (October 1992), pp. 40-51. by Bertrand Meyer posted to softnet design-by-contract by sjgaller to the group Desgin-by-Contract on 2009-09-27 20:13:34 as along with 1 person jweslley
	Applying `design by contract' [My Copy] Computer, Vol. 25, No. 10. (October 1992), pp. 40-51. by Bertrand Meyer posted to 1992 assertion design-by-contract eiffel object-oriented software-engineering by michaelbanks on 2009-05-12 12:06:33 as along with 5 people cyph3r lesandrop lfk dsilva hawkestein
	Supporting design patterns with annotations [My Copy] Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on In Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on (2006), pp. 8 pp.-445. by K. Meffert posted to design-by-contract design-pattern softnet specification specification-based-testing testing by sjgaller to the group Desgin-by-Contract on 2009-02-23 08:52:33 as
	Contract-Based Verification for Aspect-Oriented Refactoring [My Copy] Software Testing, Verification, and Validation, 2008 1st International Conference on In 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
	On the Predictability of Random Tests for Object-Oriented Software [My Copy] Software Testing, Verification, and Validation, 2008 1st International Conference on In 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 design-by-contract eiffel random-testing softnet testing by sjgaller on 2008-08-13 09:28:03 as
	Purity and Side Effect Analysis for Java Programs [My Copy] 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 to the group Desgin-by-Contract on 2008-06-30 07:34:33 as
	Design by Contract with JML [My Copy] (2003) by G. Leavens, Y. Cheon posted to design-by-contract specification by msakai on 2008-05-26 14:20:01 as along with 4 people and 2 groups lesandrop dsilva sjgaller pdagarwal Context-driven-testers Desgin-by-Contract
	Enhancing the Pre- and Postcondition Technique for More Expressive Specifications [My Copy] FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 1999. Proceedings, Volume II In 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 Context-driven-testers on 2007-08-17 07:15:32 as along with 1 group Desgin-by-Contract
	Contract-Based Testing [My Copy] Formal Methods at the Crossroads: From Panacea to Foundational Support In 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
	The Larch Family of Specification Languages [My Copy] Software, IEEE, Vol. 2, No. 5. (1985), pp. 24-36. by J. V. Guttag, J. J. Horning, J. M. Wing posted to softnet formalization design-by-contract by sjgaller to the group Desgin-by-Contract on 2007-06-11 13:23:32 as along with 1 group Context-driven-testers
	Data Abstraction and Hierarchy [My Copy] ACM SIGPLAN Notices In OOPSLA 87, 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 [My Copy] In Object-Oriented Technology: ECOOP'99 Workshop Reader, 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 [My Copy] In Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France., 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 Context-driven-testers on 2007-06-05 07:25:21 as along with 1 person and 1 group pdagarwal Desgin-by-Contract
	Desugaring JML Method Specifications [My Copy] No. 00-03a. (2000) by Arun D. Raghavan, Gary T. Leavens posted to softnet jml java design-by-contract by sjgaller to the group Context-driven-testers on 2007-06-05 07:23:05 as along with 1 person and 1 group pdagarwal Desgin-by-Contract
	Adding Contracts to Java with Handshake [My Copy] 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 along with 2 groups Context-driven-testers Desgin-by-Contract
	jContractor: A Reflective Java Library to Support Design by Contract [My Copy] In Proceedings Reflection'99, The Second International Conference on Meta-Level Architectures and Reflection (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 along with 2 groups Context-driven-testers Desgin-by-Contract
	iContract-the Java design by Contract tool [My Copy] Technology of Object-Oriented Languages, 1998. TOOLS 26. Proceedings In Proceedings of Technology of Object-Oriented Languages (1998), pp. 295-307. by R. Kramer posted to tools softnet java design-by-contract by sjgaller to the group Context-driven-testers on 2007-06-01 17:49:07 as along with 1 person and 1 group martinrytter Desgin-by-Contract
	Jass - Java with assertions [My Copy] 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 along with 1 person and 1 group pdagarwal Context-driven-testers

Note: You may cite this page as: http://www.citeulike.org/tag/design-by-contract

softnet	47
java	24
jml	12
testing	9
formalization	6
tools	6
specification	4
case-study	3
design-pattern	3
larch	3
overview	3
purity-analysis	3
specification-based-testing	3
static-analysis	3
temporal-logic	3
tool	3
eiffel	2
1992	1
assertion	1
object-oriented	1
random-testing	1
software-engineering	1

Tag design-by-contract [18 articles] Export

Related Tags