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 ...)