Ho sentito parlare di B-Method che è stato inventato in Francia. È un'alternativa ai linguaggi di programmazione tradizionali come C++ e java o è una cosa completamente diversa con scopi diversi?B-Method è un'alternativa ai linguaggi di programmazione tradizionali?
citare il B-website:
B è un metodo di specifica formale che, grazie ad un linguaggio adeguato, permette di espressioni estremamente accurate delle proprietà richieste dalle specifiche. Si può quindi provare in in modo completamente automatico che queste proprietà non sono ambigue, coerenti e non sono contraddittorie. Questo quindi ci consente di provare matematicamente che queste proprietà sono prese nell'account mentre le fasi di progettazione sono in corso.
Pertanto, questo metodo e la sua prova associati consentono: (1) Cancellare le specifiche tecniche e specifiche di sistema per essere raggiunto che sono strutturati, coerente e inequivocabile, e (2) lo sviluppo di software che è contrattualmente garantito per essere privo di errori.
Per rispondere alla tua domanda: No, B-Method non è un'alternativa ai linguaggi di programmazione. È un modo di creare progetti per programmi e di verificare che la cosa che hai creato funzioni realmente come descritto dai progetti. Se non lo capisci, puoi tranquillamente dimenticartene.
No, come dice l'articolo di Wikipedia, B-Method è un Formal Method non un linguaggio di programmazione. Puoi leggere anche su Metodi Formali su Wikipedia. Fondamentalmente, possono essere utilizzati durante lo sviluppo per descrivere e verificare gli algoritmi.