• Documents
  • Authors
  • Tables
  • Other Seers ▼
    RefSeer AckSeer CollabSeer SeerSeer
  • Log in
  • Sign up
  • MetaCart

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

Towards a New Way of Parameterization

Cached

  • Download as a PDF

Download Links

  • [www.cs.sunysb.edu]
  • [www4.informatik.tu-muenchen.de]
  • [www4.in.tum.de]
  • [wwwbroy.informatik.tu-muenchen.de]
  • [www4.informatik.tu-muenchen.de]

  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Radu Grosu , Dieter Nazareth
Citations:4 - 0 self
  • Summary
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

Versions

  • Version 0
  • Version 1

Version History

Metadata Version 1

User correction supplied by mph

DatumValueSource
TITLE Towards a New Way of Parameterization user correction
AUTHOR NAME Radu Grosu user correction
AUTHOR AFFIL Technische Universitat Munchen, Fakultat fur Informatik user correction
AUTHOR ADDR D-80290 Munchen, Germany user correction
AUTHOR NAME Dieter Nazareth user correction
AUTHOR AFFIL Technische Universitat Munchen, Fakultat fur Informatik user correction
AUTHOR ADDR D-80290 Munchen, Germany user correction
ABSTRACT Classical approaches to parameterization in axiomatic specification languages require the user to explicitly handle specification instantiation. This often makes specifications less readable and manageable. We therefore present a new parameterization mechanism which allows implicit instantiation. However, since this mechanism is less powerful as the first one we show how to combine them to achieve both elegance and power. We included both mechanisms in the specification language Spectrum. user correction
CITATIONS 20 found ParsCit 1.0
The National Science Foundation
  • About CiteSeerX
  • Submit Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2010 The Pennsylvania State University