PAGE PRINCIPALE pour le GUICHET D'ACCUEIL du site de MICROPERSO

Fil d'Ariane pour la Navigation

Des photos marquantes de mes voyages de ces dernères années

Baie SANTIAGO

Vue panoramique de la baie de SANTIAGO de CUBA

LA HAVANE

Place centrale de LA HAVANE

CUBA et sa révolution

Référence historique "Le TCHE"

Culture du tabac à CUBA

Sanctuaire du tabac à CUBA

Site de PALMYRE

Site de ¨PALMYRE avant les destructions de DAESH

Palmyre

Vue du site de PALMYRE au coucher du soleil

Théatre de PALMYRE

Le théâtre de PALMYRE avant un spectacle du soir

Ile de LANZAROTE aux ILES CANARIES

Parc des volcans de TIMANFAYA

PETRA

PETRA JORDANIE

MEXIQUE 2008

Zone archéologique de MONTE ALBAN près de MEXICO

Artisanat au MEXIQUE

Masques Typiques

Pyramides des Mayas

Site MAYAS

SICILE 2018

Paysage de cultures, oliviers..etc

PALERME SICILE

La place de la honte !!!

Palerme

Place Centrale

ETNA Sicile

ETNA un jour de calme

Cratère Local

Rejet de scories en cours !!!

Temple des rats en INDE

On y entre les pieds nus car les ancêtres peuvent se réincarner dans ces rats.

Serre aux papillons de NORMOUTIER

Serre de NORMOUTIER

Les Motivations de ce Projet

Paradigme des Ouvertures

Voici  le PARADIGME, (le modèle), qui est utilisé dans la Base de Données de FAITS et REGLES du démonstrateur qui propose les ouvertures en première et seconde position. Ce modèle propose une couverture exhaustive des 635 013 559 600 Combinaisons possibles, de mains qu'un...

13-06-2018....VISUAL PROLOG

Lire la suite

Méthodologie de Validation des Bases de …

Méthodologie du projet   Méthodologie de Validation des Bases de Données Le schéma ci-dessous explicite les étapes de validation des règles qui sont utilisées pour les choix de l'exécutable lors des ouvertures OU pour valider toutes les autres B.D de pour chaque séquence...

21-08-2011....VISUAL PROLOG

Lire la suite

Langage Déclaratif

Utiliser un langage Procédural de type Visual Basic ou un langage Déclaratif comme Visual Prolog ?   Bien sur, malady tous ceux qui ont étudié ou développé dans des langages conventionnels et historiques comme Basic, patient Fortran, Pascal, C ou même à plus bas niveau en Assembleur ou...

03-06-2018....VISUAL PROLOG

Lire la suite

Espace de probabilités.

Ce que nous apprend Kolmogorov, c’est qu’avant de parler de probabilités au sens mathématique, il faut définir l’espace dans lequel on se situe. La probabilité est une mesure et avant de procéder à cette mesure, il faut définir l’objet de notre mesure...

14-06-2018....VISUAL PROLOG

Lire la suite

Clause de HORN du langage V.I.P

Clause logique de HORN Le VIsual Prolog (VIP) et d’autres langages Prolog sont basés sur la Clause logique de HORN. Cette clause de HORN est un système formel pour raisonner sur des objets et sur la manière dont ces objets ont des relations entre...

03-06-2018....VISUAL PROLOG

Lire la suite

Avancement du Logiciel sous V.I.P en 201…

Etat actuel de mes développements   Bien que je me sois intéressé en 2015,  pendant plusieurs mois, à une approche JAVA et à la structuration d'un projet basé sur les modèles de l'O.M.G SysML/UML2, j'ai continué à avancer dans la structuration de...

03-06-2018....VISUAL PROLOG

Lire la suite

Formalisation et Traçabilité des EXIGENCES

Ce sujet est fondamental dans la gestion d’un projet un peu sérieux et d’une certaine durée; il est traitée depuis des décennies par des outils empiriques difficiles à maîtriser dans le temps dont le plus efficace et aussi le plus simple reste le tableur. Les EXIGENCES (« REQUIREMENT ») sont à vérifier lors de la livraison du système final, le produit pour le client, elles doivent être satisfaites pour répondre à la demande initiale de ce dernier !!!

Pour les concepteurs ce suivi des Exigences est primordial pour s’assurer que le projet ne dérive pas de ses objectifs. C’est pourquoi la modélisation et la traçabilité des Exigences ont été introduites dans le langage SysML après quelques années d’utilisation de UML dans les projets purement logiciels ou la traçabilité restait toujours un sujet majeur non traité dans UML.

Les trois moyens utilisables par les outils respectant le langage SysML sont explicités simplement dans les trois extraits ci-après de l’excellent livre d'initiation« SysML par l’exemple » de Pascal ROQUES

Je vous présente d'abord, en exemple, la traçabilité que j'ai établie pour les Ouvertures en premier applicabes aux 39 types de distributions possibles.

Explication de laTracabilité des exigence

 

Les différentes figures extraites du livre de ROQUES  SysML par l’exemple montrent que le concepteur peut introduire dans ses modèles un niveau de SIMULATION très détaillé sur les points critiques de son  système tout en conservant une traçabilité indispensable dans un environnement homogène et cohérent. C’était il y a déjà VINGT ANS un des objectifs  majeurs que je souhaitais introduire dans mes activités professionnelles d’Ingénierie des Système et qui est donc aujourd’hui sur une voie de convergence internationale avec les langages UML2/SysML, auxquels OCL vient se greffer. …………………………………………Un vieux rêve de ma fin de carrière en quelque sorte !!!!!!!

Alors, maintenant il faut, modestement tout de même, revenir sur les enchères de bridge et je vais donc tenter de mettre en œuvre cet aspect de structuration moderne pour revoir mon travail sur l’étude de faisabilité avec V.I.P ; pour repartir ensuite sur une possible implémentation ………….en JAVA ………….ou en utilisant peut être un langage déclaratif SQL, en utilisant une base de données relationnelles, ce qui peut être également une piste d’implémentation à étudier !!!!!!

 

 

Please publish modules in offcanvas position.