Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Bos, Jeroen van den"'
Publikováno v:
EPTCS 56, 2011, pp. 15-32
Algebraic specification has a long tradition in bridging the gap between specification and programming by making specifications executable. Building on extensive experience in designing, implementing and using specification formalisms that are based
Externí odkaz:
http://arxiv.org/abs/1107.0064
Publikováno v:
2013 IEEE International Conference on Software Maintenance; 2013, p520-523, 4p
