Παραγωγή κώδικα C από προδιαγραφές σε κατηγορηματικό λογισμικό.

Abstract

Σε αυτή την εργασία παρουσιάζουμε πως μετατρέπουμε λογικές προτάσεις σε γλώσσα υψηλού προγραμματισμού. Για να το πετύχουμε πρέπει να ορίσουμε μια θεωρητική περιγραφή αλγορίθμου. Δηλαδή θα βρίσκουμε ένα τρόπο να παίρνουμε το κάθε τμήμα της λογικής πρότασης και με βάση τα βήματα του αλγόριθμου να μετατρέπουμε την πρόταση σε γλώσσα υψηλού προγραμματισμού.Η γλώσσα που χρησιμοποιούμε είναι η C.Επίσης προσπαθούμε να δείξουμε ότι η μετατροπή μέσω θεωρητικής περιγραφής αλγόριθμου λειτουργεί. Για αυτό αποδεικνύουμε την εγκυρότητα του αλγορίθμου μας. Μετά θα δείξουμε πως κατασκευάζονται διαγράμματα που μας δείχνουν συνοπτικά πως λειτουργούνε τα προγράμματα που φτιάξαμε. Τέλος θα παρουσιάσουμε κάποια παραδείγματα για να δούμε πως δουλεύουν στην πράξη.

In this paper we describe how to transform reasonable proposals in high programming language. To do this we have to define a theoretical description of the algorithm. That we will find a way to get each part of the proposal and logic based steps of the algorithm to convert the proposal in language high programming .The language we use is C. So we are trying to show that the conversion through the theoretical description of the algorithm, works. This is the reason we prove the validity of our algorithm. Then we are going to show ,how to build diagrams that are showing us briefly ,how the plans we made are working. Finally we are going to present some examples, in order to see how they are functioning in practice.