Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Hesam Samimi"'
Publikováno v:
Onward!
Imperative programming has great merits. As the ubiquitous style, it is familiar, and its linear and step by step nature is favored by the human mind. Experienced programmers, however, are aware of its major flaw: it is easy for meanings to get lost
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::588696b9786c8aea8d6c74bb5dbb63d3
https://doi.org/10.1145/2814228.2814244
https://doi.org/10.1145/2814228.2814244
Publikováno v:
Onward!
Software development involves stitching existing components together. These data/service components are usually not well understood, as they are made by others and often obtained from somewhere on the Internet. This makes software development a daunt
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4b86642ec2a38dc04f916bc23e7b2db5
https://doi.org/10.1145/2661136.2661152
https://doi.org/10.1145/2661136.2661152
Publikováno v:
Proceedings of the 2013 International Symposium on Software Testing and Analysis.
Test-driven methodologies encourage testing early and often. "Mock objects" support this approach by allowing a component to be tested before all depended-upon components are available. Today mock objects typically reflect little to none of an object
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::700244b74ef92d1fdc6d4840803c9afa
https://doi.org/10.1145/2483760.2483790
https://doi.org/10.1145/2483760.2483790
Autor:
Kaushik Rajan, Hesam Samimi
Publikováno v:
FTfJP@ECOOP
We introduce a new tool employing the sketching synthesis technique in programs annotated with declarative contracts. While Sketch, the original sketching tool, reasons entirely on imperative code, Sketch# works on top of the full-fledged specificati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::39566d3d563071b4db2db447b7e34a33
https://doi.org/10.1145/2076674.2076677
https://doi.org/10.1145/2076674.2076677
Publikováno v:
ECOOP 2010 – Object-Oriented Programming ISBN: 9783642141065
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2f43e691572c58bea110e3c740c9d10a
https://doi.org/10.1007/978-3-642-14107-2_26
https://doi.org/10.1007/978-3-642-14107-2_26
