System specification experiments on a common benchmark
G. Gorla, Eduard Moser, Wolfgang H. Nebel, Eugenio Villar · IEEE Design & Test of Computers · 2000
To 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.