SPECC: Specification Language and Methodology
Autor: | Gajski, Daniel D., Zhu, Jianwen, Doemer, Rainer, Gerstlauer, Andreas, Zhao, S. |
---|---|
Rok vydání: | 2000 |
Předmět: | |
DOI: | 10.1007/978-1-4615-4515-6 |
Popis: | Presents and introduces the SpecC language and provides a language reference manual, describing the SpecC methodology, and demonstrates the methodology with the example of a voice coder design. |
Databáze: | OpenAIRE |
Externí odkaz: |