Concepts and notations for concurrent programming**Reprinted from: ACM Computing Surveys, 15(1), March 1983 with permission of the Association for Computing Machinery Inc.

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.

Download Full-text

Annual report of the Association for Computing Machinery special interest group on management information systems (formerly the special interest group on business information technology)

ACM SIGMIS Database the DATABASE for Advances in Information Systems ◽

10.1145/217278.217280 ◽

1995 ◽

Vol 26 (2-3) ◽

pp. 5-6

Author(s):

Ephraim R. McLean

Keyword(s):

Information Technology ◽

Information Systems ◽

Interest Group ◽

Special Interest ◽

Annual Report ◽

Management Information Systems ◽

Special Interest Group ◽

Management Information ◽

Computing Machinery ◽

Business Information

Download Full-text

ACM-W: global growth for a local impact

Pure and Applied Chemistry ◽

10.1515/pac-2020-1207 ◽

2021 ◽

Vol 0 (0) ◽

Author(s):

Jodi Tims ◽

Reyyan Ayfer

Keyword(s):

Computer Science ◽

Gender Equality ◽

Global Impact ◽

Computing Machinery ◽

Scientific Organizations ◽

Participation Of Women ◽

Full Participation ◽

History Of ◽

Local Impact ◽

Global Growth

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.

Download Full-text

Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs

Fundamenta Informaticae ◽

10.3233/fi-2021-2005 ◽

2021 ◽

Vol 178 (3) ◽

pp. 229-266

Author(s):

Ivan Lanese ◽

Adrián Palacios ◽

Germán Vidal

Keyword(s):

Programming Language ◽

Message Passing ◽

Concurrent Programming ◽

Concurrent Systems ◽

Concurrent Programs ◽

Unified Framework ◽

Innovative Technique ◽

Dual Notion

Causal-consistent reversible debugging is an innovative technique for debugging concurrent systems. It allows one to go back in the execution focusing on the actions that most likely caused a visible misbehavior. When such an action is selected, the debugger undoes it, including all and only its consequences. This operation is called a causal-consistent rollback. In this way, the user can avoid being distracted by the actions of other, unrelated processes. In this work, we introduce its dual notion: causal-consistent replay. We allow the user to record an execution of a running program and, in contrast to traditional replay debuggers, to reproduce a visible misbehavior inside the debugger including all and only its causes. Furthermore, we present a unified framework that combines both causal-consistent replay and causal-consistent rollback. Although most of the ideas that we present are rather general, we focus on a popular functional and concurrent programming language based on message passing: Erlang.

Download Full-text