Zobrazeno 1 - 3
of 3
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
Publikováno v:
2014 Software Evolution Week - IEEE Conference on Software Maintenance, Reengineering & Reverse Engineering (CSMR-WCRE); 2014, p1-2, 2p