Dynamic slicing of computer programs
Journal of Systems and Software
A graph traceability approach for software change impact analysis
A graph traceability approach for software change impact analysis
Detecting faults in chained-inference rules in information distribution systems
Detecting faults in chained-inference rules in information distribution systems
Communications of the ACM
Using Dependence Analysis to Support the Software Maintenance Process
ICSM '93 Proceedings of the Conference on Software Maintenance
Semantic Management of Heterogeneous Documents
MICAI '09 Proceedings of the 8th Mexican International Conference on Artificial Intelligence
GrGen.NET: The expressive, convenient and fast graph rewrite system
International Journal on Software Tools for Technology Transfer (STTT)
Semantics-based change impact analysis for heterogeneous collections of documents
Proceedings of the 10th ACM symposium on Document engineering
The LaTeXML daemon: editable math on the collaborative web
MKM'11 Proceedings of the 18th Calculemus and 10th international conference on Intelligent computer mathematics
Management of change in declarative languages
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
SmartTies --- management of safety-critical developments
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
| Hi-index | 0.00 |
Mathematical knowledge is a central component in science, engineering, and technology (documentation). Most of it is represented informally, and - in contrast to published research mathematics - subject to continual change. Unfortunately, machine support for change management has either been very coarse grained and thus barely useful, or restricted to formal languages, where automation is possible. In this paper, we report on an effort to extend change management to collections of semi-formal documents which flexibly intermix mathematical formulas and natural language and to integrate it into a semantic publishing system for mathematical knowledge. We validate the long-standing assumption that the semantic annotations in these flexiformal documents that drive the machine-supported interaction with documents can support semantic impact analyses at the same time. But in contrast to the fully formal setting, where adaptations of impacted documents can be automated to some degree, the flexiformal setting requires much more user interaction and thus a much tighter integration into document management workflows.