1. importsource = "00010782-2011-07.txt"
Se encontraron 54 resultados.
Artículo:

DSL for the Uninitiated

Autor:

Debasish Ghosh

Resumen:

Domain-specific languages bridge the semantic gap in programming.

Página:

44

Publicación:

Communications of the ACM

Volúmen:

54

Número:

7

Periodo:

julio 2011

ISSN:

00010782

SrcID:

00010782-2011-07.txt

  • Documento número 89296
  • Actualizado el martes, 23 de mayo de 2017 03:37:51 p. m.
  • Creado el martes, 23 de mayo de 2017 03:37:51 p. m.
  • Enlace directo
Artículo:

Microsoft's Protocol Documentation Program: Interoperability Testing at Scale

Resumen:

A discussion with Nico Kicillof, Wolfgang Grieskamp, and Bob Binder.

Página:

51

Publicación:

Communications of the ACM

Volúmen:

54

Número:

7

Periodo:

julio 2011

ISSN:

00010782

SrcID:

00010782-2011-07.txt

  • Documento número 89297
  • Actualizado el martes, 23 de mayo de 2017 03:37:51 p. m.
  • Creado el martes, 23 de mayo de 2017 03:37:51 p. m.
  • Enlace directo
Artículo:

Algorithmic Composition: Computational Thinking in Music

Autor:

Michael Edwards

Resumen:

The composer still composes but also gets to take a programming-enabled journey of musical discovery.

Página:

58

Publicación:

Communications of the ACM

Volúmen:

54

Número:

7

Periodo:

julio 2011

ISSN:

00010782

SrcID:

00010782-2011-07.txt

  • Documento número 89298
  • Actualizado el martes, 23 de mayo de 2017 03:37:51 p. m.
  • Creado el martes, 23 de mayo de 2017 03:37:51 p. m.
  • Enlace directo
Artículo:

A Decade of Software Model Checking with SLAM

Autor:

Thomas Ball

Vladimir Levin

Sriram K. Rajamani

Resumen:

SLAM is a program-analysis engine used to check if clients of an API follow the API's stateful usage rules.

Página:

68

Publicación:

Communications of the ACM

Volúmen:

54

Número:

7

Periodo:

julio 2011

ISSN:

00010782

SrcID:

00010782-2011-07.txt

  • Documento número 89299
  • Actualizado el martes, 23 de mayo de 2017 03:37:51 p. m.
  • Creado el martes, 23 de mayo de 2017 03:37:51 p. m.
  • Enlace directo
Artículo:

Searching for Jim Gray: A Technical Overview

Autor:

Joseph M. Hellerstein

David L. Tennenhouse

Resumen:

The volunteer search for Jim Gray, lost at sea in 2007, highlights the challenges of computer-aided emergency response.

Página:

77

Publicación:

Communications of the ACM

Volúmen:

54

Número:

7

Periodo:

julio 2011

ISSN:

00010782

SrcID:

00010782-2011-07.txt

  • Documento número 89300
  • Actualizado el martes, 23 de mayo de 2017 03:37:51 p. m.
  • Creado el martes, 23 de mayo de 2017 03:37:51 p. m.
  • Enlace directo