Publisher
Springer International Publishing
Reference13 articles.
1. Boehm, B.: Some future software engineering opportunities and challenges. In: Nanz, S. (ed.) The Future of Software Engineering, pp. 1–32. Springer, Berlin (2011).
https://doi.org/10.1007/978-3-642-15187-3_1
2. Lecture Notes in Computer Science;S Boroday,2009
3. Durr, E., Van Katwijk, J.: VDM++, a formal specification language for object-oriented designs. In: CompEuro 1992. Proceedings of Computer Systems and Software Engineering, pp. 214–219. IEEE (1992)
4. Hierons, R.M.: Overcoming controllability problems in distributed testing from an input output transition system. Distrib. Comput. 25(1), 63–81 (2012).
https://doi.org/10.1007/s00446-011-0153-5
5. Hierons, R.M.: Combining centralised and distributed testing. ACM Trans. Softw. Eng. Methodol. 24(1), 5:1–5:29 (2014).
https://doi.org/10.1145/2661296