TY - RPRT TI - Modeling Software Development Methodologies: A Logic Based Approach AU - Farzad Mahdikhani AU - Mohammad Reza Abbasifard PY - 2016 UR - https://arxiv.org/abs/1607.06324 ID - 1607.06324 ER -