Η παρούσα διατριβή αφορά την ανάλυση ενός κελυφωτού στεγάστρου υπό το ίδιο βάρος του. Περιλαμβάνει την εύρεση όλων των απαραίτητων μεγεθών της κατασκευής (εντατικά μεγέθη, τάσεις, τροπές, μετακινήσεις, στροφές) με σκοπό ...

Στην παρούσα διπλωματική εργασία αναπτύσσεται ένα περιβάλλον - πλαίσιο (framework) το οποίο έχει σαν σκοπό α) τη μοντελοποίηση επιχειρησιακών πολιτικών συμμόρφωσης (bussiness compliance policies) Υπηρεσιοκεντρικών συστημάτων ...

Ο κλάδος της τυπικής επαλήθευσης ασχολείται με την απόδειξη της ορθότητας προγραμμάτων και αλγορίθμων. Καθώς αυξάνεται -εκθετικά- η πολυπλοκότητα των υπολογιστικών συστημάτων αλλά και ενσωματώνονται σε καίρια σημεία, ...