• English
    • Deutsch
View Item 
  •   OPARU Home
  • Fakultät für Ingenieurwissenschaften, Informatik und Psychologie
  • Publikationen
  • View Item
  •   OPARU Home
  • Fakultät für Ingenieurwissenschaften, Informatik und Psychologie
  • Publikationen
  • View Item
  • English 
    • English
    • Deutsch
  • Login
JavaScript is disabled for your browser. Some features of this site may not work without it.

From descriptive specifications to operational ones: a powerful transformation rule, its applications and variants

Thumbnail
Download
vts_8196_11972.pdf (15.50Mb)
65 S.
 
Veröffentlichung
2012-09-07
DOI
10.18725/OPARU-2449
Bericht


Authors
Achatz, Klaus
Partsch, Helmut
Faculties
Fakultät für Ingenieurwissenschaften und Informatik
Ulm serial
Ulmer Informatik-Berichte
License
Standard
https://oparu.uni-ulm.de/xmlui/license_v3
Abstract
This paper introduces, discusses and proves a transformation rule to convert specification of set-valued functions defined by set comprehension into functional implementations. Variants of the rule for specifications involving existential quantification and arbitrary choice are presented and illustrated by representative examples.
Date created
1996
Subject Headings
Mengenwertige Funktion [GND]
Set functions [LCSH]
Dewey Decimal Group
DDC 004 / Data processing & computer science

Metadata
Show full item record

Citation example

Achatz, Klaus; Partsch, Helmut (2012): From descriptive specifications to operational ones: a powerful transformation rule, its applications and variants. Open Access Repositorium der Universität Ulm. http://dx.doi.org/10.18725/OPARU-2449

Other citation formats



About OPARU | Contact Us
Impressum | Privacy statement
 

 

Advanced Search

Browse

All of OPARUCommunities & CollectionsFacultiesInstitutionsPersonsResource typesUlm SerialsDewey Decimal ClassesFundingThis CollectionFacultiesInstitutionsPersonsResource typesUlm SerialsDewey Decimal ClassesFunding

My Account

LoginRegister

Statistics

View Usage Statistics

About OPARU | Contact Us
Impressum | Privacy statement