Resolution Methods in Proving the Program Correctness
Branko Markoski, Petar Hotomski, Dušan Malbaški, Danilo Obradović (2007)
The Yugoslav Journal of Operations Research
Similarity:
Branko Markoski, Petar Hotomski, Dušan Malbaški, Danilo Obradović (2007)
The Yugoslav Journal of Operations Research
Similarity:
Luigia Aiello, Mario Aiello, Giuseppe Attardi, Gianfranco Prini (1976)
Annales scientifiques de l'Université de Clermont. Mathématiques
Similarity:
Milena Vujošević-Janičić, Dušan Tošić (2008)
The Teaching of Mathematics
Similarity:
(1976)
Annales Polonici Mathematici
Similarity:
Bantchev, Boyko (2011)
Union of Bulgarian Mathematicians
Similarity:
Бойко Бл. Банчев - Представена е обосновка и описание на език за програмиране в композиционен стил за опитни и учебни цели. Под “композиционен” имаме предвид функционален стил на програмиране, при който пресмятането е йерархия от композиции и прилагания на функции. Един от данновите типове на езика е този на геометричните фигури, които могат да бъдат получавани чрез прости правила за съотнасяне и така също образуват йерархични композиции. Езикът е силно повлиян от GeomLab, но по редица...
Zanev, Vladimir, Radenski, Atanas (2011)
Serdica Journal of Computing
Similarity:
This paper analyzes difficulties with the introduction of object-oriented concepts in introductory computing education and then proposes a two-language, two-paradigm curriculum model that alleviates such difficulties. Our two-language, two-paradigm curriculum model begins with teaching imperative programming using Python programming language, continues with teaching object-oriented computing using Java, and concludes with teaching object-oriented data structures with Java.
Roman Barták, Petr Štěpánek (1997)
Kybernetika
Similarity:
João Costa Seco, Ricardo Silva, Margarida Piriquito (2008)
Computer Science and Information Systems
Similarity: