System Specification Experiments on a Common Benchmark

  • Authors:
  • Giulio Gorla;Eduard Moser;Wolfgang Nebel;Eugenio Villar

  • Affiliations:
  • -;-;-;-

  • Venue:
  • IEEE Design & Test
  • Year:
  • 2000

Quantified Score

Hi-index 0.00

Visualization

Abstract

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