刷新
{{item.name}}会员
Einbettung einer objekt-orientierten formalen Methode in einen objekt-orientierten Software-Entwicklungsprozeß
将面向对象的形式化方法嵌入到面向对象的软件开发过程中
基本信息
- 批准号：5418351
- 负责人：
- 金额：--
- 依托单位：
- 依托单位国家：德国
- 项目类别：Research Grants
- 财政年份：2004
- 资助国家：德国
- 起止时间：2003-12-31 至 2005-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
No abstract available
没有可用的摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
数据更新时间：{{ journalArticles.updateTime }}
{{
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 }}
Professorin Dr. Heike Wehrheim其他文献
Professorin Dr. Heike Wehrheim的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Professorin Dr. Heike Wehrheim', 18)}}的其他基金
VaST - Validation of Software Transactional Memory
VaST - 软件事务内存的验证
- 批准号：
362038437 - 财政年份：2017
- 资助金额：
-- - 项目类别：
Research Grants
Lina4WM Linearizability Proofs for Weak Memory Models
Lina4WM 弱内存模型的线性化证明
- 批准号：
163003744 - 财政年份：2010
- 资助金额：
-- - 项目类别：
Research Grants
Abstraktionstechniken zur Verifikation lokaler Eigenschaften großer paralleler Systeme
验证大型并行系统局部属性的抽象技术
- 批准号：
79848547 - 财政年份：2008
- 资助金额：
-- - 项目类别：
Research Grants
Modelltransformationen und Modellrefactorings für integrierte Spezifikationsformalismen
集成规范形式的模型转换和模型重构
- 批准号：
5457122 - 财政年份：2005
- 资助金额：
-- - 项目类别：
Research Grants
Verifikationstechniken für Spezifikationen verteilter Systeme mit objektorientierten daten- und prozeßorientierten Verhaltensbeschreibungen
具有面向对象数据和面向过程行为描述的分布式系统规范验证技术
- 批准号：
5207456 - 财政年份：1999
- 资助金额：
-- - 项目类别：
Research Fellowships
相似海外基金
Edition of Stephan Schützeʼs Versuch einer Theorie des Komischen (1817) and other minor comic-theoretical writings.
斯蒂芬·许茨 (Stephan Schütze) 对漫画理论的尝试 (1817) 和其他次要的漫画理论著作的版本。
- 批准号：
437953144 - 财政年份：2019
- 资助金额：
-- - 项目类别：
Research Grants
Marktaustausch – Grundlegung einer juristisch-ökonomischen Theorie desAustauschverkehrs
市场交换——法律经济交换理论的基础
- 批准号：
424234755 - 财政年份：2019
- 资助金额：
-- - 项目类别：
Publication Grants
Entwicklung und Herstellung von direktabgeschiedener Sensorik auf Baugruppen einer Bohrlochgarnitur (T14#)
开发和生产直接沉积在钻孔组件组件上的传感器（T14
- 批准号：
396879504 - 财政年份：2018
- 资助金额：
-- - 项目类别：
Collaborative Research Centres (Transfer Project)
Diskurstheoretische Glaubensverantwortung. Konturen einer religiösen Epistemologie in Auseinandersetzung mit Jürgen Habermas
话语理论信仰责任。
- 批准号：
417784169 - 财政年份：2018
- 资助金额：
-- - 项目类别：
Publication Grants
Schadensersatz wegen der Verletzung einer internationalen Gerichtsstandsvereinbarung?
因违反国际管辖协议而造成的损害赔偿？
- 批准号：
354841670 - 财政年份：2017
- 资助金额：
-- - 项目类别：
Publication Grants
Presse und Revolution in der Toskana 1847-49. Entstehung, Inhalte und Wandel einer politischen Öffentlichkeit
托斯卡纳的新闻与革命 1847-49。
- 批准号：
392728177 - 财政年份：2017
- 资助金额：
-- - 项目类别：
Publication Grants
Erfolgszurechnung in der StrafzumessungDie verschuldeten Auswirkungen der Tat gern. § 46 Abs. 2 StGB in einer regelgeleiteten Strafmaßlehre
量刑成功的归因犯罪的罪责影响。
- 批准号：
363201555 - 财政年份：2017
- 资助金额：
-- - 项目类别：
Publication Grants
Retrofit einer Elektronenstrahlschmelzanlage
改造电子束熔化系统
- 批准号：
316002380 - 财政年份：2016
- 资助金额：
-- - 项目类别：
Major Research Instrumentation
I. GottesNamen: Namenstheologische Überlegungen zu einer Öffentlichen Theologie im religiösen PluralismusII. Topische Dialogik. Bedingungen theologischer Wahrheitsfindung im Kontext polarisierter Glaubenskulturen: Perspektiven katholischer Theologie
I. 上帝的名字：宗教多元化中公共神学名称的神学思考II．
- 批准号：
317106902 - 财政年份：2016
- 资助金额：
-- - 项目类别：
Heisenberg Professorships
Upgrade einer Elektronenstrahl-Lithographieanlage
电子束光刻系统的升级
- 批准号：
289212529 - 财政年份：2015
- 资助金额：
-- - 项目类别：
Major Research Instrumentation