Image by Alexas_Fotos on Pixabay · Pixabay License
The B-Method is a method of software development based on B, a tool-supported formal method based on an abstract machine notation, used in the development of computer software.
Article · Svenska
B är en mjukvaruutvecklingsmetod framtagen av , tillika ett språk och CASE-verktyg från . B-metoden är nästan unik bland formella mjukvaruutvecklingsmetoder i det avseendet att den använder samma notation för specifikation, design och programmeringen. Språket B byggs upp med hjälp av matematiska formler med vars hjälp det går att programmet. På detta sätt går det att ta fram matematiska bevis att programmet fungera innan det riktiga programmet skrivs.
Abstract from DBpedia / Wikipedia · CC BY-SA