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

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

Export

Statistiken

Seitenaufrufe: 132
seit 29.05.2019

Zugehörige Institution(en) am KIT	Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp	Forschungsbericht/Preprint
Publikationsjahr	2007
Sprache	Englisch
Identifikator	KITopen-ID: 1000094834
Verlag	The Open University
Bemerkung zur Veröffentlichung	NeOn Project Deliverable
Externe Relationen	Abstract/Volltext

Repository KITopen

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