Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

HOA
1993

favoriteEmaildiscussreport

78views Theoretical Computer Science» more HOA 1993»

The Semantics of SPECTRUM

13 years 8 months ago

The Semantics of SPECTRUM

Download www4.in.tum.de

Abstract. The Spectrum project concentrates on the process of developing well-structured, precise system speci cations. Spectrum is a speci cation language, with a deduction calculus and a development methodology. An informal presentation of the Spectrum language with many examples illustrating its properties is given in 2, 3]. The purpose of this article is to describe its formal semantics.

Radu Grosu, Franz Regensburger

Real-time Traffic

HOA 1993 | Speci Cation | Speci Cation Language | Spectrum | Theoretical Computer Science |

claim paper

Related Content

» Semantics to energize the full services spectrum

» A Cancellation Theorem for BCCSP

» ASDL a wide spectrum language for designing web services

» Managing TCP Connections in Dynamic Spectrum Access Based Wireless LANs

» Web and Semantic Web Query Languages A Survey

» Enhancing Grid Usage through Semantic Metadata

» The basic constructive logic for a weak sense of consistency

» Ontology driven data integration for autism research

» Towards a Comprehensive Survey of the Semantic Gap in Visual Image Retrieval

Post Info
More Details (n/a)

Added	09 Aug 2010
Updated	09 Aug 2010
Type	Conference
Year	1993
Where	HOA
Authors	Radu Grosu, Franz Regensburger

Comments (0)