OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods

• Autores: Oscar Pastor López, César Emilio Insfrán Pelozo, José Merseguer, Vicente Pelechano Ferragud, José Romero
• Localización: Seminal Contributions to Information Systems Engineering: 25 Years of CAiSE / coord. por A. Bubenko Janis, John Krogstie, Oscar Pastor López, Barbara Pernici, Colette Rolland, 2013, ISBN 9783642369254, págs. 139-152
• Idioma: inglés
• Texto completo no disponible (Saber más ...)