S3CA (pour Systèmes de Co-Construction de la Connaissance et de l'Action) se positionne sur l'édition de suites logicielles permettant la co-construction homme-machine de connaissance et de décision, et édite aujourd'hui trois suites logicielles :- SDS (v1), une plateforme d'exécution multi-tâches de machines à états, programmable via la définition d'automates.- IPM (v2), un AGL (Atelier de Génie Logiciel) de type IPM/IDM (Ingénierie Par Modélisation / Ingénierie Dirigée par les Modèles).- CGM (v2), un Cadriciel Grammatical Motorisé, pour le développement rapide d'applications.----Mes compétences directes et principales portent sur la Gouvernance, les Systèmes d'Information, la Gestion de la Connaissance, et l'Intelligence Artificielle.Le tout étant porté par des compétences en Mathématiques, Métamathématiques, Logique, Épistémologie, Théorie de la Démonstration, et Théories de l'Argumentation.----Systèmes d'Information :- Gouvernance IT (CMMI, ITIL (V2, V3), CobiT, EFQM-EM)- Méthodes d'Ingénierie Logicielle (UP, UML, MDD/MDA)- Outils et Ateliers de Génie Logiciel- Architecture d'Entreprise (Merise, Praxème, TOGAF)- Architecture Logicielle (Patrons d'Architecture, de Conception, de Processus, SOA-BPM, MDM, etc.)- Langages de Modélisation (UML, UML2, BPMN, OCL, QVT)- Approche RéférentielGestion de la Connaissance :- Épistémologies Constructivistes- Représentation des connaissances- Linguistique- Théories de l'ArgumentationIntelligence Artificielle :- Prolog- Rationalisation des ConnaissancesDémonstration :- Méthode B- COQ (Assistant de preuve)- Logique linéaire- ...Spécialisations : Gouvernance IT, CMMI, ITIL, COBIT, MDD/MDA (Model-Driven Development/Architecture), Qualité, EFQM-EM, Ingénierie Logicielle, UML, BPMN, OCL, QVT, UP (Unified Process), Approche Référentiel, Méthodes Formelles, Prouveur, Conseil en Systèmes d'Information, Architecture Logiclelle, Mathématiques, Logique, Méta-Mathématiques, Intelligence Artificielle & Systèmes Experts, Linguistique