Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Santiago Perez De Rosso"'
Publikováno v:
Santiago Perez De Rosso
Onward!
Onward!
A new approach to web application development is presented, in which an application is constructed by configuring and composing concepts drawn from a catalog developed by experts. A concept is a self-contained, reusable increment of functionality. Ea
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8864c83e4ffa7444590fb70a53cdb545
https://hdl.handle.net/1721.1/126599
https://hdl.handle.net/1721.1/126599
Publikováno v:
OOPSLA
Jackson
Jackson
Git is a widely used version control system that is powerful but complicated. Its complexity may not be an inevitable consequence of its power but rather evidence of flaws in its design. To explore this hypothesis, we analyzed the design of Git using
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1b25865f7be2b6252e620a7338bcb224
https://doi.org/10.1145/3022671.2984018
https://doi.org/10.1145/3022671.2984018
Publikováno v:
Onward!
It is commonly asserted that the success of a software development project, and the usability of the final product, depend on the quality of the concepts that underlie its design. Yet this hypothesis has not been systematically explored by researcher
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e8f96715e3fa33cbc91967dd400bcd09
https://doi.org/10.1145/2509578.2509584
https://doi.org/10.1145/2509578.2509584
Autor:
Juan Pablo Galeotti, Santiago Bermúdez, Nicolás Rosner, Santiago Perez De Rosso, Guido Marucci Blas, Luciano Zemín, Marcelo F. Frias, Lucas Pizzagalli
Publikováno v:
ISSTA
In this article we present a novel technique for automated parallel bug-finding based on the sequential analysis tool TACO. TACO is a tool based on SAT-solving for efficient bug-finding in Java code with rich class invariants. It prunes the SAT-solve
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ffa442a17fc9023a2a92d40f049b6877
https://doi.org/10.1145/2483760.2483770
https://doi.org/10.1145/2483760.2483770
Publikováno v:
ACM / SIGPLAN Notices; Oct2016, Vol. 51 Issue 10, p292-310, 19p
Publikováno v:
ACM Transactions on Software Engineering & Methodology; Jul2022, Vol. 31 Issue 3, p1-29, 29p
This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.
Thesis: Ph. D., Massachusetts Institute of Technology, Department of Electrical Engineering and Com
Thesis: Ph. D., Massachusetts Institute of Technology, Department of Electrical Engineering and Com
Externí odkaz:
https://hdl.handle.net/1721.1/128295
Thesis: S.M., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2015.
Cataloged from PDF version of thesis.
Includes bibliographical references (pages 75-77).
It is commonly asserted that
Cataloged from PDF version of thesis.
Includes bibliographical references (pages 75-77).
It is commonly asserted that
Externí odkaz:
http://hdl.handle.net/1721.1/97817
Autor:
Daniel Jackson
A revolutionary concept-based approach to thinking about, designing, and interacting with softwareAs our dependence on technology increases, the design of software matters more than ever before. Why then is so much software flawed? Why hasn't there b