OO-METHOD: an OO software production environment combining convertional and formal methods

• Oscar Pastor ^[1] ; Emilio Insfrán ^[1] ; Vicente Pelechano ^[1] ; José Romero ^[1] ; José Merseguer ^[1]
  1. [1] Universidad Politécnica de Valencia

     Universidad Politécnica de Valencia

     Valencia, España

     
• Localización: Advanced information systems engineering: 9th International Conference, CAiSE'97, Barcelona, Catalonia, Spain, june 16-20, 1997 : proceedings / Joan Antoni Pastor (aut.), Antoni Olivé (aut.), 1997, ISBN 3-540-63107-0, págs. 145-158
• Idioma: inglés
• Texto completo no disponible (Saber más ...)