Author:
Jezek Kamil,Holy Lukas,Danek Jakub
Publisher
Springer International Publishing
Reference24 articles.
1. Belguidoum, M., Dagnat, F.: Formalization of component substitutability. Electron. Notes Theoret. Comput. Sci. 215, 75–92 (2008)
2. Fluri, B., Gall, H.C.: Classifying change types for qualifying change couplings. In: Proceedings of the 14th IEEE International Conference on Program Comprehension, ICPC 2006, pp. 35–45. IEEE Computer Society, Washington, DC (2006)
3. Kawrykow, D., Robillard, M.P.: Non-essential changes in version histories. In: Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, pp. 351–360. ACM, New York (2011)
4. Ponomarenko, A., Rubanov, V.: Backward compatibility of software interfaces: steps towards automatic verification. Program. Comput. Softw. 38(5), 257–267 (2012)
5. Forman, I.R., Conner, M.H., Danforth, S.H., Raper, L.K.: Release-to-release binary compatibility in SOM. In: Proceedings OOPSLA 1995, pp. 426–438. ACM, New York (1995)