Dag Prawitz, Håkon Prawitz, and Neri Voghera. A mechanical proof procedure and its realization in an electronic computer.Journal of the Association for Computing Machinery, vol. 7 (1960), pp. 102–128.

1966 ◽  
Vol 31 (1) ◽  
pp. 126-126
Author(s):  
J. A. Robinson
1960 ◽  
Vol 7 (2) ◽  
pp. 102-128 ◽  
Author(s):  
Dag Prawitz ◽  
Haå kan Prawitz ◽  
Neri Voghera

RENOTE ◽  
2011 ◽  
Vol 9 (2) ◽  
Author(s):  
Tarcila Gesteira da Silva ◽  
Felipe Martins Müller ◽  
Giliane Bernardi
Keyword(s):  

Este  trabalho apresenta um panorama do ensino de engenharia de software em cursos de graduação na área de computação com base nos currículos de referência da Sociedade Brasileira de Computação (SBC) e da  Association for Computing Machinery(ACM), focando no conteúdo referente ao tópico de teste de software. Com base neste panorama é apresentada uma proposta de aprendizagem baseada em jogos para apoio ao ensino-aprendizagem de estratégias de teste de software.


2021 ◽  
Vol 0 (0) ◽  
Author(s):  
Jodi Tims ◽  
Reyyan Ayfer

Abstract ACM-W is the community within the Association for Computing Machinery (ACM) that is dedicated to issues of gender equality in Computer Science. ACM-W works globally to support, celebrate and advocate for the full participation of women in all aspects of the computing field. This article presents a brief history of ACM-W with an emphasis on the global growth of the organization. A summary of the primary programs of ACM-W is provided to further highlight the global impact of our work. Also included are examples of how ACM-W is partnering with other computing and scientific organizations to realize greater impact in the arena of gender equality.


Author(s):  
V. Sokolov

The article considers the problem of international supply chains in machinery-building. The meanings of appropriate terms are specified (outsourcing, international production sharing, vertical specialization). It is clarified (following D. Hummels et al.) the definition of vertical specialization as a structure of supply chain when a country is using imported inputs to produce goods for exports. It is emphasized that countries exporting raw materials usually show high share of vertical specialization-based trade in their exports but not in imports. Developed industrial countries (excluding Japan) usually show high content of vertical specialization-based trade in both exports and imports. Statistical analysis of the intra-industry labor division in the office, accounting and computing machinery of Asia and Pacific is made. In China and Japan most inputs consumed by office, accounting and computing machinery are of domestic origin. The larger share of intermediate production of the office, accounting and computing machinery, consumed by the same branch, in China is of domestic origin, too. It means that a queue of successive components of supply chains is placed on the territory of China. At the same time, what concerns the territory of Korea assembling industries are prevailing. In USA and Japan the branch is using as inputs mostly intermediate production of domestic origin. Still, a larger fraction of the intermediate production of the computer industry itself is imported. In the four from five countries reviewed (USA, Japan, Republic of Korea, Thailand) the imported intermediate production for computer industry used by the respective industry as inputs is larger than the domestic production. This proves high degree of internationalization of this industry in Asia and Pacific.


Sign in / Sign up

Export Citation Format

Share Document