
Formalization of storage considerations in software design
Author(s) -
Lakshminarasimha Reddy Ankireddipally
Publication year - 2019
Language(s) - English
Resource type - Dissertations/theses
DOI - 10.33915/etd.3123
Subject(s) - modular design , computer science , component (thermodynamics) , focus (optics) , computer data storage , formal methods , storage management , software , software engineering , programming language , database , operating system , thermodynamics , physics , optics