A Formal Approach for Developing Commercial E-Agriculture Application: An OCL Modeling Perspective

Infosys science foundation series 2026 Book chapter

View at publisher
Authors: Irfan Ahmed, Umm-e-Habiba, Khadija Batool, Jabar Mahmood, Sadia Naseer, Muqadas Fatima
DOI: 10.1007/978-981-95-2212-5_23
Cited by: 0
References: 13

Fields of Study & Subjects

Model-Driven Software Engineering Techniques Formal Methods in Verification Software Engineering Techniques and Practices

Publication details

Journal / source
Infosys science foundation series
Pages
363–382
Publication date
1 January 2026
Language
EN
Document type
Book chapter