Catálogo de publicaciones - actas de congreso
Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
Resumen/Descripción – provisto por la editorial
No disponible.
Palabras clave – provistas por la editorial
No disponibles.
Disponibilidad
| Institución detectada | Año de publicación | Navegá | Descargá | Solicitá |
|---|---|---|---|---|
| No detectada | 2020 | ACM Digital Library |
Información
Tipo de recurso:
actas de congreso
ISBN impreso
978-1-4503-7043-1
Editor responsable
Association for Computing Machinery (ACM)
País de edición
Estados Unidos
Fecha de publicación
2020-11-08
Información sobre derechos de publicación
Copyright © ACM, Inc.
Cobertura temática
Tabla de contenidos
Calm energy accounting for multithreaded Java applications
Timur Babakol; Anthony Canino; Khaled Mahmoud; Rachit Saxena; Yu David Liu
Pp. No disponible
Java Ranger: statically summarizing regions for efficient symbolic execution of Java
Vaibhav Sharma; Soha Hussein; Michael W. Whalen; Stephen McCamant; Willem Visser
Pp. No disponible
Can microtask programming work in industry?
Shinobu Saito; Yukako Iimura; Emad Aghayi; Thomas D. LaToza
Pp. No disponible
On the naturalness of hardware descriptions
Jaeseong Lee; Pengyu Nie; Junyi Jessy Li; Milos Gligoric
Pp. No disponible
A principled approach to GraphQL query cost analysis
Alan Cha; Erik Wittern; Guillaume Baudart; James C. Davis; Louis Mandel; Jim A. Laredo
Pp. No disponible
Change impact analysis in Simulink designs of embedded systems
Bennett Mackenzie; Vera Pantelic; Gordon Marks; Stephen Wynn-Williams; Gehan Selim; Mark Lawford; Alan Wassyng; Moustapha Diab; Feisel Weslati
Pp. No disponible
Software documentation and augmented reality: love or arranged marriage?
Sridhar Chimalakonda; Akhila Sri Manasa Venigalla
Pp. No disponible
AlloyMC: Alloy meets model counting
Jiayi Yang; Wenxi Wang; Darko Marinov; Sarfraz Khurshid
Pp. No disponible
Global cost/quality management across multiple applications
Liu Liu; Sibren Isaacman; Ulrich Kremer
Pp. No disponible