E posibil să scriem software fără erori. De ce n-o facem?
Publicat:Cunoscutul cercetator olandez Edsger W. Dijkstra a remarcat ca "testarea poate demonstra prezenta erorilor, nu absenta lor". In fapt singura metoda definitiva de a spune daca un soft este corect scris, fara erori, este prin matematica. Se cunoaste ca este dificil sa scrii cod fara buguri. De cand Friedrich L. Bauer a organizat prima conferinta privind "ingineria software" in 1968, cercetatorii in informatica au creat metodologii pentru a structura si ghida scrierea de soft.
Citeste articolul mai departe pe scientia.ro…
Sursa articol: scientia.ro
Stiri pe aceeasi tema
O luna fara activitate la Termocentrala Ișalnița din CEO
05:40, 30.05.2024 - Una din sucursalele electrocentrale din cadrul Complexului Energetic Oltenia nu deruleaza niciun fel de activitate de producție de peste o luna de zile. In data de 24 martie, un cazan al grupului energetic de la Sucursala Electrocentrale de la Ișalnița a fost pornit pentru numai 15 minute, dupa care…
Rechizitoriu pentru cunoscutul bancher Ghetea Radu Gratian! Trimis in judecata, la Constanta, pentru ucidere din culpa! (VIDEO+DOCUMENT)
17:00, 24.03.2024 - Tragedia a avut loc la data de 05.06.2022, in jurul orelor 12:32, cand lucratorii de politie din cadrul Serviciului Rutier Constanta, fiind sesizati de dispecerul de serviciu din cadrul Serviciului Rutier despre faptul ca pe str. Plantelor drumul national DN 2A din orasul Harsova s a produs un accident…
Medicul vedetelor“: Hussein Shamieh, specialist in chirurgie plastica, vrea sa scape, la Constanta, de controlul judiciar!
17:00, 19.03.2024 - Facem precizarea ca pe parcursul intregului proces penal, persoanele cercetate beneficiaza de drepturile si garantiile procesuale prevazute de Codul de procedura penala, precum si de prezumtia de nevinovatie. Hussein Shamieh, medicul specialist in chirurgie plastica, este cercetat pentru vatamare corporala…
Mihai Marius Aurel (Pitbull) si Rafte Daniel, trimisi in judecata de DIICOT
16:05, 15.03.2024 - Facem precizarea ca aceasta etapa a procesului penal reprezinta, conform Codului de procedura penala, finalizarea anchetei penale si trimiterea rechizitoriului la instanta spre judecare, situatie care nu poate sa infranga principiul prezumtiei de nevinovatie. Mihai Marius Aurel Pitbull si Rafte Daniel…
IGSU:Impreuna, cu sprijinul si implicarea cetatenilor, ne asiguram ca suntem pregatiti sa facem fata oricaror situatii de urgenta
10:20, 13.03.2024 - BULETIN DE PRESAdin 13 martie Activitatea pompierilor din ultimele 24 de ore In cursul zilei de ieri 13.03.2024 , pompierii militari au fost implicati in gestionarea a 1.496 de situatii de urgenta la nivel national. Cele mai multe interventii au avut loc in zona Bucuresti ndash; Ilfov 388 , urmata de…
VIDEO/ Ion Minzina: “Avem obligația sa facem tot ce este posibil pentru sanatatea copiilor!”
15:16, 12.03.2024 - Etajul VI al Spitalului de Pediatrie Pitești a fost reabilitat. Ion Minzina: “Avem obligația sa facem tot ce este posibil pentru sanatatea copiilor!” Etajul VI al Spitalului de Pediatrie din Pitești a fost reabilitat și modernizat grație unei investiții de 700.000 de euro a Fundației “Medici pentru…
Etajul VI al Spitalului de Pediatrie Pitești a fost reabilitat. Ion Minzina: „Avem obligația sa facem tot ce e posibil pentru sanatatea copiilor!”
14:41, 12.03.2024 - Etajul al VI-lea al Spitalului de Pediatrie din Pitești a fost reabilitat și modernizat grație unei investiții de 700.000 de euro a Fundației „Medici pentru Romania” și a Fundației „Kaizen” la care se adauga și alți sponsori din județul Argeș. Citește și: In Parcul Strand din Pitesti a inceput constructia…
Simona Halep vrea la Jocurile Olimpice de la Paris. COSR: „Facem tot ceea ce depinde de noi ca sa poata participa”
18:15, 07.03.2024 - Mihai Covaliu, presedintele Comitetului Olimpic si Sportiv Roman, a anunțat, joi, ca COSR va face toate demersurile necesare pentru ca jucatoarea de tenis Simona Halep sa participe la Jocurile Olimpice 2024 de la Paris, dupa ce sportiva revenita in Romania și-a manifestat aceasta dorința, relateaza…
se inchide automat in 30 secunde
