Algebra-basierte Feature-orientierte Programmsynthese
基于代数的面向特征的程序综合
基本信息
- 批准号:77575276
- 负责人:
- 金额:--
- 依托单位:
- 依托单位国家:德国
- 项目类别:Research Grants
- 财政年份:2008
- 资助国家:德国
- 起止时间:2007-12-31 至 2014-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
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.
一个特性就是一个简单的软件系统。Features韦尔登zur Spezifikation von Gemeinsamkeiten und Unterscheden von Softwaresystemen benutzt.这是一个数据库,具有数据交换、特殊语言学习或多语言学习等特点。软件是一个很好的工具和工具,如果它们也能很好地识别结构特征,并从它们的韦尔登中提取一个简单的工具。这是一个面向计算机的软件设计。您将在时代中使用一种独特的方法、语言和工具,使您的日常生活变得更加丰富多彩或更加完整。该项目的特征基金会是由Ziel,bisherige Arbeiten unter dem Ancestor der Algebra-based面向代数的程序设计综合而成的。程序设计中的综合功能是自动的,并以韦尔登为基础。在代数软件生成器的基础上,在秋季研究中,通过理论研究韦尔登编写了一个新的代数软件版本,并在实践中编写了韦尔登程序。
项目成果
期刊论文数量(1)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Feature-interaction detection based on feature-based specifications
基于特征规范的特征交互检测
- DOI:10.1016/j.comnet.2013.02.025
- 发表时间:2013
- 期刊:
- 影响因子:0
- 作者:Sven Apel;Alexander von Rhein;Thomas Thüm;Christian Kästner
- 通讯作者:Christian Kästner
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Professor Dr.-Ing. Sven Apel其他文献
Professor Dr.-Ing. Sven Apel的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Professor Dr.-Ing. Sven Apel', 18)}}的其他基金
Pervolution: Performance Evolution of Highly-Configurable Software Systems
Pervolution:高度可配置软件系统的性能演变
- 批准号:
326071282 - 财政年份:2017
- 资助金额:
-- - 项目类别:
Research Grants
Generating Correct and Efficient Software based on Product-line Technology
基于产品线技术生成正确、高效的软件
- 批准号:
224880482 - 财政年份:2013
- 资助金额:
-- - 项目类别:
Heisenberg Professorships
ExaStencils - Advanced Stencil-Code Engineering
ExaStencils - 高级模板代码工程
- 批准号:
230724189 - 财政年份:2012
- 资助金额:
-- - 项目类别:
Priority Programmes
Techniques and Prediction Models for Sustainable Product-Line Engineering
可持续产品线工程的技术和预测模型
- 批准号:
221150666 - 财政年份:2012
- 资助金额:
-- - 项目类别:
Priority Programmes
Sichere und effiziente Softwareproduktlinien
安全高效的软件产品线
- 批准号:
168119451 - 财政年份:2010
- 资助金额:
-- - 项目类别:
Independent Junior Research Groups
Foundations and Implications of Socio-Technical Congruence in Large-Scale, Decentralized, and Distributed Software Projects
大规模、去中心化和分布式软件项目中社会技术一致性的基础和含义
- 批准号:
433609794 - 财政年份:
- 资助金额:
-- - 项目类别:
Research Grants
相似海外基金
Programmierbare Mess- und Testplattform für System-on-Chip-basierte heterogene Elektronik-Systeme
用于基于片上系统的异构电子系统的可编程测量和测试平台
- 批准号:
282150705 - 财政年份:2015
- 资助金额:
-- - 项目类别:
Major Research Instrumentation
Atomistisch-basierte Zweiskalenmodellierung lokalisierter Plastizität in metallischen Nanostrukturen
金属纳米结构局部塑性的基于原子的两尺度建模
- 批准号:
224487769 - 财政年份:2013
- 资助金额:
-- - 项目类别:
Heisenberg Fellowships
FE-basierte Mehrfeldmodellierung zur Simulation der aktiven Schallreduktion von Leichtbaustrukturen
基于有限元的多场建模来模拟轻质结构的主动降噪
- 批准号:
218243203 - 财政年份:2012
- 资助金额:
-- - 项目类别:
Research Grants
Low-Density Parity-Check Code-basierte gemeinsame Quellen- und Kanalcodierung
基于低密度奇偶校验码的公共源和信道编码
- 批准号:
214211206 - 财政年份:2012
- 资助金额:
-- - 项目类别:
Research Grants
FPGA-basierte selbstoptimierende Antriebsregelung (T07*)
基于 FPGA 的自优化驱动控制 (T07*)
- 批准号:
209787101 - 财政年份:2012
- 资助金额:
-- - 项目类别:
Collaborative Research Centres (Transfer Project)
Community-basierte Ansätze für barrierefreie Umgebungsmodelle und Routenplanung als Teil eines Navigationssystems
作为导航系统一部分的基于社区的无障碍环境模型和路线规划方法
- 批准号:
212648809 - 财政年份:2012
- 资助金额:
-- - 项目类别:
Research Grants
Vollautomatisierte Mikroskopie-basierte zelluläre High-Content Analyse Plattform für Lebendzell-Mikroskopie
用于活细胞显微镜的全自动基于显微镜的细胞高内涵分析平台
- 批准号:
226608202 - 财政年份:2012
- 资助金额:
-- - 项目类别:
Major Research Instrumentation
CeO2-basierte Oxide als redoxaktive Funktionsmaterialien für Austausch und Speicherung von Sauerstoff
CeO2基氧化物作为氧化还原活性功能材料用于氧交换和储存
- 批准号:
221392871 - 财政年份:2012
- 资助金额:
-- - 项目类别:
Research Grants
Keramische SiCN-basierte Hartstoffschichten für thermisch hoch beanspruchte Substratwerkstoffe
用于承受高热应力的基材材料的陶瓷 SiCN 基硬质材料层
- 批准号:
195002643 - 财政年份:2011
- 资助金额:
-- - 项目类别:
Research Grants
In-situ rückgeführte, Diodenlaser-basierte Absolutinterferometrie mit einer Reichweite von 100 m
原位可追踪、基于二极管激光器的绝对干涉测量,范围为 100 m
- 批准号:
190672151 - 财政年份:2011
- 资助金额:
-- - 项目类别:
Research Grants