Published Research Papers
- Pragmatic Consistency Management in Industrial Requirements Specifications.
topics: application of consistency management to software engineering, analysis modules of sd&m
- Engineering Mathematical Knowledge.
topics: application of consistency management to mathematical knowledge management, joining MMiSS and CDET
- Managing Inconsistent Repositories via Prioritized Repair Actions.
topics: repair derivation from S-DAGs, (partial) inconsistency resolution
- S-DAGs: Towards Efficient Document Repair Generation.
topics: visualization of repair actions by S-DAGs, S-DAG reduction, S-DAG generation
- Formale Konsistenzsicherung in informellen Software-Spezifikationen.
Informatik Forschung und Entwicklung,
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,
topics: incremental generation of consistency reports, implementation
- Efficient (In-)Consistency Management for
topics: incremental generation of consistency reports
- Consistent Document Engineering: Formalizing
Type-safe Consistency Rules for Heterogeneous
topics: rule formalization, type checking, generation of
Last modified: Wed Jul 6 08:57:37 CEST 2005