1
¿Se puede formalizar el principio de principio a fin?
A fines de la década de 1990, cuando estaba en la escuela de posgrado, el periódico JH Saltzer; DP Reed; DD Clark: argumentos de extremo a extremo en el diseño del sistema . ACM Trans. Comput Syst. 2 (4): 277-288, 1984. DOI = 10.1145 / 357401.357402 era bastante necesario leer …