伊普森

IPSEN环境:一个集成的增量项目支持环境。IPSEN项目(用于集成的、增量的、交互式的项目支持环境)涉及需求工程领域的概念、语言、方法和工具的开发,在一个或两个或多个工作区域内的大而精细的数据集成中进行编程。IPSEN项目的目标是理解、构建和机械化开发集成软件开发环境的过程。作为一个先决条件,在可以构建工具之前,有必要更精确地描述或进一步开发软件工程中使用的语言。主要结果是一个实现框架,包括一个框架体系结构和基本的通用组件和工具,用于支持单个工作区以及集成一个或多个工作区。这些工具可以从正式规范中部分生成,并合并到框架体系结构中。在集成工具实现的机械化、底层对象数据库的扩展以及集成需求工程环境的开发方面,已经取得了更多的最新成果。语言开发主要发生在需求工程和编程领域。NAGL96中有对项目及其结果的详细描述。


zbMATH中的参考文献(参考文献20条,1标准件)

显示第1到第20个结果,共20个。
按年份排序(引用)

  1. 布兰茨,简·H。;da Silva,Ricardo Reis:秩-(k)扰动的可计算特征值界(2010)
  2. 斯图尔特,G。W、 :G.W.斯图尔特。精选作品与评论。编辑:米莎E。基尔默和黛安娜P。奥利里(2010)
  3. 林一琴;施兴华;魏益民:基于谷歌矩阵的PageRank计算(2009)
  4. 加斯帕罗,M。G、 。;帕皮尼,A。;Pasquali,A.:Hilbert空间中GMRES的一些性质(2008)
  5. 李泽楷。;Huang,H.-T:数值偏微分方程的有效条件数(2008年)
  6. Dvořák、 汤姆áš: 稠密集与二叉树嵌入超立方体(2007)
  7. Bö用于开发工具的可参数化图形数据库系统(2006年)
  8. 陈晓山;李文:关于Hermitian矩阵特征空间摄动界的注记(2006)
  9. 白仲之;Ng,MichaelK.:关于非对称矩阵的不精确预条件(2005)
  10. Abdel Aziz,Mohammedi R.:自由振动分析中矩阵特征问题的相对摄动理论(2004)
  11. 利森,J。;Strakos,Z.:三对角Toeplitz矩阵GMRES的收敛性(2004)
  12. 曹、杨;Petzold,Linda:线性系统的子空间误差估计(2003)
  13. 陈晓山;李文:关于Hoffman-Wielandt型特征值的相对摄动界(2003)
  14. 比肖夫,克里斯蒂安H。;昆塔纳港í, Gregorio:计算稠密矩阵的QR因子分解(1998)
  15. 比肖夫,克里斯蒂安H。;昆塔纳港í, Gregorio:算法782:稠密矩阵的秩揭示QR分解码(1998)
  16. 维兰特,赫尔穆特:数学大师沃克。数学著作。第二卷:线性代数与分析。Bertram Huppert和Hans Schneider主编(1996)
  17. 孙继光:厄米特特征值问题的后向扰动注记(1995)
  18. 詹宁,托尔斯滕:需求工程和编程的大型。语言与工具整合(1992)
  19. Zü恩多夫,阿尔伯特;附表ürr,Andy:图重写系统的非确定性控制结构(1992)
  20. 附表ürr,Andy:IPSEN环境:集成和增量项目支持环境(1991)


更多出版物请访问:http://www.se-rwth.de/publications/