Mifili M

Awtomatizirowannoe isprawlenie narushenij prawil proektirowaniq w ishodnom kode s pomosch'ü logicheskoj abdukcii

• Broschiertes Buch

Produktbeschreibung

Isprawlenie oshibok proektirowaniq w ishodnom kode - zadacha netriwial'naq. Diagnostika i posleduüschee isprawlenie nesootwetstwij mezhdu kodom programmnoj sistemy i ee prawilami proektirowaniq (naprimer, zaprosy k baze dannyh razresheny tol'ko w sloe postoqnstwa) i soglasheniqmi po kodirowaniü mogut byt' slozhnymi, trudoemkimi i chrewatymi oshibkami. Poätomu obespechenie podderzhki ätogo processa qwlqetsq wes'ma zhelatel'nym, no gorazdo bolee slozhnym, chem predlozhenie bazowyh korrektiruüschih dejstwij dlq uproschennyh problem realizacii (naprimer, "ob#qwit' lokal'nuü peremennuü dlq neob#qwlennoj peremennoj", predlagaemoe Eclipse). V dannoj rabote osnownoe wnimanie udelqetsq podhodu abduktiwnogo rassuzhdeniq dlq isprawleniq nesootwetstwij, kotoryj sostoit iz (1) sredstwa dlq razrabotchikow dokumentirowat' i prowerqt' prawila proektirowaniq i kodirowaniq sistemy, (2) abduktiwnogo logicheskogo analizatora, kotoryj wydwigaet gipotezy o wozmozhnyh prichinah nesootwetstwij mezhdu kodom sistemy i dokumentirowannymi prawilami, (3) biblioteki korrektiruüschih dejstwij dlq kazhdoj gipoteticheskoj prichiny (4) mehanizma otkata dlq wosstanowleniq predyduschego ätapa.

Produktdetails

• Verlag: Sciencia Scripts
• Seitenzahl: 64
• Erscheinungstermin: 27. September 2021
• Russisch
• Abmessung: 220mm x 150mm x 4mm
• Gewicht: 113g
• ISBN-13: 9786204076577
• ISBN-10: 6204076574
• Artikelnr.: 62645341

Autorenporträt

Doktor M. Mifili poluchila doktorskuü stepen' w oblasti modelirowaniq programmnogo obespecheniq. V kachestwe akademika ona priobrela bolee chem desqtiletnij opyt raboty w promyshlennosti, a takzhe w prepodawanii. V sferu ee interesow whodqt programmnaq inzheneriq, shablony proektirowaniq i metody resheniq problem, bezopasnoe programmnoe obespechenie i Spring Framework.