We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
von C-Quellcode
Development of a tool for the automatic generation of C source code for embedded software development.
Entwicklung eines Tools für die automatische Generierung von C-Quellcode für Embedded Softwareentwicklung.
Astrée is a sound static analyzer of C source code. Its primary purpose is proving the absence of runtime errors.
Astrée ist ein Werkzeug zur statischen Analyse von C-Quellcode, bei der das Hauptaugenmerk darauf liegt, Laufzeitfehler aufzudecken bzw. deren Abwesenheit zu beweisen.
Where previously only assembler code was used, development and debugging in conjunction with corresponding compilers from TASKING or HighTec can now be done on the basis of C source code too.
Wo bisher ausschließlich Assemblercode zum Einsatz kam, können Entwicklung und Debugging in Verbindung mit den entsprechenden Compilern von Tasking oder HighTec ab sofort nun auch auf Basis von C-Quellcode erfolgen.
For the new release 2.0 the possibilities in terms of generation/debugging of C source code have been fully extended.
Für das neue Release 2.0 wurden die Möglichkeiten in Bezug auf Generierung/Debugging von C Source Code umfassend erweitert.
Basic arithmetic uses approximately 400 pages of C source code. Pseudorandom numbers
Die Grundarithmetik verwendet etwa 400 Seiten C-Quellcode.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.