Browse by Tags
All Tags »
Programming Issues (RSS)
The KeY program is a tool for formal specification and verification of object-oriented software. During the summer course of Formal Methods in Software Engineering , I had the oportunity to practice with the tool on verifying first-order predicate logic...
Unique String Randomizer. Ο,τι λέει και ο τίτλος. Αφορμή από ένα πανεπιστημιακό project. Σίγουρα δεν είναι ό,τι καλύτερο όμως εξυπηρετεί αν θες να βρεις ψευδοτυχαίες συμβολοσειρές (π.χ τις αποθήκευσα σε ένα .txt για Bulk Insertion σε db). Την ταχύτητα...
Η τελευταία εργασία (4η) του μαθήματος του μαθήματος Προγραμματισμός στη C++ είχε ως σκοπό την ολοκλήρωση ενός φίλτρου ανεπιθύμητων μυνημάτων. Αν και αρκετός κώδικας δινόταν, η λογική και η εκφώνηση της άσκησης ήταν τέτοιες ώστε η δημιουργία μίας εσωτερικής...
Βασικά η αφορμή στάθηκε αυτή η θεματική ενότητα. Η εισαγωγή JPanel σε JScrollPane δεν λειτουργεί ως όφειλε, δηλαδή δεν εμφανίζονται τα scrolling bars όταν γίνεται resize. Το πρόβλημα εντοπίζεται όταν στο JPanel (ή σε όποιο component ρυθμίζεις το μέγεθός...