System Specification Experiments on a Common Benchmark
July-September 2000 (vol. 17 no. 3)
pp. 22-32
ASCII Text
x
Giulio Gorla, Eduard Moser, Wolfgang Nebel, Eugenio Villar,
"System Specification Experiments on a Common Benchmark,"
IEEE Design and Test of Computers, vol. 17, no. 3, pp. 22-32, July-September, 2000.
BibTex
x
@article{
10.1109/54.867891, author = {Giulio Gorla and Eduard Moser and Wolfgang Nebel and Eugenio Villar}, title = {System Specification Experiments on a Common Benchmark}, journal ={IEEE Design and Test of Computers}, volume = {17}, number = {3}, issn = {0740-7475}, year = {2000}, pages = {22-32}, doi = {http://doi.ieeecomputersociety.org/10.1109/54.867891}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }
RefWorks Procite/RefMan/Endnote
x
TY - MGZN JO - IEEE Design and Test of Computers TI - System Specification Experiments on a Common Benchmark IS - 3 SN - 0740-7475 SP22 EP32 EPD - 22-32 A1 - Giulio Gorla, A1 - Eduard Moser, A1 - Wolfgang Nebel, A1 - Eugenio Villar, PY - 2000 VL - 17 JA - IEEE Design and Test of Computers ER -
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.
Citation:
Giulio Gorla, Eduard Moser, Wolfgang Nebel, Eugenio Villar, "System Specification Experiments on a Common Benchmark," IEEE Design and Test of Computers, vol. 17, no. 3, pp. 22-32, July-Sept. 2000, doi:10.1109/54.867891
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb