design-by-contract

5El calor

5Respuesta

documentación de API y "límites de valor": ¿concuerdan?

¿A menudo ve en la documentación de la API (como en 'javadoc of public functions' por ejemplo) la descripción de los "límites de valor", así como la documentación clásica? Nota: No estoy hablando de c

language-agnostic documentation comments design-by-contract 2008-09-14

---

7El calor

5Respuesta

¿Cuáles son las mejores prácticas para la programación de diseño por contrato?

¿Cuáles son las mejores prácticas para la programación de diseño por contrato? En la universidad aprendí el diseño de paradigma contrato (en un entorno orientado a objetos) Hemos aprendido tres manera

design-by-contract 2009-04-13

---

9El calor

3Respuesta

Contratos de código, ¿los usará?

Microsoft acaba de lanzar Code Contracts, una herramienta que se integra con Visual Studio y le permite definir contratos para su código .Net y obtener el tiempo de ejecución y comprobando el tiempo d

.net design-by-contract 2009-02-25

---

19El calor

7Respuesta

Biblioteca para facilitar el uso del principio "diseño por contrato"

¿Existe alguna biblioteca que ayude a implementar el principio de diseño por contrato en una aplicación C++? En particular, estoy buscando una biblioteca que facilite el uso del principio, algo así co

c++ design-by-contract 2009-07-24

---

6El calor

1Respuesta

¿La especificación # es lo suficientemente estable como para usarla?

¿Alguien aquí utiliza el SpeC# regularmente? Me gustaría saber si es estable y lo suficientemente potente antes de que empiece a usarlo en todas partes. Parece que la sintaxis está influyendo en C# 4.

c#-4.0 design-by-contract spec# 2009-01-12

---

12El calor

4Respuesta

¿Cómo se hace el diseño por contrato en Perl?

Estoy investigando el uso de DbC en nuestros proyectos de Perl, y estoy tratando de encontrar la mejor manera de verificar los contratos en la fuente (por ejemplo, comprobación de las condiciones pre/

perl moose design-by-contract 2009-01-13

---

23El calor

10Respuesta

¿El diseño por contrato funciona para usted?

¿Utiliza el diseño por contrato profesionalmente? ¿Es algo que tienes que hacer desde el comienzo de un proyecto, o puedes cambiar de marcha y comenzar a incorporarlo en tu ciclo de desarrollo de soft

design design-by-contract 2008-08-25

---

8El calor

9Respuesta

¿Cómo puedo demostrar que un método nunca devolverá nulo (diseño por contrato) en C#

Tengo un método que nunca devuelve un objeto nulo. Quiero que quede claro para que los usuarios de mi API no tienen que escribir código como este: if(Getxyz() != null) { // do stuff } ¿Cómo p

c# design-by-contract 2009-01-27

---

5El calor

3Respuesta

Diseño por contrato en C para usar en la demostración automatizada de teoremas

Estoy trabajando en un par de proyectos de C y me gustaría utilizar la demostración automática de teoremas para validar el código. Idealmente, me gustaría utilizar el ATP para validar los contratos de

c automated-tests design-by-contract 2009-05-07

---

45El calor

10Respuesta

¿Una buena biblioteca de diseño por contrato para Java?

Hace unos años, hice una encuesta de paquetes de DbC para Java, y no estaba del todo satisfecho con ninguno de ellos. Desafortunadamente no guardé buenas notas sobre mis hallazgos, y asumo que las cos

java design-by-contract 2009-07-02

---