B-metodo è un'alternativa ai linguaggi di programmazione tradizionali?
-
22-09-2019 - |
Domanda
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?
Soluzione
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.
Altri suggerimenti
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.