Bug in Java gefixt met formele methoden CWI Onderzoekers van het Centrum Wiskunde&informatica (CWI) hebben in februari 2015 een bug gefixt in de veelgebruikte objectgerichte programmeertaal Java.
Java Bug Fixed with Formal Methods CWI Researchers from CWI fixed a bug in the widely used object-oriented programming language Java in February 2015.
Alte rezultate
Bug opgelost: Onder Java versie 7 stopte RRRummy niet daadwerkelijk als het venster werd gesloten, waardoor de installatie van de update mislukte
Bug fixed: Under Java version 7, RRRummy didn't actually stop when the window was closed, making installation of updates fail
De storende bug in het programma is na enkele uren opgelost.
The offending bug in the program was fixed after several hours.
Hij deelde een schermopname om de bug in de applicatie te melden.
He shared a screen capture to report the bug in the application.
Ze ontdekte een vervelende bug in de software die het systeem liet crashen.
She found a nasty bug in the software that caused system crashes.
Een onopgemerkte bug in de code zorgde ervoor dat de applicatie onverwacht vastliep.
An undetected bug in the code caused the application to freeze unexpectedly.
Deze versie lost een bug in upgrade.php en bevat bijgewerkte vertalingen.
This release fixes a bug in upgrade.php and includes updated translations.
Volgens sommigen is ze gewoon een bug in het programma.
Some people say she's just a bug in the program.
Hij zei ook dat er een bug in de landing page zat.
Dit is meestal het gevolg van een bug in de server zelf.
This is usually the result of a bug within the server itself.
Conținut posibil inadecvat
Exemplele au rolul de a te ajuta să traduci cuvinte sau expresii corect si adaptat la context. Nu sunt selectate sau validate manual, așadar pot conține termeni inadecvați. Te rugăm să raportezi exemplele pe care le consideri inadecvate. Traducerile vulgare sau colocviale sunt în general marcate cu roșu sau cu portocaliu.
Înregistrează-te pentru a accesa mai multe exemple
