design-by-contract

相关标签：javascript jquery android 多少钱 iPhone

checking invariants in C++

Are there any established patterns for checking class invariants in C++? Ideally, the invariants would be automatically checked at the beginning and at the end of each public member function. As far[详细]

2023-02-05 06:23 分类：问答
Should JSON RESTful web services use data contract

This is actually a design question. I\'m wondering if Spring3.0 REST web services that carries JSON payload provide some kind of data contract similar to traditional web services which follows contrac[详细]

2023-01-31 15:21 分类：问答
Why doesn't the Code Contracts tab appear in VS 2010?

I saw a demo of Code Contracts the other day and decided to give it a shot in a little test project. I can setup my Code Contracts code appropriately after adding a \'using System.Diagnostics.Contrac[详细]

2023-01-24 08:17 分类：问答
Design by Contract: Can we express Stack FILO property with contract?

It seems that design by contract has limit to express specification. For example, i tried to express Stack FILO property with contract, but didn\'t get an idea. Anybody can help?[详细]

2023-01-24 06:57 分类：问答
How to define IEnumerable behavior by contract?

Consider this 2 methods that returns IEnumerable: private IEnumerable<MyClass> GetYieldResult(int qtResult)[详细]

2023-01-22 19:06 分类：问答
Programming by contracts in PHP

Programming by contracts is a modern trend in .NET, but what about libraries/frameworks for code contracts in PHP? What do you think about applicability of this paradigm for PHP?[详细]

2023-01-22 03:53 分类：问答
Design By Contract LIbrary(ies) for Common Lisp?

Coming from a background in Clojure, I am taken with the potential that its pre-/post-conditions provide as a basis for design by contract:[详细]

2023-01-17 23:47 分类：问答
Has someone experiences with metrics for Design-By-Contract or can recommend metrics to measure the usage of Design-By-Contract in a code base?

We are currently introducing Design-by-Contract to a software development group of about 60 developers, which are developing different components. We started by defining Design-By-Contract policies fo[详细]

2023-01-16 15:42 分类：问答
why interfaces in dynamic/loosely-typed languages?

I work in php, and the concept of interfaces seems to me a little useless here. From reading, I understand that interfaces are part of \"design by contract\", but without at least guaranteeing a retur[详细]

2023-01-13 16:35 分类：问答
eXtreme Design-by-Contract with Java, other than XINS?

Are there any technical Design-by-Contract solutions for Java projects similar to XINS? I\'m looking for projects/frameworks that enforce developers to first author a contract for their application an[详细]

2023-01-12 16:47 分类：问答