Browse by Tags
All Tags »
Java (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). Την ταχύτητα...
Βασικά η αφορμή στάθηκε αυτή η θεματική ενότητα. Η εισαγωγή JPanel σε JScrollPane δεν λειτουργεί ως όφειλε, δηλαδή δεν εμφανίζονται τα scrolling bars όταν γίνεται resize. Το πρόβλημα εντοπίζεται όταν στο JPanel (ή σε όποιο component ρυθμίζεις το μέγεθός...