Una teoria algebrica per i «guarded commands» di Dijkstra
Une approche quantitative de l'exclusion mutuelle
Une critique de la notion de test de processus fondée sur la non séparabilité de certaines classes de langages
Une formalisation de la sémantique des langages de programmation
Une formalisation de la sémantique des langages de programmation
Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini
Une réponse négative à la conjecture de E. Tronci pour les systèmes numériques typés
Uninterruptable and Other Regions
Usage of modular scissors in the implementation of FEM
Finite Element Method (FEM) is often perceived as a unique and compact programming subject. Despite the fact that many FEM implementations mention the Object Oriented Approach (OOA), this approach is used completely, only in minority of cases in most real-life situations. For example, one of building stones of OOA, the interface-based polymorphism, is used only rarely. This article is focusing on the design reuse and at the same time it gives a complex view on FEM. The article defines basic principles...
Using hibernate for persistence in Java applications.