Μεθοδολογίες, Τεχνικές και Εργαλεία Ανάπτυξης Λογισμικού |
|
Δημοσιεύσεις
Δημοσιεύσεις σε ΠεριοδικάA. Tsalgatidou,Re-engineering and Automation of Business Processes: Criteria for Selecting Supporting Tools Effective Databases for Text and Document Management , 2003 Z.Tsiatsoulis, J.Y.Cotronis, Testing and Debugging Message Passing Programs in Synergy with their Specifications Fundamenta Informaticae , vol 41.3 , pages 341-366 , 2000 J.Y.Cotronis, Z.Tsiatsoulis, Specification composition for the verification of message passing program composition Microprocessing and Microprocessors 21 , pages 595-603 , 1998 D. Theotokis, G. Gyftodimos, P.Georgiadis and G. Philokyprou, VIBDaST: A Virtual Interactive Book as a Data Structures Teaching Aid ACM SIGCSE/SIGCUE Bulletin , vol 29.3 , pages 111-113 , 1997 A. Tsalgatidou, P. Louridas, G. Schizas and T. Fesakis, Multilevel Petri Nets for Modeling and Simulating Organizational Dynamic Behaviour Simulation & Gaming, Special Issue on Simulation of Information Systems , vol 27.4 , pages 484-506 , 1996 M. Spiliopoulou, M. Hatzopoulos, J.Y. Cotronis, Parallel Optimisation of Large Join Queries with Set Operators and Aggregates in a Parallel Environment Supporting Pipeline IEEE-TKDE , vol 8.3 , 1996 D. Anagnostopoulos, M. Nikolaidou, P.Georgiadis and G. Gyftodimos, Aplying Real Time Simulation in the LAN: Modeling Considerations System Analysis Modeling and Simulation 18-19 , pages 701-704 , 1995 A. Tsalgatidou, D. Gouscos, C. Halatsis, Towards the Development of Effective and Flexible Information Systems Australian Journal of Information Systems , vol 1.2 , 1994 J.Y.Cotronis, A.N.Refenes and E.Eberbach, Language Support for Concurrent Symbolic and Numeric Systems Software - Concepts and Tools 15 , pages 105-124 , 1994 J.Y.Cotronis, A.N.Refenes and E.Eberbach, Language Support for Concurrent Symbolic and Numeric Systems Software - Concepts and Tools 15 , pages 105-124 , 1994 P. Stamatopoulos, I. Karali and C. Halatsis, A Tour Advisory System Using a Logic Programming Approach ACM Applied Computing Review journal , vol 1.1 , pages 18-25 , 1993 A. Tsalgatidou, P. Loucopoulos, Rule-Based Behaviour Modelling (RBM): Specification and Validation of Information Systems Dynamics Information and Software Technology , vol 33.6 , pages 425-433 , 1991 A. Tsalgatidou, Modelling and Animating the Dynamics of Information Systems Information Processing Letters 36 , pages 123-127 , 1990 Δημοσιεύσεις που περιλαμβάνονται σε Πρακτικά ΣυνεδρίωνA. Tsalgatidou, G. Athanasopoulos, P. Liaskovitis,A UML Profile for Software Architectures and Peer to Peer Dependable Applications Presented in CAISE05 Forum, Porto, Portugal , 2005 A. Tsalgatidou, G. Athanasopoulos, M. Pantazoglou, Semantically Enhanced Discovery of Heterogeneous Services Proceedings of the 1st International IFIP/WG12.5 Working Conference on Industrial Applications on Semantic Web (IASW05), Jyväskylä, Finland , 2005 A. Tsalgatidou, M. Pantazoglou, G. Athanasopoulos, Semantically Enhanced Unified Service Discovery Proceedings of the W3C Workshop on Frameworks for Semantics in Web Services,Innsbruck, Austria , 2005 T. Pilioura, G.D. Kapos, A. Tsalgatidou, PYRAMID-S: A Scalable Infrastructure for Semantic Web Service Publication and Discovery Proceedings of RIDE-DGS 2004:14th International Workshop on Research Issues on Data Engineering, in conjunction with the IEEE Conference on Data Engineering (ICDE 2004) , 2004 T. Pilioura, G.D. Kapos, A. Tsalgatidou, A Scalable Infrastructure for Unified Publication and Discovery in Heterogeneous Service Registries Forum of CAiSE 04, The 16th International Conference on Advance Information Systems Engineering , 2004 T. Pilioura, G.D. Kapos, A. Tsalgatidou, Seamless Federation of Heterogeneous Services Registries Proceedings of EC-Web 2004 , 2004 G.D. Kapos, A. Tsalgatidou, M. Nikolaidou, A Web Service-based Platform for CSCW over Heterogeneous End-User Applications Proceedings of the 17th International Conference on Parallel and Distributed Computing Systems , 2004 T. Pilioura, A. Tsalgatidou, A. Batsakis, Using WSDL/UDDI and DAML-S in web service discovery Proceedings of the WWW 2003 Workshop on E-Services and the Semantic Web , 2003 J.Y.Cotronis, Z. Tsiatsoulis, Modular MPI and PVM Components in Proceedings Recent Advances in PVM and MPI 2002 , pages 252-259 , 2002 G. E. Gyftodimos, On Modeling an Interactive Evolutionary World Procs. of Int. Conf. on Simulation ESM2001 , pages 37-42 , 2001 J.Y.Cotronis, Modular MPI Components and the Composition of Grid Applications Proc. of the Tenth Euromicro Workshop on Parallel, Distributed and Network-based Processing , pages 154-161 IEEE Computer Society press , 2001 J.Y. Cotronis, Reusable message passing components in Proceedings 8th PDP2000 Euromicro Workshop on Parallel and Distributed Processing , pages 398-405 IEEE Computer Society press , 2000 J.Y. Cotronis, Z. Tsiatsoulis, C. Kouniakis, Composition of Message Passing Applications On-Demand LNCS 1908 , pages 192-199 Springer , 2000 D. Theotokis, G.D. Kapos, C. Vassilakis, A. Sotiropoulou, G. Gyftodimos, Distributed Information Systems Tailorability: A Component Aproach Procs. of 7nth IEEE \"Workshop on Future Trends of Distributed Computing Systems\" , pages 95-101 , 1999 N. Dragios, G.D. Kapos, S. Mantzouranis, D. Theotokis, and G. Gyftodimos, Designing Tailorable Information Systems Using a Component Focused Role Model (CFRM) Procs. of 7th Hellenic Conference on Informatics , pages 20-28 , 1999 Z.Tsiatsoulis, G.Dózsa, J.Cotronis, P.Kacsuk, Associating Composition of Petri Net Specifications with Application Designs in GRADE Proc. of the Seventh Euromicro Workshop on Parallel and Distributed Processing , pages 204-211 IEEE Computer Society press , 1999 Z.Tsiatsoulis, J.Cotronis, E. Floros, Testing and debugging message Passing applications based on the synergy of program and specification executions Proc. of the Seventh Euromicro Workshop on Parallel and Distributed Processing , pages 196-203 IEEE Computer Society press , 1999 J.Y. Cotronis, E. Avgeri and G. Krallis, Porting Applications between PVM and Parix under Ensemble in Proc. 6th Euromicro Workshop on Parallel and Distributed Processing , pages 409-415 IEEE Computer Science , 1998 J.Y. Cotronis, Developing Message Passing Applications on MPICH under Ensemble in Proceedings Recent Advances in PVM and MPI , pages 145-152 , 1998 J.Y. Cotronis, P. Kacsuk, Z. Tsiatsoulis, G. Dózsa, E. Floros, Integration of Formal Specifications into GRADE Proceedings Dapsys 98 , pages 39-46 , 1998 D. Theotokis, G. Gyftodimos P.Georgiadis and G. Philokyprou, ATOMA: A Component Object Oriented framework for Computer Based Learning Procs. of 3rd Int. Conf. on Computer Based Learning in Science CBLIS\'97 , pages 1-15 , 1997 D. Theotokis, G. Gyftodimos and P.Georgiadis, Objects or Components: Staticality or Dynamicity in object oriented composition. An aproach using roles and mixins Procs. of 6th Hellenic Conference on Informatics \"Towards the Information Society, Trends and Activities in Information and Communication Technologies\" , pages 335-345 , 1997 L. Katsaros, C. Poulkas, D. Theotokis and G. Gyftodimos, Code reuse and object-oriented systems. Using a helper class to enforce dynamic behaviour Procs. of 6th Hellenic Conference on Informatics \"Towards the Information Society, Trends and Activities in Information and Communication Technologies\" , pages 323-334 , 1997 Γ. Κοτρώνης, Ε. Αυγέρη, Γ. Κράλλης, Μεταφορά Εφαρμογών σε Περιβάλλοντα Μεταβίβασης Μηνυμάτων με την Υποστήριξη της Μεθοδολογίας Ensemble Πρακτικά 6ου Πανελλήνιου Συνεδρίου Πληροφορικής , pages 757-770 , 1997 J.Y. Cotronis and Z. Tsiatsoulis, Composition of Specifications of Message Passing Applications Composed by the Ensemble Methodology Πρακτικά 6ου Πανελλήνιου Συνεδρίου Πληροφορικής , pages 299-312 , 1997 J.Y.Cotronis, Z.Tsiatsoulis, Specification composition for the verification of message passing program composition In Proc. Encress 97. 3rd International Conference on Reliability, Quality & Safety of Software-Intensive Systems Chapman and Hall , 1997 T. Theoharis, J.Y.Cotronis, FlexParDB: An RDBMS employing Intra-query and Operator parallelism in Proc. Applications of HPC in Engineering , pages 33-42 Computational Mechanics Publications , 1997 J.Y. Cotronis, Message Passing Program Development by Ensemble in Proceedings Recent Advances in PVM and MPI , pages 242-249 , 1997 P. Stamatopoulos and I. Karali, Logic as Vehicle for Real Life Applications Proceedings of the First Panhellenic Symposium in Logic , pages 205-210 , 1997 I. Karali and C. Halatsis, Modular Logic Programming and Abstract Data Types Proceedings of the First Panhellenic Symposium in Logic , pages 229-236 , 1997 D. Theotokis, G. Gyftodimos and P.Georgiadis, ATOMS: A Methodology for Component Object Oriented Software Development Aplied in the Educational Context Procs. of 3rd Int. Conf. (IEE / IBM) on Object Oriented Information Systems, OOIS ‘96 , pages 226-242 , 1996 J.Y Cotronis, Efficient Composition and Automatic Initialization of Arbitrarily Structured PVM Programs Proceedings, First IFIP TC10 International Workshop on Parallel and Distributed Software Engineering Chapman & Hall , 1996 J.Y.Cotronis, E.Floros, N.Papazis, Efficient Composition of PVM programs HPCN96 , 1996 J.Y.Cotronis, Efficient Program Composition on Parix by the Ensemble Methodology Euromicro Conference 96 , 1996 M. Spiliopoulou, G. Gyftodimos and G.A. Papadopoulos, Using Constraints and Hypothetical Reasoning in Hypermedia Exploration for Educational Purposes Procs. of \"Multimedia and Hypermedia Systems\" Conf. MIPRO\'95 , pages 88-94 , 1995 Γ. Γυφτοδήμος, Γ. Φιλοκύπρου, Mιά Σημασιολογική Προσέγγιση γιά την Oργάνωση ενός Aνοικτού Yπολογιστικού Mαθησιακού Mικρόκοσμου, με βάση Eξι Λογικούς Xαρακτηρισμούς Πρακτ. 2ου Πανελλ. Συν. \"Διδακτική των Mαθηματικών και Πληροφορική στην Eκπαίδευση\" , pages 655-668 , 1995 G. Gyftodimos, D. Rigopoulos and M. Spiliopoulou, Exploring Archaeological Information through an Open Hypermedia System Int. Conf. CAA\'95 Analecta Praehistorica Leidensia, vol. 28, \"Intrfacing the Past\" , pages 497-505 , 1995 D. Anagnostopoulos, M. Nikolaidou, P.Georgiadis, G. Gyftodimos, Network Simulation: A real Time Simulation Methodology Procs. of \"Summer Computer Simulation Conference\" SCSC\'95 , pages 21-26 , 1995 D. Anagnostopoulos, M. Nikolaidou, P.Georgiadis and G. Gyftodimos, Aplying Real Time Simulation in the LAN Domain: Modelling Considerations Procs. of Int. Mult. Conf. in Simulation IMACS-SAS\'95 , pages 701-704 , 1995 D. Anagnostopoulos, G. Gyftodimos, P.Georgiadis and M. Nikolaidou, Aplying Real Time Simulation: The Computer Networks Domain Procs. of IASTED Aplied Informatics Conference , pages 298-300 , 1995 D. Anagnostopoulos, P.Georgiadis, G. Gyftodimos, G. Doukidis, Establishing the Real Time Simulation Concept through a Four-Phase Methodology Procs of European Simulation Multiconf. ESM\'95 , pages 15-19 , 1995 J.Y. Cotronis, A Methodology for Initiating Arbitrary Structured Programs in Parix by Interpreting Graphs Proceedings of ZEUS 95 IOS Press , 1995 Karali and C. Halatsis, A Refinement of Import/Export Declarations in Modular Logic Programming and its Semantics Proceedings of the 6th International Joint Conference on Theory and Practice of Software Development (TAPSOFT\'95) Lecture Notes in Computer Science (915) , pages 486-500 Springer Verlag , 1995 A. Tsalgatidou, D. Gouscos, C. Halatsis, Dynamic Process Modelling through Multi-level RBNs Proceedings of the 4th Conf. on Dynamic Modelling of Information Systems (DYNMOD-IV) , pages 327-341 , 1994 A. Tsalgatidou, D. Gouscos, C. Halatsis, Specifying and Validating Requirements: The VENUS system Proceedings of TOOLS-EUROPE 94 , pages 89-102 , 1994 G. Gyftodimos, M. Spiliopoulou, Organizing a Hypermedia Environment for Learning Purposes \"Cognitive Psychology and Computers in Primary Education\" , pages 283-295 ASI F-Series, Springer -Verlag , 1994 · C. Halatsis, P. Stamatopoulos, I. Karali, C. Mourlas, D. Gouscos, D. Margaritis, C. Fouskakis, A. Kolokouris, P. Xinos, M. Reeve, A. Veron, K. Schuerman and L.-L. Li, MaTourA: Multi-agent Tourist Advisor Proceedings of the International Conference on Information and Communication Technology in the Field of Tourism (ENTER\'94) , pages 140-147 Springer-Verlag , 1994 Karali and C. Halatsis, Abstract Data Type Support in Prolog and its Relation to Parallelism Proceedings of the ACM Symposium on Applied Computing 1994(SAC\'94) , pages 415-419 , 1994 P. Stamatopouloσ, D. Margaritis and C. Halatsis, Extending a parallel CLP language to support the development of multi-agent systems Proceedings of the ACM Symposium on Applied Computing 1994 (SAC\'94) , pages 410-414 , 1994 Karali and C. Halatsis, A Practical Module System for Logic Programming and its Semantics Proceedings of the IEEE 6th International Conference on Tools with Artificial Intelligence (TAI\'94) , pages 708-711 , 1994 C. Mourlas, C. Halatsis, MAGE: A Massively Agent Execution System for Logic Programming PARLE , pages 737-740 , 1994 A. Tsalgatidou, D. Gouscos, C. Halatsis, Rule-Based Behaviour Modelling of Information Systems Proceedings of HICSS-26,Vol. IV IEEE Computer Society Press , pages 409-418 , 1993 M.Spiliopoulou, J.Y.Cotronis and M.Hatzopoulos, Parallel Optimisation of Join Queries Using an Enhanced Iterative Improvement Technique PARLE 93, Proceedings of the 5th International PARLE Conference Lecture Notes in Computer Science, Springer-Verlag , pages 716-719 , 1993 I. Karali, E. Pelecanos and C. Halatsis, A Versatile Module System for Prolog Mapped to Flat Prolog Proceedings of the ACM Symposium on Applied Computing 1993 (SAC\'93) , 1993 P. Stamatopoulos, I. Karali and C. Halatsis, PETINA --- Tour Generation Using the ElipSys Inference System Proceedings of the ACM Symposium on Applied Computing 1992 (SAC\'92) , pages 320-327 , 1992 C. Mourlas, C. Halatsis, Extensions to a Parallel Prolog System to Support Real-Time Applications PARLE , pages 551-565 , 1992 Γ. Γυφτοδήμος, M. Σπηλιοπούλου, O Mίτος της Aριάδνης ως Eργαλείο Eπανα- προσανατολισμού σε ένα Hypertext Σημασιολογικό Δίκτυο Πρακτ. 3ου Πανελλ. Συν. Πληροφορικής EΠY , pages 292-31 , 1991 C. Halatsis, I. Karali and E. Pelecanos, Modules and Abstract Data Types as Extensions of the ElipSys Language Πρακτικά 3ου Πανελλήνιου Συνέδριου Πληροφορικής , pages 87-99 , 1991 C. Halatsis, M. Katzouraki, M. Hatzopoulos, P. Stamatopoulos, I. Karali, C. Mourlas, M. Gergatsoulis, E. Pelecanos, PETINA: PErsonalized Tourist INformation Advisor Πρακτικά 3ου Πανελλήνιου Συνέδριου Πληροφορικής , pages 590-605 , 1991 A. Tsalgatidou, V. Karakostas, P. Loucopoulos, Rule-Based Requirements Specification and Validation Proceedings of CAISE-90 Lecture Notes in Computer Science , pages 251-264 Springer-Verlag , 1990 Γ.Φιλοκύπρου, K.Xαλάτσης, M.Xατζόπουλος, Γ. Kοτρώνης, Δ. Nικολός, N. Φλέσσας, Π. Γαρίδης, M. Σπηλιοπούλου, Παράλληλη Eκτέλεση Eρωταποκρίσεων Bάσεων Δεδομένων 2ο Πανελλήνιο Συνέδριο Πληροφορικής , pages 100-110 , 1988 Δημοσίευση ΒιβλίωνY. Cotronis, J. Dongarra,Recent Advances in Parallel Virtual Machine and Message Passing Interface LNCS 2131 , 2001 Δημοσιεύσεις που περιλαμβάνονται σε ΒιβλίαA. Tsalgatidou, P. Loucopoulos,An object-oriented rule-based approach to the dynamic modelling of Information Systems Dynamic Modelling of Information Systems North-Holland/Elsevier Science Publishers , 1991
|
|||||||