IPSEN
IPSEN-environment: An integrated and incremental project support environment. The IPSEN project (for Integrated, Incremental, Interactive Project Support Environment) deals with the development of concepts, languages, methods, and tools in the areas Requirements Engineering, Programming in the Large, and fine-granular data integration inside of one or between two or more working areas. Aim of the IPSEN project is especially to understand, structure, and mechanize the process of developing integrated software development environments. As a prerequisite, it is necessary to state more precisely or to develop further the languages used in software engineering before tools can be built. The main results are a realization framework consisting of a frame architecture with basic general components and tools for supporting individual working areas as well as integrating one or more working areas. The tools can be partially generated from formal specifications and merged into the frame architecture. More current results have been achieved in the area of mechanizing the implementation of integrator tools, the extension of the underlying object database, and the development of an integrated Requirements Engineering Environment. Language development takes place mainly in the areas of Requirements Engineering and Programming in the Large. An extensive description of the project and its results can be found in Nagl 96.
Keywords for this software
References in zbMATH (referenced in 20 articles , 1 standard article )
Showing results 1 to 20 of 20.
Sorted by year (- Brandts, Jan H.; da Silva, Ricardo Reis: Computable eigenvalue bounds for rank-$k$ perturbations (2010)
- Stewart, G. W.: G.W. Stewart. Selected works with commentaries. Edited by Misha E. Kilmer and Dianne P. O’Leary (2010)
- Lin, Yiqin; Shi, Xinghua; Wei, Yimin: On computing PageRank via lumping the Google matrix (2009)
- Gasparo, M. G.; Papini, A.; Pasquali, A.: Some properties of GMRES in Hilbert spaces (2008)
- Li, Z.-C.; Huang, H.-T.: Effective condition number for numerical partial differential equations. (2008)
- Dvořák, Tomáš: Dense sets and embedding binary trees into hypercubes (2007)
- Böhlen, Boris: A parametrizable graph database system for development tools. (2006)
- Chen, Xiaoshan; Li, Wen: A note on the perturbation bounds of eigenspaces for Hermitian matrices (2006)
- Bai, Zhong-Zhi; Ng, Michael K.: On inexact preconditioners for nonsymmetric matrices (2005)
- Abdel-Aziz, Mohammedi R.: Relative perturbation theory for matrix eigenproblems in free vibration analysis (2004)
- Liesen, J.; Strakos, Z.: Convergence of GMRES for tridiagonal Toeplitz matrices (2004)
- Cao, Yang; Petzold, Linda: A subspace error estimate for linear systems (2003)
- Chen, Xiaoshan; Li, Wen: On relative perturbation bounds of Hoffman-Wielandt type for eigenvalues (2003)
- Bischof, Christian H.; Quintana-Ortí, Gregorio: Computing rank-revealing QR factorizations of dense matrices (1998)
- Bischof, Christian H.; Quintana-Ortí, Gregorio: Algorithm 782: Codes for rank-revealing QR factorizations of dense matrices (1998)
- Wielandt, Helmut: Mathematische Werke. Mathematical works. Vol. 2: Linear algebra and analysis. Ed. by Bertram Huppert and Hans Schneider (1996)
- Sun, Ji-Guang: A note on backward perturbations for the Hermitian eigenvalue problem (1995)
- Janning, Thorsten: Requirements engineering and programming in the large. Integration of languages and tools (1992)
- Zündorf, Albert; Schürr, Andy: Nondeterministic control structures for graph rewriting systems (1992)
- Schürr, Andy: IPSEN-environment: An integrated and incremental project support environment (1991)
Further publications can be found at: http://www.se-rwth.de/publications/