We couldn’t find this entry. Showing approximate results. Check your spelling or suggest adding this term to the dictionary.
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.
Potentially sensitive or inappropriate content
Examples are used only to help you translate the word or expression searched in various contexts. They are not selected or validated by us and can contain inappropriate terms or ideas. Please report examples to be edited or not to be displayed. Potentially sensitive, inappropriate or colloquial translations are usually marked in red or in orange.