B-metodo è un'alternativa ai linguaggi di programmazione tradizionali?

Question

Ho sentito parlare di B-Metodo che viene inventato in Francia. E 'un'alternativa ai linguaggi di programmazione tradizionali come C ++ e Java o è una cosa completamente diversa con scopi diversi?

Answer 1

B-sito :

  

B è un metodo specifica formale   che, grazie ad un linguaggio adeguato,   consente per le espressioni di alta precisione   le proprietà richieste dal   specifiche. Si può quindi provare a   un modo completamente automatizzato che questi   proprietà sono inequivocabili, coerenti   e non sono in contraddizione. questa poi   ci permette di dimostrare matematicamente che   queste proprietà sono presi in   conto come il progresso fase di progettazione.

     

Pertanto, questo metodo e la sua   associato a prova consentono di:   (1) le specifiche tecniche chiare e   specifiche di sistema da raggiungere   che sono strutturati, coerente e   inequivocabile, e (2) Lo sviluppo di   un software che è contrattualmente   garantito per essere esente da colpa.

Per rispondere alla tua domanda: no, B-metodo non è un'alternativa ai linguaggi di programmazione. E 'un modo di creare progetti per i programmi e per verificare che la cosa si è creato realmente funziona come descritto dai modelli. Se non si capisce questo si può tranquillamente dimenticare a questo proposito.

Answer 2

No, come l'articolo di Wikipedia dice, B-Metodo è un metodo formale non un linguaggio di programmazione. Si può leggere su metodi formali su Wikipedia troppo. Fondamentalmente, essi possono essere utilizzati durante lo sviluppo per descrivere e verificare algoritmi.