伊普森

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


zbMATH中的参考文献(参考 20篇文章 参考,第1条标准)

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

  1. Brandts,Jan H.;da Silva,Ricardo Reis:秩-(k)扰动的可计算特征值界(2010)
  2. 斯图尔特·W。精选作品与评论。Misha E.Kilmer和Dianne P.O'Leary编辑(2010)
  3. 林一琴;史兴华;魏益民:基于谷歌矩阵的PageRank计算(2009)
  4. Gasparo,M.G.;Papini,A.;Pasquali,A.:Hilbert空间中GMRES的一些性质(2008)
  5. Li,Z.-C.;Huang,H.-T.:数值偏微分方程的有效条件数。(2008年)
  6. Dvořák,Tomš:稠密集和在超立方体中嵌入二叉树(2007)
  7. Böhlen,Boris:开发工具的可参数化图形数据库系统。(2006年)
  8. 陈晓山;李,文:关于厄米特矩阵特征空间摄动界的注记(2006)
  9. 白忠志;吴忠志,迈克尔K.:非对称矩阵的不精确预条件子(2005)
  10. Abdel Aziz,Mohammedi R.:自由振动分析中矩阵特征问题的相对摄动理论(2004)
  11. Liesen,J.;Strakos,Z.:三对角Toeplitz矩阵的GMRES收敛性(2004)
  12. Cao,Yang;Petzold,Linda:线性系统的子空间误差估计(2003)
  13. 陈晓山;李,文:关于Hoffman-Wielandt型特征值的相对摄动界(2003)
  14. Bischof,Christian H.;Quintana Orti,Gregorio:计算密集矩阵的QR分解(1998)
  15. Bischof,Christian H.;Quintana Orti,Gregorio:算法782:稠密矩阵的秩揭示QR分解码(1998)
  16. 维兰特,赫尔穆特:数学大师沃克。数学著作。第二卷:线性代数与分析。Bertram Huppert和Hans Schneider主编(1996)
  17. 孙继光:厄米特特征值问题的后向扰动注记(1995)
  18. 詹宁,托尔斯滕:需求工程和编程的大型。语言与工具的整合(1992)
  19. Zündorf,Albert;Schürr,Andy:图重写系统的非确定性控制结构(1992)
  20. 舒尔,安迪:IPSEN环境:一个集成的和增量的项目支持环境(1991)


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