System specification experiments on a common benchmark

摘要

abstract_textpTo contribute to the current effort toward the definition of a system-level design language, this article proposes a benchmark for system specification. The authors analyze the results of experiments using the benchmark with several languages./p/abstract_text