Formal Framework for Ensuring Consistent System and Component Theories in the Design of Small Satellite Systems.
Jules ChenouWilliam W. EdmonsonAlbert C. EsterlineNatasha A. NeogiPublished in: CSDM (Posters) (2014)
Keyphrases
- formal methods
- design theory
- building blocks
- web based educational systems
- design principles
- design criteria
- software components
- conceptual framework
- knowledge based systems
- computational framework
- design tools
- embedded systems
- design processes
- interactive systems
- engineering design
- user interface
- formal model
- theoretical framework
- main contribution
- distributed systems
- management system
- design decisions
- design issues
- design patterns
- remote sensing
- formal models
- computing paradigm
- object oriented
- small number
- complex adaptive systems
- formal descriptions