CORPORATE Tech Correspondence
- 1 Backus, J. Can programming be liberated from the yon Neumann style? A functional style and its algebra of programs. Commun. ACM 21, 8 (Aug. 1978), 613-641. Google Scholar
Digital Library
- 2 Birtwistle, G., and Subrahmanyam, P.A., eds. VLSI Specification, Verification and Synthesis. Kluwer Academic, 1988.Google ScholarCross Ref
- 3 DeMillo, R., Lipton, R. and Perlis, A. Social processes and proofs of theorems and programs. Commun. ACM 22, 5 (May 1979), 271-280. Google ScholarDigital Library
- 4 Denning, D.E.R. Cryptography and Data Security, Addison-Wesley, Reading, Mass. 1982. Google ScholarDigital Library
- 5 Fetzer, J.H. Program verification: The very idea. Commun. ACM 31, 9 Google ScholarDigital Library
- 6 Paulson, L.C. Logic and Computation: Interactive Proof with Cambridge LCF. Cambridge Univ. Press, 1987. Google ScholarDigital Library
Index Terms
- Technical correspondence
Recommendations
An investigation of technical debt in automatic production systems
XP '17: Proceedings of the XP2017 Scientific WorkshopsTechnical Debt is a recent concept, borrowed from the financial domain. It has been recently used in software development to describe technical sub-optimal solutions that have short-term benefits but long-term extra-costs. However, no body of literature ...
Networked Technical Services Oriented Production Process
ICDMA '11: Proceedings of the 2011 Second International Conference on Digital Manufacturing & AutomationFor many problems of traditional technical services, this paper presented the networked technical services oriented the production process in order to meet the needs of modern manufacturing model. This paper focused on analyzing the user needs of ...
Analysis of impact of industry-academia interaction on quality of technical education
A system dynamics model was developed to analyze the industry-academia interactions in Indian context.Four policy scenarios were generated to assess the impact of key decision variables on quality of technical education.Proactive involvement of industry ...
Comments