Articles in journal, book chapters
- Philipp Körner, Michael Leuschel, Joăo Barbosa, Větor Santos Costa, Manuel V. Hermenegildo, Jose Morales, Jan Wielemaker, Giovanni Ciatto, Verónica Dahl, Daniel Diaz, and Salvador Abreu. 50 Years of Prolog and Beyond. arXiv preprint arXiv:2201.10816, 2022. Keyword(s): Prolog, logic programming systems, portability, rationale, evolution, vision.
- Alexander Pretschner, Heiko Lötzbeyer, and Jan Philipps. Model based testing in incremental system development. Journal of Systems and Software, 70(3):315-329, 2004. ISSN: 0164-1212. [doi:10.1016/S0164-1212(03)00076-1] Keyword(s): applications, testing.
BACK TO INDEX