SPECIFICATION FORMELLE AVEC B
Les évolutions les plus récentes du langageet de la méthode B (méthode algébrique de spécification) sont le fruit de deux nouveaux types d'application de B :la rétro-ingénierie de logiciels (née de la nécessité de rénover les logiciels de sécurité) et la spécification de systèmes ( le langage B-événementielreprésentantune révolution par rapport au langage B classique).
Description
Les évolutions les plus récentes du langageet de la méthode B (méthode algébrique de spécification) sont le fruit de deux nouveaux types d'application de B :la rétro-ingénierie de logiciels (née de la nécessité de rénover les logiciels de sécurité) et la spécification de systèmes ( le langage B-événementielreprésentantune révolution par rapport au langage B classique).
Renseignements sur l'ouvrage
Ouvrages similaires
-
PLAN DE CONTINUITÉ D'ACTIVITÉ ET SYSTÈME D'INFORMATIONVers l'entreprise résiliente -
L'ÂGE DE LA MULTITUDE - 2E ÉD. - ENTREPRENDRE ET GOUVERNER APRÈSENTREPRENDRE ET GOUVERNER APRÈS LA RÉVOLUTION NUMÉ -
RÉSEAUX, LIBERTÉS ET CONTRÔLE: GÉNÉALOGIE POLITIQUE D'INTERNETUne généalogie politique d'internet -
SMART HOME: HABITAT CONNECTE, INSTALLATIONS DOMOTIQUES ET MULTIMEHabitat connecté, installations domotiques et multimédia -
CRÉATEURS D'ENTREPRISE, OPTIMISEZ VOTRE DÉVELOPPEMENT GRÂCE AU WECONCEVEZ UNE STRATÉGIE INTERNET EFFICACE ET RENTAB -
CHOISIR L'AGILITE: DU DEVELOPPEMENT LOGICIEL A LA GOUVERNANCEDu développement logiciel à la gouvernance -
INGÉNIERIE DES EXIGENCESMéthodes et bonnes pratiques pour construire et maintenir un référentiel -
LES RÉFÉRENTIELS DU SYSTÈME D'INFORMATIONDonnées de référence et architecture d'entreprise
