Author:
Mahnke Achim,Scheffczyk Jan
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Nuseibeh, B., Easterbrook, S., Russo, A.: Leveraging inconsistency in software development. Computer 33, 24–29 (2000)
2. Nentwich, C., Emmerich, W., Finkelstein, A.: Consistency management with repair actions. In: Proc. of the 25th Int. Conf. on Software Engineering 2003, Portland, OR. ACM Press, New York (2003)
3. Scheffczyk, J., Borghoff, U.M., Rödig, P., Schmitz, L.: Managing inconsistent repositories via prioritized repairs. In: Proc. of the 2004 ACM Symp. on Document Engineering, Milwaukee, WI, pp. 137–146. ACM Press, New York (2004)
4. Asperti, A., Padovani, L.: Mathematical knowledge management in HELM. [20]
5. Buchberger, B.: Mathematical knowledge management in Theorema. [20]