Algebra-basierte Feature-orientierte Programmsynthese
Algebra-basierte Feature-orientierte Programmsynthese
批准号:
77575276
负责人:
Professor Dr.-Ing. Sven Apel
金额:
$0.0万
依托单位国家:
德国
项目类别:
Research Grants
财政年份:
2008
资助国家:
德国
项目状态:
已结题
起止时间:
2007-12-31 至 2014-12-31
中文摘要
Ein功能是eine ALS Einheit auffassare VerhaltenSweise eines软件系统。这两个特点是:软件工程师和软件工程师。麻省理工学院的主要特点是多方面的交流,以及多方面的合作。我们的软件不是所有的东西都是这样的,我们也不知道他们的特点是什么,也不知道这些东西是什么。Dese Vorgehensweise Hei?t Feature-Orientierte SoftwaretWickrun.这是一种不同的方法,不同的方法。基于代数和特征的面向特征的程序设计是实现这一目标的基础。综合这些冯程序,我们的特点是自动报警和自动生成基本程序。从理论上讲,这是一种新的版本特征,也是一种基于代数的软件再生技术。
英文摘要
Ein Feature ist eine als Einheit auffassbare Verhaltensweise eines Softwaresystems. Features werden zur Spezifikation von Gemeinsamkeiten und Unterschieden von Softwaresystemen benutzt. Ein Beispiel ist das Anwendungsfeld der Datenhaltung, mit Features wie Transaktionsverwaltung, spezielle Speicherstukturen oder MuItianwenderbetrieb. Software wäre wesentlich leichter erstellbar und wartbar, wenn sie auch auf struktureller Ebene aus klar identifizierbaren Features bestehen und mit einfachen Mitteln aus ihnen zusammengesetzt werden könnte. Diese Vorgehensweise heißt Feature-orientierte Softwareentwicklung. Sie wird zur Zeit mit einer Fülle von unterschiedlichen Methoden, Sprachen und Werkzeugen verfolgt, die trotz ihrer gemeinsamen Zielsetzung schwer vergleichbar oder gar integrierbar sind. Das Projekt FEATUREFOUNDATION hat zum Ziel, bisherige Arbeiten unter dem Ansatz der Algebra-basierten Feature-orientierten Programmsynthese zu vereinheitlichen. Die Synthese von Programmen aus Features soll weitestgehend automatisiert und auf ein solides formales Fundament gestellt werden. Auf theoretischer Seite werden verschiedene Versionen einer Feature-Alge bra untersucht, auf praktischer Seite werden auf Basis dieser Algebren Softwaregeneratoren entwickelt und in Fallstudien erprobt.
期刊论文(1)
专著(0)
科研奖励(0)
会议论文
DOI:
10.1016/j.comnet.2013.02.025
发表时间:
2013
期刊:
Comput. Networks
影响因子:
--
作者:
[Sven Apel, Alexander von Rhein, Thomas Thüm, Christian Kästner]
通讯作者:
Christian Kästner
Pervolution: Performance Evolution of Highly-Configurable Software Systems
-
批准号:326071282
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2017
-
负责人:Professor Dr.-Ing. Sven Apel
-
依托单位:
Generating Correct and Efficient Software based on Product-line Technology
-
批准号:224880482
-
项目类别:Heisenberg Professorships
-
资助金额:$0.0万
-
财政年份:2013
-
负责人:Professor Dr.-Ing. Sven Apel
-
依托单位:
ExaStencils - Advanced Stencil-Code Engineering
-
批准号:230724189
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:2012
-
负责人:Professor Dr.-Ing. Sven Apel
-
依托单位:
Techniques and Prediction Models for Sustainable Product-Line Engineering
-
批准号:221150666
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:2012
-
负责人:Professor Dr.-Ing. Sven Apel
-
依托单位:
Sichere und effiziente Softwareproduktlinien
-
批准号:168119451
-
项目类别:Independent Junior Research Groups
-
资助金额:$0.0万
-
财政年份:2010
-
负责人:Professor Dr.-Ing. Sven Apel
-
依托单位:
Foundations and Implications of Socio-Technical Congruence in Large-Scale, Decentralized, and Distributed Software Projects
-
批准号:433609794
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:--
-
负责人:Professor Dr.-Ing. Sven Apel
-
依托单位:
海外基金