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.

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

Fingerprint

Specifications
Module
Specification
Information Hiding
Choose
Requirements

Keywords

  • Modular languages
  • Multiple implementations

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

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

Une méthode basée sur la stipulation de qualités pour choisir parmi divers réalisations de modules. / Collberg, Christian S; Krampell, Magnus G.

ESEC 1987 - 1st European Software Engineering Conference Strasbourg, Proceedings. Vol. 289 LNCS Springer Verlag, 1987. p. 191-201 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 289 LNCS).

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

Collberg, CS & Krampell, MG 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, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 289 LNCS, Springer Verlag, pp. 191-201, Strasbourg, France, 9/9/87. https://doi.org/10.1007/BFb0022112
Collberg CS, Krampell MG. 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. Springer Verlag. 1987. p. 191-201. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/BFb0022112
Collberg, Christian S ; Krampell, Magnus G. / Une méthode basée sur la stipulation de qualités pour choisir parmi divers réalisations de modules. ESEC 1987 - 1st European Software Engineering Conference Strasbourg, Proceedings. Vol. 289 LNCS Springer Verlag, 1987. pp. 191-201 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{545828aa0bab4e2f96bed6e68fa486d1,
title = "Une m{\'e}thode bas{\'e}e sur la stipulation de qualit{\'e}s pour choisir parmi divers r{\'e}alisations de modules",
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.",
keywords = "Modular languages, Multiple implementations",
author = "Collberg, {Christian S} and Krampell, {Magnus G.}",
year = "1987",
month = "1",
day = "1",
doi = "10.1007/BFb0022112",
language = "French",
isbn = "9783540187127",
volume = "289 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "191--201",
booktitle = "ESEC 1987 - 1st European Software Engineering Conference Strasbourg, Proceedings",
address = "Germany",

}

TY - GEN

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

AU - Collberg, Christian S

AU - Krampell, Magnus G.

PY - 1987/1/1

Y1 - 1987/1/1

N2 - 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.

AB - 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.

KW - Modular languages

KW - Multiple implementations

UR - http://www.scopus.com/inward/record.url?scp=85036460534&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85036460534&partnerID=8YFLogxK

U2 - 10.1007/BFb0022112

DO - 10.1007/BFb0022112

M3 - Conference contribution

AN - SCOPUS:85036460534

SN - 9783540187127

VL - 289 LNCS

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 191

EP - 201

BT - ESEC 1987 - 1st European Software Engineering Conference Strasbourg, Proceedings

PB - Springer Verlag

ER -