J’ai le plaisir de vous annoncer que le papier suivant a été accepté pour publication dans la 30e édition de SAC (ACM/SIGAPP Symposium On Applied Computing) : D. Khelladi (1), R. Bendraou (1), S. Baarir (2), Y. Laurent (1), M.‑P. Gervais (1) : A Framework to Formally Verify Conformance of a Software Process to a Software Method <https://publications.lip6.fr/index.php/publications/show/11054> ». (1) Sorbonne Universités, UPMC Univ. Paris 06, France, CNRS UMR 7606, LIP6, F-75005 Paris, France (2) LRDE, EPITA, Kremlin-Bicêtre, France ABSTRACT The increasing complexity of development projects requires methodological frameworks or methods to support development processes. A method comes with a set of best practices that are enforced and instantiated into processes to drive the realization steps of the development projects. However, those best practices come in the form of text in guides and books, or they are in the developer’s mind. Thus, during an instantiation of a method, there is no guaranty to enforce its best practices into the process, which could impact negatively the criteria: cost, time, and quality. To cope with this issue, we propose a library of constraints to be checked for four popular methods: Unified Process, Extreme Programming, Scrum and Kanban. It represents a set of best practices of these four methods that must be enforced during the instantiation. On top of this library we have built up a template-based constraint language, and implemented it to express additional constraints on processes that are modeled with UML Activity Diagrams (AD). To apply formal verification we leverage on our formalization of the way UML AD operates based on fUML semantics. The evaluation showed the feasibility of our approach as well as the feasibility to check constraints of different dimensions, i.e. time, resource, control-flow, and data-flow.