From UML to design by contract

Por: Colaborador(es): Analíticas: Mostrar analíticasTipo de contenido:
  • texto
Tipo de medio:
  • sin mediación
Tipo de soporte:
  • volumen
Tema(s):
Contenidos:
DBC is central to the Eiffel method. The Eiffel method and notation covers analysis, design, specification, and implementation. Contracts are captured by assertions. Assertions enable designers to view the relationship between a class and its clients by explicitly stating each party's rights and obligations
En: JOOP : the journal of object-oriented programming (vol. 13, nro. 12, Apr. 2001), p. 6-9S.T.:H004.415 JOU PP3432
Valoración
    Valoración media: 0.0 (0 votos)
No hay ítems correspondientes a este registro

DBC is central to the Eiffel method. The Eiffel method and notation covers analysis, design, specification, and implementation. Contracts are captured by assertions. Assertions enable designers to view the relationship between a class and its clients by explicitly stating each party's rights and obligations

No hay comentarios en este titulo.

para colocar un comentario.