Oscar Pastor, Emilio Insfrán, Vicente Pelechano, José Raúl Romero, José Merseguer. 00-METHOD: An 00 Software Production Environment Combining Conventional and Formal Methods. In Janis A. Bubenko Jr., John Krogstie, Oscar Pastor, Barbara Pernici, Colette Rolland, Arne Sølvberg, editors, Seminal Contributions to Information Systems Engineering, 25 Years of CAiSE. pages 139-152, Springer, 2013. [doi]
Abstract is missing.