Publisher
Springer Science and Business Media LLC
Reference30 articles.
1. Bollin A (2004) Specification comprehension—reducing the complexity of specifications. Ph.D. Thesis, University of Klagenfurt
2. Bollin A (2006) Crossing the borderline—from formal to semi-formal specifications. In: Software engineering techniques: design for quality. Springer, Berlin, pp 73–84
3. Bollin A (2008) Concept location in formal specifications. J Softw Maint Evol Res Pract 20(2): 77–105
4. Bollin A (2010) Slice-based formal specification measures—mapping coupling and cohesion measures to formal Z. In: Muñoz C (ed) Proceedings of the second NASA formal methods sysmposium. NASA Center for AeroSpace Information (CASI)
5. Bowen JP, Hinchey MG (1995) Seven more myths of formal methods. IEEE Softw. 12(4): 34–41
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献