Expresie booleană
5.1 Specificații bazate pe stări Specificațiile bazate pe stări descriu sistemele software în termeni de stări și efectele operațiilor asupra stărilor. Astfel de specificații sunt susținute de mai multe limbaje de specificații, pe care le-am grupat în două seturi: limbaje de specificații clasice, cum ar fi Z , B , și VDM , și limbaje […]
Read More