Zobrazeno 1 - 10
of 22
pro vyhledávání: '"van Dooren, Marko"'
Publikováno v:
Theory and Practice of Logic Programming 15 (2015) 419-433
Tabling is probably the most widely studied extension of Prolog. But despite its importance and practicality, tabling is not implemented by most Prolog systems. Existing approaches require substantial changes to the Prolog engine, which is an investm
Externí odkaz:
http://arxiv.org/abs/1507.08087
The logic programming language Prolog uses a resource-efficient SLD resolution strategy for query answering. Yet, its propensity for non- termination seriously detracts from the language's declarative nature. This problem is remedied by tabling, a mo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1131::dd5733b877852e8b96c8b8f4cc4b813b
https://lirias.kuleuven.be/handle/123456789/563905
https://lirias.kuleuven.be/handle/123456789/563905
Autor:
van Dooren, Marko, Joosen, Wouter
Checked exceptions improve the robustness of software, but decrease its adaptability because they must be propagated explicitly, and because they must often be handled even if they cannot be signalled. Anchored exception declarations solve these prob
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1131::562693f2734e1af1a749389fd573fdea
https://lirias.kuleuven.be/handle/123456789/252291
https://lirias.kuleuven.be/handle/123456789/252291
Autor:
van Dooren, Marko, Joosen, Wouter
First-class composition inheritance is a significant improvement over other inheritance techniques with respect to reuse. It allows a class to be used as a component to build other classes, enabling a new kind of reuse. Frequently used characteristic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1131::57de5a695059e8001afb81ccfcf06d24
http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW534.abs.html
http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW534.abs.html
Object-oriented programming languages deliver the main technology for implementing enterprise systems, but they are losing pace with the rapidly evolving paradigm of Service-Oriented Computing. This is mainly due to inadequate support for dealing wit
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1131::4f5ef79c9bdf88b27d08cb3753a651bd
https://lirias.kuleuven.be/handle/123456789/243632
https://lirias.kuleuven.be/handle/123456789/243632
While object-oriented programming languages such as Java and C# deliver the main mechanism for implementing enterprise systems, these languages have not kept pace with the rapidly evolving technology of Service-Oriented Computing. The main reason is
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1131::908036b0be350202314215a7e26c2827
http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW451.abs.html
http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW451.abs.html
Dit artikel bevat een omschrijving van de essentiële onderdelen van het ontwikkelproces eXtreme Programming (XP). Eerst zetten we een aantal gebeurtenissen en gevolgen in het XP-proces op een rij, waarna we een SWOT-ana- lyse (sterkte, zwakte, mogel
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1131::1860d526bbf3d3eb58d58cf7205beb99
http://download.microsoft.com/download/6/2/2/622ef058-691c-4f4e-b17b-da29c44a5e57/Net9_p80-82_119.pdf
http://download.microsoft.com/download/6/2/2/622ef058-691c-4f4e-b17b-da29c44a5e57/Net9_p80-82_119.pdf
Autor:
Steegmans, Eric, Bekaert, Pieter, Devos, Frank, Delanote, Geert, Smeets, Nele, van Dooren, Marko, Boydens, Jeroen
Since the mid 1970s, software testing has been dominated by two major paradigms, known as black box testing and white box testing. Strategies for black box testing are based on the specification of the software component under test. Test suites devel
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1131::9ad5684d69ec70fe50cf959a0173a392
https://lirias.kuleuven.be/handle/123456789/134277
https://lirias.kuleuven.be/handle/123456789/134277
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Formal Methods for Components & Objects (9783642406140); 2013, p38-82, 45p
