Radu Grosu Franz Regensburger Fakultat fur Informatik, Technische Universitat ...  Home/Search
Context
Related
| www4.in.tum.de/publ/pap...TUMI9402.pdf Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: www4.in.tum.de/publ/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: project concentrates on the process of developing well-structured, precise system specifications. Spectrum is a specification language, with a deduction calculus and a development methodology. An informal presentation of the language with many examples illustrating its properties is given in [BFG 93b]. The purpose of this article is to describe its formal semantics. (Update)
Similar documents (at the sentence level):
68.2%: The Logical Framework of SPECTRUM - Grosu, Regensburger (1994) (Correct)
28.7%: The Semantics of SPECTRUM - Grosu, Regensburger (1994) (Correct)
27.3%: The Semantics of Spectrum - Radu Grosu And (1994) (Correct)
Active bibliography (related documents): More All
0.3: Algebraic System Specification and Development.. - Cerioli, Gogolla, .. (1997) (Correct)
0.3: The Requirement and Design Specification Language Spectrum - An.. - Broy, al. (1993) (Correct)
0.3: KORSO Reference Languages - Concepts and Application Domains - (ed.) (1994) (Correct)
Similar documents based on text: More All
0.2: A Formal Foundation for Concurrent Object Oriented Programming - Grosu (1995) (Correct)
0.2: Compositional Specification of Mobile Systems - Grosu, Stølen (1997) (Correct)
0.1: A Denotational Model for Mobile Point-to-Point Data-flow.. - Grosu, Stølen, al. (1997) (Correct)
BibTeX entry: (Update)
@misc{ franz-logical,
author = "Radu Grosu Franz",
title = "The Logical Framework of",
url = "citeseer.ist.psu.edu/652231.html" }
Citations (may not include all citations):388 On Understanding Types (context) - Cardelli, Wegner - 1985
190 HowtoMake Ad-hoc Polymorphism Less Ad hoc - Wadler, Blott - 1989
139 Type Systems for Programming Languages (context) - Mitchell - 1990
80 Introducing institutions (context) - Burstall, Goguen
63 Order-Sorted Equational Computation (context) - Smolka, Nutt et al. - 1989
51 A Kernel Language for Algebraic Specification and Implementa.. (context) - Sannella, Wirsing - 1983
51 Fundamental Concepts in Programming Languages (context) - Strachey - 1967
32 Type checking type classes - Nipkow, Prehofer
31 Order--Sorted Algebra Solves the Constructor--Selector (context) - Goguen, Meseguer - 1987
26 Order-Sorted Polymorphism in Isabelle (context) - Nipkow - 1993
22 Second--Order Logical Relations (context) - Mitchell, Meyer - 1985
12 Towards Structured Algebraic Specifications (context) - Gaudel - 1986
9 Requirement and Design Specification for Distributed Systems (context) - Broy
9 Edinburgh LCF: A MechanisedLogic of Computation (context) - Milner, Wadsworth et al. - 1979
7 Deriving Structural Induction in LCF (context) - Paulson - 1984
7 Introduction to Programming Language Theory (context) - Mitchell - 1993
6 Partially Ordered Sorts in Algebraic Specifications (context) - Gogolla - 1976
4 HOLCF: Eine konservative Erweiterung von HOL durch LCF (context) - Regensburger - 1994
1 LarchinFiveEasy Pieces (context) - Guttag, Horning et al. - 1985
Documents on the same site (http://www4.in.tum.de/publ/papers/): More
The Amsterdam Manifesto on OCL - Cook, Kleppe, Mitchell, Rumpe.. (1999) (Correct)
Structured Specifications and Implementation of.. - Walicki, Broy (1995) (Correct)
Modeling Dynamic Component Interfaces - Huber, Rausch, Rumpe (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC