MAGIC Quantification and Summary
We have considered the shortcomings of specification and design methodology in our ADoI using COTS MP technologies in 0 and 1. We have considered the MoCs that should underlie a SDM in our ADoI (3). Inspired by the SER SDM and how our design objects parallel those in the SER SDM domain (2), we developed the rules and tools of a new specification and design methodology, the MAGIC SDM (2). We have validated the MAGIC SDM and demonstrated its efficacy with a real-world benchmark (2). In so doing we also demonstrated that the MAGIC SDM was clearly superior to both VHDL virtual prototyping and the deployable CASE SDMs that must commit to an implementation technology before performing design analysis (§7.1, §7.10).
KeywordsModel Continuity Complexity Control Software Development Environment Natural Language Requirement Token Delay
Unable to display preview. Download preview PDF.