KIT | KIT-Bibliothek | Impressum | Datenschutz

D2.2.1 Methods for Selection and Integration of Reusable Components from Formal or Informal User Specifications

Sabou, Marta; Angeletou, Sofia; Mathieu d’Aquin; Barrasa, Jesus; Dellschaft, Klaas; Gangemi, Aldo; Lehmann, Jos; Lewen, Holger; Maynard, Diana; Mladenic, Dunja; Nissim, Malvina; Peters, Wim; Presutti, Valentina; Villazon, Boris



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Forschungsbericht
Jahr 2007
Sprache Englisch
Identifikator KITopen-ID: 1000094834
Verlag The Open University
Bemerkung zur Veröffentlichung NeOn Project Deliverable
Externe Relationen Abstract/Volltext
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page