- importsource = "00010782-2011-07.txt"
- 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
 
  
  
 