Une méthode basée sur la stipulation de qualités pour choisir parmi divers réalisations de modules

Translated title of the contribution: A property-based method for selecting among multiple implementations of modules

Christian S Collberg, Magnus G. Krampell

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

A method for automatic selection among multiple implementations in a modular language is presented. The method assumes, in keeping with the principle of information hiding, that only the specification part of a module is available to a user of a module. In each implementation a list of properties is included which describes the specifics of that implementation. The user of a module gives a "wish list" where she specifies what kind of implementation she wants for her particular application and the system will match the user's list of requirements against the available implementations and choose the most appropriate one. To aid users and module implementers a set of key-words that may be used to describe an implementation is included in the specification part of the module. An algorithm for selection of the most appropriate implementation is proposed together with an example.

Translated title of the contributionA property-based method for selecting among multiple implementations of modules
Original languageFrench
Title of host publicationESEC 1987 - 1st European Software Engineering Conference Strasbourg, Proceedings
PublisherSpringer Verlag
Pages191-201
Number of pages11
Volume289 LNCS
ISBN (Print)9783540187127
DOIs
StatePublished - Jan 1 1987
Externally publishedYes
Event1st European Software Engineering Conference, ESEC 1987 - Strasbourg, France
Duration: Sep 9 1987Sep 11 1987

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume289 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other
CountryFrance
CityStrasbourg
Period9/9/879/11/87

Keywords

  • Modular languages
  • Multiple implementations

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'A property-based method for selecting among multiple implementations of modules'. Together they form a unique fingerprint.

  • Cite this

    Collberg, C. S., & Krampell, M. G. (1987). Une méthode basée sur la stipulation de qualités pour choisir parmi divers réalisations de modules. In ESEC 1987 - 1st European Software Engineering Conference Strasbourg, Proceedings (Vol. 289 LNCS, pp. 191-201). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 289 LNCS). Springer Verlag. https://doi.org/10.1007/BFb0022112