Published Research Papers
- Pragmatic Consistency Management in Industrial Requirements Specifications.
SEFM05,
September 2005
topics: application of consistency management to software engineering, analysis modules of sd&m
- Engineering Mathematical Knowledge.
MKM05,
July 2005
topics: application of consistency management to mathematical knowledge management, joining MMiSS and CDET
- Managing Inconsistent Repositories via Prioritized Repair Actions.
DocEng'04,
October 2004
topics: repair derivation from S-DAGs, (partial) inconsistency resolution
- S-DAGs: Towards Efficient Document Repair Generation.
CCCT'04,
August 2004
topics: visualization of repair actions by S-DAGs, S-DAG reduction, S-DAG generation
- Formale Konsistenzsicherung in informellen Software-Spezifikationen.
Informatik Forschung und Entwicklung,
July 2004
topics: application of consistency checking to software engineering, analysis modules of sd&m
- Towards Efficient Consistency Management for Informal Applications.
International Journal of Computer & Information Science,
June 2004
topics: incremental generation of consistency reports, implementation
issues
- Efficient (In-)Consistency Management for
Heterogeneous Repositories.
SNPD'03,
October 2003
topics: incremental generation of consistency reports
- Consistent Document Engineering: Formalizing
Type-safe Consistency Rules for Heterogeneous
Repositories.
DocEng'03, November
2003
topics: rule formalization, type checking, generation of
consistency reports
Last modified: Wed Jul 6 08:57:37 CEST 2005