课题基金 / 基金详情

MOBI-J-II: Formal Methods for Components and Objects

MOBI-J-II: Formal Methods for Components and Objects
MOBI-J-II：组件和对象的形式化方法
批准号：
5341258
负责人：
Professor Dr. Willem-Paul de Roever
金额：
$0.0万
依托单位：
Leiden Institute of Advanced Computer Science (LIACS)
依托单位国家：
德国
项目类别：
Research Grants
财政年份：
2001
资助国家：
德国
项目状态：
已结题
起止时间：
2000-12-31 至 2008-12-31
来源：
https://gepris.dfg.de/gepris/projekt/5341258?language=en
关键词：
MOBIIIFormalMethodsComponents

项目摘要

项目成果

Professor Dr. Willem-Paul de Roever的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
In diesem Projekt wollen wir eine Programmierumgebung zum komponentenbasierten Entwurf und zur computerunterstützten (semi-)automatischen Verifikation von Java Programmen entwickeln. Wir erweitern die Programmiersprache Java mit einem Komponentenkonzept, welche die internen Datenverarbeitungsaspekte kapselt. Die Kommunikation zwischen Komponenten geschieht ausschließlich mittels mobiler asynchroner Kanäle. Diese erweiterte Sprache nennen wir MOBI-J. Die MOBI-J-Programmierumgebung umfaßt Werkzeuge für die Spezifikation und Verifikation basierend auf Zusicherungsmethoden. diese Methoden werden die in der Unified Modeling Language (UML) enthaltene Zusicherungssprache Object Constraint Language (OCL) erweitern und verallgemeinern.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Extending Statecharts by Under- and Over-Approximation Mechanisms for Top-Down Development Support
  • 批准号：
    21542682
  • 项目类别：
    Research Grants
  • 资助金额：
    $0.0万
  • 财政年份：
    2006
  • 负责人：
    Professor Dr. Willem-Paul de Roever
  • 依托单位：
    Institut für Informatik
Integrierte algorithmische und deduktive Verifikation verteilter Steuerungssysteme für hybride Prozesse
  • 批准号：
    5288312
  • 项目类别：
    Research Grants
  • 资助金额：
    $0.0万
  • 财政年份：
    2003
  • 负责人：
    Professor Dr. Willem-Paul de Roever
  • 依托单位：
    Institut für Informatik
An assertional proof theory for multi-threaded control flow in the object-based core of Java
  • 批准号：
    5330420
  • 项目类别：
    Research Grants
  • 资助金额：
    $0.0万
  • 财政年份：
    2001
  • 负责人：
    Professor Dr. Willem-Paul de Roever
  • 依托单位：
    Institut für Informatik
Integrierte algorithmische und deduktive Verifikation verteilter Steuerungssysteme für hybride Prozesse
  • 批准号：
    5301556
  • 项目类别：
    Priority Programmes
  • 资助金额：
    $0.0万
  • 财政年份：
    2001
  • 负责人：
    Professor Dr. Willem-Paul de Roever
  • 依托单位：
    Institut für Informatik
国内基金
海外基金
基于生境成像与深度学习联合临床特征构建II型卵巢癌术前淋巴结转移预测模型的研究
鸡软骨非变性II型胶原高效制备和靶向递送的关键技术开发与应用示范
青蒿琥酯协同TROP2/线粒体级联靶向的NIR-II多模态诊疗用于晚期TNBC精准诊断与治疗的机制研究
  • 批准号：
    2026JJ30126
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2026
  • 负责人：
    杨沙
  • 依托单位：
    湘南学院
苏合颗粒治疗慢性萎缩性胃炎的临床（II期）评价关键技术研究