Domain Modeling Based Software Engineering A Formal Approach | Desertcart Cote D' Ivoire