Open AccessFormalization of storage considerations in software design
Author(s) -
Lakshminarasimha Reddy Ankireddipally
Publication year - 1999
Language(s) - English
Resource type - Dissertations/theses
DOI - 10.33915/etd.3123
Subject(s) - modular design , computer science , component (thermodynamics) , focus (optics) , formal methods , computer data storage , software engineering , programming language , operating system , physics , optics , thermodynamics
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom