%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Bibliography file for Nikolaos S. Papaspyrou % Last updated: 18/02/2006, 13:20. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @string{en = "English"} @string{gr = "Greek"} @string{PUB = "ftp://ftp.softlab.ntua.gr/pub/users/nickie/papers/"} @string{PS = ".ps.gz"} @string{PDF = ".pdf"} %%% 2006 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @Article{todoran-2006-cpcl, author = "Eneia Todoran and Nikolaos S. Papaspyrou", title = "Continuations for Prototyping Concurrent Languages: Yet Another Study of Concurrency with Emphasis on Control-Flow and Communication Mechanisms", journal = "Higher Order and Symbolic Computation", year = 2006, month = jan, note = "Submitted originally in October 2004, currently under revision", urlpdf = PUB # "todoran-2006-cpcl" # PDF, language = en, abstract = "We have recently introduced the ``continuation semantics for concurrency'' (CSC) technique in an attempt to exploit the benefits of using continuations in concurrent systems development. In the CSC approach, a continuation is an application-dependent configuration of computations (partially evaluated denotations). Every computation or group of computations contained in a continuation can be accessed and manipulated separately by the denotational semantic function. The CSC technique provides excellent flexibility and a ``pure'' continuation-based approach to communication and concurrency, in which all control concepts are modeled as operations manipulating continuations. \par In this paper, we present a methodology for concurrent language development based on denotational semantics. We provide new insights in understanding the additional flexibility provided by the CSC technique and we propose carefully designed continuation structures for various traditional concurrent control concepts. We show that, by using the CSC technique, a simple relation can be established between the structure of continuations and the control flow constructs of the language under study. By using monads and the lazy functional programming language Haskell, we show how to obtain semantic interpreters for concurrent languages, capable of producing either one or all possible execution traces of a program. We also propose the first compositional semantics for remote object (process) destruction and cloning.", keywords = "Concurrent programming languages, denotational semantics, continuations, prototype implementation.", bibcategory = "submitted", bibfiles = "personal", bibwhere = "personal" } %ok @TechReport{todoran-2006-cpcl-tr, author = "Eneia Todoran and Nikolaos S. Papaspyrou", title = "Continuations for Prototyping Concurrent Languages", institution = "National Technical University of Athens, School of Electrical and Computer Engineering, Software Engineering Laboratory", year = 2006, number = "CSD-SW-TR-1-06", language = gr, urlpdf = PUB # "todoran-2006-cpcl-tr" # PDF, bibcategory = "report", bibfiles = "personal", bibwhere = "personal" } %%% 2005 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %ok @Article{shao-2005-tscb, author = "Zhong Shao and Valery Trifonov and Bratin Saha and Nikolaos Papaspyrou", title = "A Type System for Certified Binaries", journal = "{ACM} Transactions on Programming Languages and Systems", issn = "0164-0925", impact = "2002: 1.000, 2003: 1.676, 2004: 1.875", year = 2005, volume = 27, number = 1, pages = "1--45", month = jan, doi = "10.1145/1053468.1053469", urlpdf = PUB # "shao-2005-tscb" # PDF, language = en, abstract = "A certified binary is a value together with a proof that the value satisfies a given specification. Existing compilers that generate certified code have focused on simple memory and control-flow safety rather than more advanced properties. In this article, we present a general framework for explicitly representing complex propositions and proofs in typed intermediate and assembly languages. The new framework allows us to reason about certified programs that involve effects while still maintaining decidable typechecking. We show how to integrate an entire proof system (the calculus of inductive constructions) into a compiler intermediate language and how the intermediate language can undergo complex transformations (CPS and closure conversion) while preserving proofs represented in the type system. Our work provides a foundation for the process of automatically generating certified binaries in a type-theoretic framework.", keywords = "Certified code, proof-preserving compilation, typed intermediate languages", bibcategory = "journal", bibfiles = "personal", bibwhere = "personal" } %ok @Article{todoran-2005-csbam, author = "Eneia Todoran and Paulina Mitrea and Nikolaos Papaspyrou", title = "Comparative Semantics for the Basic {A}ndorra Model", journal = "Automation, Computers, Applied Mathematics, (Scientific Journal of the Faculty of Automation and Computer Science, Technical University of Cluj-Napoca, Romania)", issn = "1221-437X", year = 2005, volume = 14, number = 1, pages = "27--41", url = "http://ac.utcluj.ro/index.php?option=com_content" # "&task=view&id=38&Itemid=90", urlpdf = PUB # "todoran-2005-csbam" # PDF, language = en, abstract = "This paper employs techniques from metric semantics in defining and relating an operational and a denotational semantics for a simple abstract language which embodies the main control flow notions of Warren's Basic Andorra Model. Both semantic models are designed with the ``continuation semantics for concurrency'' (CSC) technique.", bibcategory = "journal", bibfiles = "personal", bibwhere = "personal" } %ok, no issn @Article{todoran-2005-croc, author = "Eneia Todoran and Florian M. Boian and Cornelia Melenti and Nikolaos Papaspyrou", title = "Continuations for Remote Objects Control", journal = "Studia Universitatis Babe\c{s}-Bolyai, Informatica", year = 2005, volume = 50, number = 1, pages = "21--37", url = "http://www.cs.ubbcluj.ro/~studia-i/2005-1/", urlpdf = PUB # "todoran-2005-croc" # PDF, language = en, abstract = "We have recently introduced the ``continuation semantics for concurrency'' (CSC) technique in an attempt to exploit the benefits of using continuations in concurrent systems development. CSC is a general technique for denotational semantics which provides excellent flexibility in the compositional modeling of concurrent control concepts. In this paper, we present a denotational semantics designed with CSC for a distributed language incorporating two control concepts which have not been modeled denotationally before: remote object (process) destruction, and cloning.", bibcategory = "journal", bibfiles = "personal", bibwhere = "personal" } %not really ok, no impact @Article{georgiakakis-2005-euwblms, author = "Petros Georgiakakis and Andreas Papasalouros and Symeon Retalis and Kostas Siassiakos and Nikolaos Papaspyrou", title = "Evaluating the Usability of Web-Based Learning Management Systems", journal = "{THEMES} in Education", issn = "1108-5908", publisher = "Ellinika Grammata", year = 2005, volume = 6, number = 1, pages = "45--59", urlpdf = PUB # "georgiakakis-2005-euwblms" # PDF, language = en, abstract = "A great number of Learning Management Systems (LMSs), commercial or open source exists nowadays (e.g. WebCT, Blackboard, IBM LearningSpace, etc.) offering integrated services such as the creation and distribution of on-line learning material, the communication between stakeholders, the management of the instruction process etc., thus providing the basic software platform for supporting web-based learning in an easy-to-use, and pedagogically flexible manner. This paper proposes a framework on the analysis of potentiality and on the evaluation of LMSs' admissibility. The most commonly used LMSs have been selected for the application of this specific framework. The aim of the evaluation is twofold; to search their usefulness and their quality in use.", note = "Special issue: ``ICT in Diaspora'', P. Zaphiris, N. Lambropoulos and G. Zacharia, editors", bibcategory = "journal", bibfiles = "personal", bibwhere = "personal" } %ok @InProceedings{papaspyrou-2005-ehltcc, author = "Nikolaos S. Papaspyrou and Michalis A. Papakyriakou and Angelos Manousaridis", title = "Encoding {H}oare Logic in Typed Certified Code", booktitle = "Proceedings of the 5th Panhellenic Logic Symposium", pages = "134--141", year = 2005, address = "Athens, Greece", month = jul # "\ndays{25-28}", urlpdf = PUB # "papaspyrou-2005-ehltcc" # PDF, language = en, abstract = "Hoare logic and proof-carrying code are two independent frameworks for reasoning that programs meet their specifications. In this paper, we merge the two approaches by embedding axiomatic specifications in a type system for foundational proof-carrying code. By annotating programs with proof hints, proof checking of Hoare triples becomes decidable and as efficient as type checking.", bibcategory = "conference", bibfiles = "personal", bibwhere = "personal" } %ok @InProceedings{charalambidis-2005-eiilfl, author = "Angelos Charalambidis and Athanasios Grivas and Nikolaos Papaspyrou and Panos Rondogiannis", title = "Efficient Intensional Implementation for Lazy Functional Languages", booktitle = "Proceedings of the 17th International Workshop on the Implementation and Application of Functional Languages (IFL '05)", year = 2005, address = "Dublin, Ireland", month = sep # "\ndays{19-21}", urlpdf = PUB # "charalambidis-2005-eiilfl" # PDF, language = en, abstract = "The intensional transformation is a technique that can be used in order to eliminate higher-order functions from a functional program by introducing appropriate context manipulation operators. The transformation can be applied to a significant class of higher-order programs and results in equivalent zero-order intensional programs that can be executed in a simple demand-driven way. Despite its simplicity, the transformation has never been seriously evaluated with respect to its efficiency and potential. Certain simple implementations of the technique have been performed, but the questions regarding the merits of the method have remained inconclusive. In this paper we demonstrate that the transformation can be efficiently implemented by using what we call lazy activation records, namely activation records in which some entries are filled on-demand. An evaluation of our implementation demonstrates that the technique outperforms some of the most well-known functional programming systems, for the class of programs that can be transformed.", bibcategory = "conference", bibfiles = "personal", bibwhere = "personal" } %ok @TechReport{papaspyrou-2005-ehltcc-tr, author = "Nikolaos S. Papaspyrou and Michalis A. Papakyriakou and Angelos Manousaridis", title = "Encoding {H}oare Logic in Typed Certified Code", institution = "National Technical University of Athens, School of Electrical and Computer Engineering, Software Engineering Laboratory", year = 2005, number = "CSD-SW-TR-1-05", language = gr, urlpdf = PUB # "papaspyrou-2005-ehltcc-tr" # PDF, bibcategory = "report", bibfiles = "personal", bibwhere = "personal" } %%% 2004 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %ok @Article{todoran-2004-cscclp, author = "Eneia Todoran and Nikolaos Papaspyrou and Florian Boian and Cosmina Ivan", title = "Continuation Semantics for Concurrency and Concurrent Languages Prototyping", journal = "Scientific Annals of Cuza University", issn = "1224-2268", year = 2004, volume = 15, pages = "22--37", url = "http://www.infoiasi.ro/Annals/content.php?c=15", urlpdf = PUB # "todoran-2004-cscclp" # PDF, language = en, abstract = "This paper shows that, by using the ``continuation semantics for concurrency'' (CSC) technique (recently introduced by us), denotational semantics can be used not only as a method for formal specification and design, but also as a general method for compositional prototyping of concurrent programming languages. In this new approach, a denotational function uses continuations to produce incrementally a stream of observables, i.e.\ a single execution trace, rather than an element of some powerdomain construction. By using a random number generator, an arbitrary execution trace is chosen, thus simulating the non-deterministic behavior of a ``real'' concurrent system. In this paper we employ classic (cpo-based) domains and we develop denotational models for two concurrent languages of progressive complexity. The first language provides a construct for parallel composition; the second language extends the first one with primitives for CSP-like synchronous communication. Both models are designed by using the CSC technique.", bibcategory = "journal", bibfiles = "personal", bibwhere = "personal" } %ok @Article{papaspyrou-2004-gecmmoop, author = "Nikolaos S. Papaspyrou and Ioannis T. Kassios", title = "{GLU${}^{\natural}$} Embedded in {C++}: A Marriage between Multidimensional and Object-Oriented Programming", journal = "Software Practice and Experience", issn = "0038-0644", impact = "2002: 0.646, 2003: 0.718, 2004: 0.600", year = 2004, volume = 34, number = 7, pages = "609--630", month = jun, doi = "10.1002/spe.582", urlpdf = PUB # "papaspyrou-2004-gecmmoop" # PDF, language = en, abstract = "The embedding of a small but expressive language of multidimensional functional programming in a well known and widely used language of object-oriented programming leads to the combination of two radically different programming models. In this paper, we formally define the syntax and semantics of GLU${}^{\natural}$, which can be thought of as the multidimensional core of Lucid and GLU, and we describe its implementation as a language embedded in C++. With the aid of a few examples, we argue that the marriage of the two programming models is not only compatible and natural, but also that it produces a new and interesting hybrid language.", keywords = "Multidimensional programming, object-oriented programming, GLU, C++, lazy arrays, lazy functions.", bibcategory = "journal", bibfiles = "personal", bibwhere = "personal" } @Article{papasalouros-2004-sdeahbcm, author = "Andreas Papasalouros and Symeon Retalis and Nikolaos Papaspyrou", title = "Semantic Description of Educational Adaptive Hypermedia Based on a Conceptual Model", journal = "Educational Technology and Society", issn = "1176-3647", year = 2004, volume = 7, number = 4, pages = "129--142", month = oct, url = "http://www.ifets.info/others/abstract.php?art_id=510", urlpdf = PUB # "papasalouros-2004-sdeahbcm" # PDF, language = en, abstract = "The role of conceptual modeling in Educational Adaptive Hypermedia Applications (EAHA) is especially important. A conceptual model of an educational application depicts the instructional solution that is implemented, containing information about concepts that must be acquired by learners, tasks in which learners must be involved and resources that will be used. The importance of such a model is multifold. It formally depicts the outcomes of instructional analysis, drives the development of actual applications and provides the information basis for automatic application generation in the context of Adaptive and Intelligent Tutoring Systems. In this paper we begin by describing a method for designing EAHA. Our method uses UML as the modeling language and defines the design process in three distinct steps. We propose an RDF encoding of the Conceptual Model, which is the outcome of the first step, following a specific RDF schema that is appropriate for such applications. This encoding can be obtained automatically and, in this way, a machine processable semantic description of the EAHA becomes available, as an outcome of the design process. In the resulting RDF-encoded Conceptual Model, we define rules of adaptation using the existing language RuleML", keywords = "Adaptive hypermedia, hypermedia design, conceptual modeling, semantic web, RDF", bibcategory = "journal", bibfiles = "personal", bibwhere = "personal" } %ok @InProceedings{todoran-2004-dpsscll, author = "Eneia Todoran and Nikolaos Papaspyrou and Kalman Pusztai", title = "Denotational Prototype Semantics for a Simple {CSP}-Like Language", booktitle = "Proceedings of the 8th IEEE International Conference on Intelligent Engineering Systems (INES 2004)", pages = "319--325", year = 2004, address = "Cluj-Napoca, Romania", month = sep # "\ndays{19-21}", url = "http://www.ines-conf.org/ines-conf/2004.htm", urlpdf = PUB # "todoran-2004-dpsscll" # PDF, language = en, abstract = "This paper shows that, by using the ``continuation semantics for concurrency'' (CSC) technique (recently introduced by us), denotational semantics can be used not only as a method for formal specification and design, but also as a method for concurrent languages prototyping. In this new approach, a denotational function uses continuations to produce incrementally a stream of observables, i.e. a single execution trace, rather than an element of some powerdomain construction. By using a random number generator, an arbitrary execution trace is chosen, thus simulating the non-deterministic behavior of a ``real'' concurrent system. In this paper we employ classic (cpo-based) domains in developing a denotational prototype semantics for a simple concurrent language providing constructs for CSP-like synchronous communication. The CSC technique plays the main role in the design of the denotational model.", bibcategory = "conference", bibfiles = "personal", bibwhere = "personal" } %ok @InProceedings{papasalouros-2004-asbcduu, author = "Andreas Papasalouros and Symeon Retalis and Nikolaos Papaspyrou", title = "Automating Standards-Based Courseware Development Using {UML}", booktitle = "Proceedings of the 4th International Conference on Web Engineering (ICWE 2004)", isbn = "3-540-22511-0", bookdoi = "10.1007/b99180", pages = "599--600", year = 2004, editor = "Nora Koch and Piero Fraternali and Martin Wirsing", volume = 3140, series = "Lecture Notes in Computer Science", address = "Munich, Germany", month = jul # "\ndays{26-30}", publisher = "Springer-Verlag", note = "Poster", url = "http://springerlink.metapress.com/openurl.asp?" # "genre=article&issn=0302-9743&volume=3140&spage=599", urlpdf = PUB # "papasalouros-2004-asbcduu" # PDF, language = en, abstract = "In this paper we discuss the automatic construction of web-based courseware applications from XML descriptions of appropriate UML models. The created applications conform to a related Learning Technology Standard for learning material interchange, namely the IMS Content Packaging standard.", bibcategory = "other", bibfiles = "personal", bibwhere = "personal" } %ok @TechReport{todoran-2004-dpssclsc-tr, author = "Eneia Todoran and Nikolaos S. Papaspyrou", title = "Denotational Prototype Semantics for a Simple Concurrent Language with Synchronous Communication", institution = "National Technical University of Athens, School of Electrical and Computer Engineering, Software Engineering Laboratory", year = 2004, number = "CSD-SW-TR-1-04", language = gr, urlpdf = PUB # "todoran-2004-dpssclsc-tr" # PDF, bibcategory = "report", bibfiles = "personal", bibwhere = "personal" } %%% 2003 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %ok @Article{todoran-2003-cclp, author = "Eneia Todoran and Nikolaos Papaspyrou", title = "{CSC} in Concurrent Languages Prototyping", journal = "Automation, Computers, Applied Mathematics, (Scientific Journal of the Faculty of Automation and Computer Science, Technical University of Cluj-Napoca, Romania)", issn = "1221-437X", year = 2003, volume = 2, number = 1, pages = "35--46", url = "http://ac.utcluj.ro/index.php?option=com_content" # "&task=view&id=38&Itemid=90", urlpdf = PUB # "todoran-2003-cclp" # PDF, language = en, abstract = "In Todoran (2002) we presented a compositional interpreter for a CSP-like language and we showed that, by using the ``continuation semantics for concurrency'' (CSC) technique (recently introduced by us), denotational semantics can be used as a prototyping method for concurrent programming languages. In this paper we employ domains (which are complete partial orders) and continuous functions in developing a denotational semantics which is a mathematical formalization of the compositional interpreter given in Todoran (2002).", bibcategory = "journal", bibfiles = "personal", bibwhere = "personal" } %ok, no impact @Article{avgeriou-2003-mltsbs, author = "Paris Avgeriou and Symeon Retalis and Nikolaos Papaspyrou", title = "Modeling Learning Technology Systems as Business Systems", journal = "Software and Systems Modeling", issn = "1619-1366", year = 2003, volume = 2, number = 2, pages = "120--133", month = jul, doi = "10.1007/s10270-003-0022-1", urlpdf = PUB # "avgeriou-2003-mltsbs" # PDF, language = en, abstract = "The design of Learning Technology Systems, and the Software Systems that support them, is largely conducted on an intuitive, ad hoc basis, thus resulting in inefficient systems that defectively support the learning process. There is now justifiable, increasing effort in formalizing the engineering of Learning Technology Systems in order to achieve better learning effectiveness as well as development efficiency. This paper presents such an approach for designing Learning Technology Systems and their most popular specialization, the Web-based Learning Systems, by modeling them as business systems, using business-modeling methods. The aim is to provide an in-depth analysis and comprehension of the Learning Technology Systems and Web-based Learning Systems' domain, that can be used for improving the systems themselves, as well as for building the supporting software systems. Our work is based upon the Learning Technology Systems Architecture standard of IEEE LTSC, on the empirical results of designing Web-based Learning Systems for university courses and on the practices of the Rational Unified Process and the Unified Modeling Language.", keywords = "Business model, learning technology system, unified modeling language, Rational unified process, web-based learning systems, open and distance learning, e-learning, learning technology systems architecture", bibcategory = "journal", bibfiles = "personal", bibwhere = "personal" } %ok @InCollection{shao-2003-tscb, author = "Zhong Shao and Valery Trifonov and Bratin Saha and Nikolaos Papaspyrou", title = "A Type System for Certified Binaries", booktitle = "Foundations of Intrusion Tolerant Systems", isbn = "0-7695-2057-X", pages = "60--85", publisher = "IEEE Computer Society Press", year = 2003, editor = "Jaynarayan H. Lala", address = "Los Alamitos, CA", doi = "10.1109/FITS.2003.1264928", urlpdf = PUB # "shao-2003-tscb" # PDF, language = en, abstract = "A certified binary is a value together with a proof that the value satisfies a given specification. Existing compilers that generate certified code have focused on simple memory and control-flow safety rather than more advanced properties. In this paper, we present a general framework for explicitly representing complex propositions and proofs in typed intermediate and assembly languages. The new framework allows us to reason about certified programs that involve effects while still maintaining decidable typechecking. We show how to integrate an entire proof system (the calculus of inductive constructions) into a compiler intermediate language and how the intermediate language can undergo complex transformations (CPS and closure conversion) while preserving proofs represented in the type system. Our work provides a foundation for the process of automatically generating certified binaries in a type-theoretic framework.", bibcategory = "collection", bibfiles = "personal", bibwhere = "personal" } %ok @InProceedings{papaspyrou-2003-lets, author = "Nikolaos S. Papaspyrou and Dimitrios Ch. Vytiniotis and Vassilios M. Koutavas", title = "Logic-Enhanced Type Systems: Programming Language Support for Reasoning about Security and Other Program Properties", booktitle = "Proceedings of the 4th Panhellenic Logic Symposium", isbn = "960-431-859-4", pages = "141--145", year = 2003, publisher = "Ziti Publishing", address = "Thessaloniki, Greece", month = jul # "\ndays{7-10}", urlpdf = PUB # "papaspyrou-2003-lets" # PDF, language = en, abstract = "Existing compilers that produce certified code (e.g.\ the Java compiler) focus on relatively simple and informally specified safety properties that are enforced by an elaborate run-time system with a significant performance overhead. Recent research supports the opinion that it is possible to design and implement a general framework for formally reasoning about security and other interesting program properties using low-level languages with strong type systems. In such a language, a certified binary file is simply a program whose type provides a collection of properties that the program satisfies; the type checker can determine statically and with little cost whether a given certified binary is sound and, if it is, the program can be executed with no further performance overhead. In this paper, we exemplify how a formal logic can be embedded in the type system of a programming language. Without plunging into details, we discuss a number of interesting program properties that can be certified and what is to be expected in the foreseeable future.", bibcategory = "conference", bibfiles = "personal", bibwhere = "personal" } %%% 2002 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %ok @Book{papaspyrou-2002-c, reflanguage = en, author = "Nikolaos S. Papaspyrou and Emmanuel St. Skordalakis", title = "Compilers", publisher = "Symmetria", year = 2002, address = "Athens, Greece", url = "http://www.softlab.ntua.gr/~nickie/Books/Compilers/", language = gr, bibcategory = "book", bibfiles = "personal", bibwhere = "personal" } %ok @Book{papaspyrou-2002-c-gr, reflanguage = gr, author = "Νικόλαος Σ. Παπασπύρου and Εμμανουήλ Στ. Σκορδαλάκης", title = "Μεταγλωττιστές", publisher = "Εκδόσεις Συμμετρία", year = 2002, address = "Αθήνα", url = "http://www.softlab.ntua.gr/~nickie/Books/Compilers/", language = gr, bibcategory = "book", bibfiles = "personal", bibwhere = "personal" } %ok @InProceedings{shao-2002-tscb, author = "Zhong Shao and Bratin Saha and Valery Trifonov and Nikolaos Papaspyrou", title = "A Type System for Certified Binaries", booktitle = "Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '02)", isbn = "1-58113-450-9", pages = "217--232", year = 2002, address = "Portland, OR", month = jan # "\ndays{16-18}", note = "Also published in \emph{ACM SIGPLAN Notices}, vol.~37, no.~1, January 2002.", doi = "10.1145/503272.503293", urlpdf = PUB # "shao-2002-tscb" # PDF, language = en, abstract = "A certified binary is a value together with a proof that the value satisfies a given specification. Existing compilers that generate certified code have focused on simple memory and control-flow safety rather than more advanced properties. In this paper, we present a general framework for explicitly representing complex propositions and proofs in typed intermediate and assembly languages. The new framework allows us to reason about certified programs that involve effects while still maintaining decidable typechecking. We show how to integrate an entire proof system (the calculus of inductive constructions) into a compiler intermediate language and how the intermediate language can undergo complex transformations (CPS and closure conversion) while preserving proofs represented in the type system. Our work provides a foundation for the process of automatically generating certified binaries in a typetheoretic framework.", bibcategory = "conference", bibfiles = "personal", bibwhere = "personal" } %%% 2001 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %ok @Article{papaspyrou-2001-dsac, author = "Nikolaos S. Papaspyrou", title = "Denotational Semantics of {ANSI C}", journal = "Computer Standards and Interfaces", issn = "0920-5489", impact = "2002: 0.362, 2003: 0.523, 2004: 0.316", year = 2001, volume = 23, number = 3, pages = "169--185", month = jul, doi = "10.1016/S0920-5489(01)00059-9", urlpdf = PUB # "papaspyrou-2001-dsac" # PDF, language = en, abstract = "The semantics of C is described in the ANSI/ISO standard using natural language. This paper contains a brief summary, more descriptive than technical, of our research in specifying a complete and accurate formal semantics for ANSI C. We follow the denotational approach and divide the specification in three distinct phases: static, typing and dynamic semantics. Moreover, we have developed a direct implementation of the semantics, using the programming language Haskell. We argue that our formal specification results in a better understanding of the semantics of ANSI C and comment on its readability, precision, abstraction and applications.", keywords = "ANSI C programming language, ISO/IEC 9899:1999 standard, formal definition, denotational semantics, monads", bibcategory = "journal", bibfiles = "personal", bibwhere = "personal" } %ok @InCollection{retalis-2001-dnes-gr, reflanguage = gr, author = "Συμεών Ρετάλης and Πάρης Αυγερίου and Νικόλαος Παπασπύρου", title = "Σχεδίαση Διαδικτυακού Εκπαιδευτικού Λογισμικού", booktitle = "Απόψεις και Προβληματισμοί για την Ανοικτή και Εξ Αποστάσεως Εκπαίδευση", isbn = "960-7860-20-9", pages = "153--187", publisher = "Εκδόσεις Προπομπός", year = 2001, editor = "Α. Λιοναράκης", urlpdf = PUB # "retalis-2001-dnes" # PDF, language = gr, abstract = "Σύγχρονη τάση στην κατασκευή διδακτικών συστημάτων είναι η χρήση των προηγμένων μαθησιακών τεχνολογιών και ειδικότερα του Διαδικτύου και του Παγκόσμιου Ιστού. Στην αναπτυξιακή προσπάθεια των διδακτικών αυτών συστημάτων δίνεται έμφαση στην ανάπτυξη διαδικτυακού εκπαιδευτικού λογισμικού (ΔΕΛ). Η ανάπτυξη όμως αυτή γίνεται συνήθως με άναρχο τρόπο και ως εκ τούτου με περιορισμένη αποτελεσματικότητα, καθώς ελάχιστες είναι οι μεθοδολογίες που εξειδικεύονται στη συστηματική ανάπτυξη διδακτικών συστημάτων και ΔΕΛ. Μία τέτοια μεθοδολογία που έχει προταθεί από τους συγγραφείς της παρούσας εργασίας είναι η CADMOS, κύρια συστατικά της οποίας είναι μοντέλα διαδικασιών, μέθοδοι, εργαλεία, πρότυπα και έγγραφα τεκμηρίωσης. Για τη διαδικασία σχεδίασης ΔΕΛ, η μεθοδολογία αυτή χρησιμοποιεί την πρότυπη μέθοδο CADMOS-D που υποστηρίζεται από το εργαλείο CRITON. Η περιγραφή των δυο αυτών συστατικών της CADMOS αποτελεί το κύριο αντικείμενο της παρούσας εργασίας. Το εργαλείο CRITON είναι το πρώτο εργαλείο CASE που εξειδικεύεται στη σχεδίαση ΔΕΛ και αντιπαραβάλλεται εν συντομία με εργαλεία σχεδίασης υπερμεσικών εφαρμογών γενικού σκοπού.", bibcategory = "collection", bibfiles = "personal", bibwhere = "personal" } %ok @InProceedings{papaspyrou-2001-deacbos, author = "Nikolaos S. Papaspyrou and Ioannis P. Panagopoulos and Stergios Stergiou and George Papakonstantinou", title = "Developing Embedded Applications for a Component-Based Operating System", booktitle = "Proceedings of the 4th Multiconference, Information Society (IS 2001), Development and Reengineering of Information Systems", pages = "383--387", year = 2001, address = "Ljubljana, Slovenia", month = oct # "\ndays{22-26}", urlpdf = PUB # "papaspyrou-2001-deacbos" # PDF, language = en, abstract = "Continuing advances in system software and hardware components have allowed the building of embedded systems for an increasing variety of applications. However, from the programmer's point of view, building such systems efficiently presents a number of challenges. The customization of an operating system to support an embedded application has been proposed as a way to reduce the sofware cost. Recent research moves in the direction of designing an operating system in such a way that it can be tailored to the needs of specific applications with small programming effort. In this paper we exemplify this approach using a custom-made operating system called EMPIX, decomposed into very small components. Given an embedded application, the components that are necessary to support the application are automatically combined. This process is controlled by a meta-interface language, which allows the programmer to inform EMPIX of the application's requirements and to direct the components of EMPIX to obtain better performance.", bibcategory = "conference", bibfiles = "personal", bibwhere = "personal" } %ok @InProceedings{papaspyrou-2001-fsuiupcfg, author = "Nikolaos S. Papaspyrou", title = "Formal Specification of the User Interface by Using Parametric Context-Free Grammars", booktitle = "Advances in Human-Computer Interaction I, Proceedings of the Panhellenic Conference with International Participation on Human-Computer Interaction (PC-HCI 2001)", isbn = "960-7620-18-6", pages = "71--76", year = 2001, editor = "N. Avouris and N. Fakotakis", address = "Patras, Greece", month = dec # "\ndays{7-9}", publisher = "Typorama", urlpdf = PUB # "papaspyrou-2001-fsuiupcfg" # PDF, language = en, abstract = "Despite the significant progress and the emergence of proficient tools that have been witnessed recently, the development of user interfaces remains a hard task in the software development process. The use of formal methods for the specification of user interfaces has been proposed as an aid in this task and various formal models have been considered. Grammars were one of the earliest models that were proposed. Several drawbacks hinder the application of ordinary context-free grammars in practice and have led to the adoption of more complex variations. A relatively simple family of grammars, termed ``parametric context-free grammars'', is proposed in this paper for the formal specification of the user interface, in comparison to ordinary context-free grammars. The proposed grammars can describe interface languages with context-sensitive features, which are typical in user interfaces. Their main advantages lie in their simplicity and ability to produce shorter and more understandable specifications.", bibcategory = "conference", bibfiles = "personal", bibwhere = "personal" } %ok @InProceedings{papaspyrou-2001-rmtasc, author = "Nikolaos S. Papaspyrou", title = "A Resumption Monad Transformer and its Applications in the Semantics of Concurrency", booktitle = "Proceedings of the 3rd Panhellenic Logic Symposium", year = 2001, address = "Anogia, Greece", month = jul # "\ndays{17-22}", urlpdf = PUB # "papaspyrou-2001-rmtasc" # PDF, language = en, abstract = "Resumptions are a valuable tool in the analysis and design of semantic models for concurrent programming languages, in which computations consist of sequences of atomic steps that may be interleaved. In this paper we consider a general notion of resumption, parameterized by the kind of computations that take place in the atomic steps. We define a monad transformer which, given a monad M that represents the atomic computations, constructs a monad R(M) for interleaved computations. Moreover, we use this monad transformer to define the denotational semantics of a simple imperative language supporting non-determinism and concurrency.", bibcategory = "conference", bibfiles = "personal", bibwhere = "personal" } %ok @TechReport{shao-2001-tscb-tr, author = "Zhong Shao and Bratin Saha and Valery Trifonov and Nikolaos Papaspyrou", title = "A Type System for Certified Binaries", institution = "Yale University, Department of Computer Science", year = 2000, number = "YALEU/DCS/TR-1211", month = mar, language = en, urlpdf = PUB # "shao-2001-tscb-tr" # PDF, note = "Revised in September 2001", bibcategory = "report", bibfiles = "personal", bibwhere = "personal" } %ok @TechReport{papaspyrou-2001-rmtasc-tr, author = "Nikolaos S. Papaspyrou", title = "A Resumption Monad Transformer and its Applications in the Semantics of Concurrency", institution = "National Technical University of Athens, Department of Electrical and Computer Engineering, Software Engineering Laboratory", year = 2001, number = "CSD-SW-TR-2-01", language = gr, urlpdf = PUB # "papaspyrou-2001-rmtasc-tr" # PDF, bibcategory = "report", bibfiles = "personal", bibwhere = "personal" } %%% 2000 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %ok @Article{papaspyrou-2000-seosese, author = "Nikolaos S. Papaspyrou and Dragan Ma{\'{c}}o{\v{s}}", title = "A Study of Evaluation Order Semantics in Expressions with Side Effects", journal = "Journal of Functional Programming", issn = "0956-7968", impact = "2003: 1.048, 2004: 1.045", year = 2000, volume = 10, number = 3, pages = "120--133", month = may, abstract = "The presence of side effects in even a very simple language of expressions gives rise to a number of semantic questions. The issue of evaluation order becomes a crucial one and, unless a specific order is enforced, the language becomes non-deterministic. In this paper we study the denotational semantics of such a language under a variety of possible evaluation strategies, from simpler to more complex, concluding with unspecified evaluation order, unspecified order of side effects and the mechanism of sequence points that is particular to the ANSI C programming language. In doing so, we adopt a dialect of Haskell as a metalanguage, instead of mathematical notation, and use monads and monad transformers to improve modularity. In this way, only small modifications are required for each transition. The result is a better understanding of different evaluation strategies and a unified way of specifying their semantics. Furthermore, a significant step is achieved towards a complete and accurate semantics for ANSI C.", keywords = "Expressions, side effects, denotational semantics, evaluation order, monads, monad transformers, Haskell, ANSI C", language = en, doi = "10.1017/S095679680000366X", urlpdf = PUB # "papaspyrou-2000-seosese" # PDF, bibcategory = "journal", bibfiles = "personal", bibwhere = "personal" } %ok @InCollection{drositis-2000-salpmfsdma, author = "Ioannis Drositis and Nectarios Koziris and Nikolaos Papaspyrou and Panayotis Tsanakas", title = "A Systolic Approach to Loop Partitioning and Mapping into Fixed Size Distributed Memory Architectures", booktitle = "Advances in Informatics", pages = "83--96", publisher = "World Scientific", address = "Singapore", isbn = "981-02-4192-5", year = 2000, editor = "D. I. Fotiadis and S. D. Nikolopoulos", abstract = "This paper presents a new method for the problem of mapping of nested FOR-loops with uniform dependencies, into mesh-connected parallel architectures. This method is based on loop mapping for systolic arrays. The virtual array of cells is derived from the index space by applying a linear transformation. This array is divided (cut) into a fixed number of clusters, equal to the number of available real processors. The basic idea of our method is that the cutting is performed along properly selected boundary directions, so as to minimize inter-cluster communication and equilibrate the number of virtual cells for every cluster. Each cluster is then assigned to a different processor, which performs in a roughly independent manner, as the communication requirements are not minimized. This mapping cuts down overall communication delays, while using a fixed number of processors from a $(n-1)$-dimensional mesh-connected distributed architecture.", keywords = "Loop partitioning, loop mapping, hyperplane method, virtual array of processors, space cuts, distributed architectures", language = en, urlpdf = PUB # "drositis-2000-salpmfsdma" # PDF, bibcategory = "collection", bibfiles = "personal", bibwhere = "personal" } %ok @InCollection{papaspyrou-2000-fdplupcfg, author = "Nikolaos S. Papaspyrou and Vassilios C. Vescoukis", title = "Facilitating the Definition of Programming Languages by Using Parametric Context-Free Grammars", booktitle = "Advances in Informatics", pages = "260--272", publisher = "World Scientific", address = "Singapore", isbn = "981-02-4192-5", year = 2000, editor = "D. I. Fotiadis and S. D. Nikolopoulos", abstract = "In this paper we propose the use of a new kind of grammars, which we call parametric context-free grammars (PCFG) for the formal definition of programming languages. It combines the simplicity of ordinary context- free grammars with expressive power and context sensitivity that is encountered in significantly more complex formal models. As an example, we consider a small programming language and present a simple and elegant formal definition of its syntax and semantics. The language is based on the principles of Reynolds' Idealized Algol and combines a number of orthogonal features, introduced one at a time. Compared to related literature, our approach differs in providing: (i) a rigid mathematical model for the definition of syntax, emphasizing orthogonality; and (ii) a methodology for systematically augmenting the semantic definition of programming languages, by adding orthogonal features in a modular and elegant way. ", language = en, urlpdf = PUB # "papaspyrou-2000-fdplupcfg" # PDF, bibcategory = "collection", bibfiles = "personal", bibwhere = "personal" } %ok @InProceedings{koutsikas-2000-tcdihssbs, author = "Christos Koutsikas and Dimitrios Staikos and Konstantinos Bitsakos and Nikolaos Papaspyrou and Nikolaos Malevris", title = "Testing a Communications Driver for the IEEE 1394 High Speed Serial Bus Standard", booktitle = "Proceedings of the 1st International Conference on Practical Software Testing Techniques (PSTT 2000)", pages = "1--12", year = 2000, address = "Minneapolis, USA", month = sep # "\ndays{20}", urlpdf = PUB # "koutsikas-2000-tcdihssbs" # PDF, language = en, abstract = "Software testing is a difficult and tedious task. For a network driver, software testing is still more laborious. The main reason for this is that a communications driver does not act as a stand-alone application used by an end user. A communications driver acts as a part of the operating system kernel and is used by other operating system components and/or applications through a general purpose Application Programming Interface (API). This paper discusses the experience that has been gained by testing a communications driver that provided a general purpose API to both kernel and user mode components. The driver was implemented on the Windows NT 4.0 and Windows 98 operating systems, and its underlying medium was an IEEE 1394 network.", bibcategory = "conference", bibfiles = "personal", bibwhere = "personal" } %ok @InProceedings{avgeriou-2000-lomwble, author = "Paris Avgeriou and Anastasios Koutoumanos and Symeon Retalis and Nikolaos Papaspyrou", title = "Learning Object Metadata in a Web-Based Learning Environment", booktitle = "Proceedings of Technology in Teaching and Learning in Higher Education: An International Conference", pages = "241--246", year = 2000, address = "Samos, Greece", month = aug # "\ndays{25-27}", urlpdf = PUB # "avgeriou-2000-lomwble" # PDF, language = en, abstract = "The plethora and variance of learning resources embedded in modern web-based learning environments require a mechanism to enable their structured administration. This goal can be achieved by defining metadata on them and constructing a system that manages the metadata in the context of the learning environment. Both activities have to meet certain standards.", bibcategory = "conference", bibfiles = "personal", bibwhere = "personal" } %ok @InProceedings{todoran-2000-cplp, author = "Eneia Todoran and Nikolaos S. Papaspyrou", title = "Continuations for Parallel Logic Programming", booktitle = "Proceedings of the 2nd ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP '00)", isbn = "1-58113-265-4", acceptance = "26 of 65", pages = "257--267", year = 2000, address = "Montr\'{e}al, Canada", month = sep # "\ndays{20-23}", doi = "10.1145/351268.351297", urlpdf = PUB # "todoran-2000-cplp" # PDF, language = en, abstract = "This paper gives denotational models for three logic programming languages of progressive complexity, adopting the ``logic programming without logic'' approach. The first language is the control flow kernel of sequential Prolog, featuring sequential composition and backtracking. A committed-choice concurrent logic language with parallel composition (parallel AND) and don't care nondeterminism is studied next. The third language is the core of Warren's basic Andorra model, combining parallel composition and don't care nondeterminism with two forms of don't know nondeterminism (interpreted as sequential and parallel OR) and favoring deterministic over nondeterministic computation. We show that continuations are a valuable tool in the analysis and design of semantic models for both sequential and parallel logic programming. Instead of using mathematical notation, we use the functional programming language Haskell as a metalanguage for our denotational semantics, and employ monads in order to facilitate the transition from one language under study to another.", keywords = "Parallel logic programming, basic Andorra model, denotational semantics, continuations, monads, Haskell", bibcategory = "conference", bibfiles = "personal", bibwhere = "personal" } %ok @TechReport{papaspyrou-2000-gcti-tr, reflanguage = en, author = "Nikolaos S. Papaspyrou and Ioannis T. Kassios", title = "{GLU${}^{\natural}$/C++}: Theory and Implementation", institution = "National Technical University of Athens, Department of Electrical and Computer Engineering, Software Engineering Laboratory", year = 2000, number = "CSD-SW-TR-1-00", language = gr, urlpdf = PUB # "papaspyrou-2000-gcti-tr" # PDF, bibcategory = "report", bibfiles = "personal", bibwhere = "personal" } %ok @TechReport{papaspyrou-2000-gcti-tr-gr, reflanguage = gr, author = "Νικόλαος Σ. Παπασπύρου and Ιωάννης Τ. Κασσιός", title = "{GLU${}^{\natural}$/C++}: Θεωρία και Υλοποίηση", institution = "Εθνικό Μετσόβιο Πολυτεχνείο, Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών, Εργαστήριο Τεχνολογίας Λογισμικού", year = 2000, number = "CSD-SW-TR-1-00", language = gr, urlpdf = PUB # "papaspyrou-2000-gcti-tr" # PDF, bibcategory = "report", bibfiles = "personal", bibwhere = "personal" } %%% 1999 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %ok @Article{papaspyrou-1999-wbtse, author = "Nikolaos Papaspyrou and Symeon Retalis and Sofoklis Efremidis and Gerasimos Barlas and Emmanuel Skordalakis", title = "Web-based Teaching in Software Engineering", journal = "Advances in Engineering Software", issn = "0965-9978", impact = "2002: 0.250, 2003: 0.325, 2004: 0.371", year = 1999, volume = 30, number = 12, pages = "901--906", month = dec, abstract = "The introduction of the new technologies of computer networks and hypermedia systems in education seems promising. However, only through experimentation can the effectiveness of these technologies be demonstrated. This was the main objective of the EONT project, in the process of which the National Technical University of Athens adapted an introductory course in Software Engineering to a novel enriched instructional delivery mode. The existing course material was supplemented by web-based courseware, integrated into a web-based novel networked learning environment. In this paper we report on the results of our research and development, concerning this particular course, and discuss the results that were obtained from our evaluation study.", keywords = "Software engineering, web-based courseware, enriched instructional delivery mode, novel learning environment", language = en, doi = "10.1016/S0965-9978(99)00016-2", urlpdf = PUB # "papaspyrou-1999-wbtse" # PDF, bibcategory = "journal", bibfiles = "personal", bibwhere = "personal" } %ok @Article{papaspyrou-1999-mcacbedf, author = "Nikolaos S. Papaspyrou and Cleo E. Sgouropoulou and Emmanuel S. Skordalakis", title = "A Model of Collaborating Agents for Content-Based Electronic Document Filtering", journal = "Journal of Intelligent and Robotic Systems", issn = "0921-0296", impact = "2002: 0.130, 2003: 0.299, 2004: 0.254", year = 1999, volume = 26, number = 2, pages = "199--213", month = oct, abstract = "Electronic multimedia documents forces a lot of people to consume a significant percentage of their time looking for documents that contain information useful to them. The filtering of electronic documents seems hard to automate, partly because of document heterogeneity, but mainly because it is difficult to train computers to have an understanding of the contents of these documents and make decisions based on user-subjective criteria. In this paper, we suggest a model for the automation of content- based electronic document filtering, supporting multimedia documents in a wide variety of forms. The model is based on multi-agent technology and utilizes an adaptive knowledge base organized as a set of logical rules. Implementations of the model using the client-server architecture should be able to efficiently access documents distributed over an intranet or the Internet.", keywords = "Electronic documents, multimedia, content-based filtering, office automation, multi-agent model, intelligent software agents", language = en, doi = "10.1023/A:1008155903288", urlpdf = PUB # "papaspyrou-1999-mcacbedf" # PDF, bibcategory = "journal", bibfiles = "personal", bibwhere = "personal" } %ok @InCollection{papaspyrou-1999-mdpl, author = "Nikolaos S. Papaspyrou", title = "A Methodology for the Definition of Programming Languages", booktitle = "Software and Hardware Engineering for the 21st Century", isbn = "960-8052-06-8", editor = "N. Mastorakis", publisher = "World Scientific and Engineering Society Press", year = 1999, month = jul, pages = "67--78", abstract = "The formal definition of a programming language is a valuable tool for the study, design, evaluation and even for the implementation of the language. A methodology for developing formal definitions of programming languages is proposed in this paper. We follow the denotational approach and use monads, in order to improve the modularity and elegance of the result. The definition of semantics is divided in three distinct consecutive phases: static, typing and dynamic semantics, each using the results of the previous two. Emphasis has been given on the straightforward translation of the developed definitions into abstract interpreters, in order to obtain verifiably correct prototype implementations for the studied languages. The methodology is described through a complete example, defining a small imperative programming language. Its use for the definition of ANSI C has resulted in considerable success.", keywords = "Programming languages, formal definition, denotational semantics, monads", language = en, urlpdf = PUB # "papaspyrou-1999-mdpl" # PDF, bibcategory = "collection", bibfiles = "personal", bibwhere = "personal" } %ok @InCollection{papaspyrou-1999-mamcbedf, author = "Nikolaos S. Papaspyrou and Cleo E. Sgouropoulou and Alexandros V. Gerbessiotis and Panos Livadas and Emmanuel Skordalakis", title = "A Multi-Agent Model for Content-Based Electronic Document Filtering", booktitle = "Advances in Intelligent Systems: Concepts, Tools and Applications", isbn = "0-7923-5966-6", editor = "S. G. Tzafestas", publisher = "Kluwer Academic Publishers", address = "Dordrecht", month = nov, year = 1999, pages = "75--86", language = en, urlpdf = PUB # "papaspyrou-1999-mamcbedf" # PDF, bibcategory = "collection", bibfiles = "personal", bibwhere = "personal" } %ok @InCollection{papaspyrou-1999-cssdsc, author = "Nikolaos S. Papaspyrou", title = "A Case Study in Specifying the Denotational Semantics of {C}", booktitle = "Advances in Intelligent Systems: Concepts, Tools and Applications", isbn = "0-7923-5966-6", editor = "S. G. Tzafestas", publisher = "Kluwer Academic Publishers", address = "Dordrecht", month = nov, year = 1999, pages = "63--74", language = en, urlpdf = PUB # "papaspyrou-1999-cssdsc" # PDF, bibcategory = "collection", bibfiles = "personal", bibwhere = "personal" } %ok @InProceedings{retalis-1999-nbcdmctc-gr, reflanguage = gr, author = "Συμεών Ρετάλης and Πάρης Αυγερίου and Νικόλαος Παπασπύρου", title = "Σχεδίαση Διαδικτυακού Εκπαιδευτικού Λογισμικού: Η Μέθοδος {CADMOS-D} και το Εργαλείο {CRITON}", booktitle = "Πρακτικά Συνεδρίου με θέμα: Ανοικτή και Εξ Αποστάσεως Εκπαίδευση και Περιφερειακή Ανάπτυξη", isbn = "960-8583-0-6", year = 1999, address = "Ηγουμενίτσα", month = dec # "\ndays{13-14}", urlpdf = PUB # "retalis-1999-nbcdmctc" # PDF, language = gr, abstract = "H χρήση των προηγμένων μαθησιακών τεχνολογιών και ειδικότερα του διαδικτύου (Internet) και του παγκόσμιου ιστού (WWW) αποτελεί σύγχρονη τάση στην κατασκευή διδακτικών συστημάτων. Ελάχιστες όμως είναι οι μεθοδολογίες που εξειδικεύονται στην ανάπτυξη διδακτικών συστημάτων και διαδικτυακού εκπαιδευτικού λογισμικού. Μία από αυτές είναι η CADMOS που αποτελείται από μοντέλα διαδικασιών, μεθόδους, εργαλεία, πρότυπα και έγγραφα τεκμηρίωσης. Στην εργασία αυτή περιγράφεται η μέθοδος σχεδίασης ΔΕΛ CADMOS-D, που χρησιμοποιείται στο πλαίσιο της μεθοδολογίας CADMOS, και το εργαλείο CRITON. Το εργαλείο αυτό είναι το πρώτο που εξειδικεύεται στη σχεδίαση ΔΕΛ και στην εργασία αυτή αντιπαραβάλλεται εν συντομία με εργαλεία σχεδίασης υπερμεσικών εφαρμογών γενικού σκοπού.", keywords = "Νέες μαθησιακές τεχνολογίες, δικτυακό εκπαιδευτικό λογισμικό, σχεδίαση λογισμικού, εργαλεία CASE", bibcategory = "conference", bibfiles = "personal", bibwhere = "personal" } %ok @InProceedings{papaspyrou-1999-fdplupcfg, author = "Nikolaos S. Papaspyrou and Vassilios C. Vescoukis", title = "Facilitating the Definition of Programming Languages by Using Parametric Context-Free Grammars", booktitle = "Proceedings of the 7th Hellenic Conference on Informatics", address = "Ioannina, Greece", year = 1999, volume = "II", pages = "91--98", month = aug, abstract = "In this paper we propose the use of a new kind of grammars, which we call parametric context-free grammars (PCFG) for the formal definition of programming languages. It combines the simplicity of ordinary context- free grammars with expressive power and context sensitivity that is encountered in significantly more complex formal models. As an example, we consider a small programming language and present a simple and elegant formal definition of its syntax and semantics. The language is based on the principles of Reynolds' Idealized Algol and combines a number of orthogonal features, introduced one at a time. Compared to related literature, our approach differs in providing: (i) a rigid mathematical model for the definition of syntax, emphasizing orthogonality; and (ii) a methodology for systematically augmenting the semantic definition of programming languages, by adding orthogonal features in a modular and elegant way. ", language = en, urlpdf = PUB # "papaspyrou-1999-fdplupcfg" # PDF, bibcategory = "conference", bibfiles = "personal", bibwhere = "personal" } %%% 1998 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %ok @PhdThesis{papaspyrou-1998-fscpl, reflanguage = en, author = "Nikolaos S. Papaspyrou", title = "A formal semantics for the {C} programming language", school = "National Technical University of Athens, Department of Electrical and Computer Engineering, Division of Computer Science", supervisor = "Manolis Skordalakis", year = 1998, month = feb, language = en, urlpdf = PUB # "thesis" # PDF, bibcategory = "thesis", bibfiles = "personal", bibwhere = "personal" } %ok @PhdThesis{papaspyrou-1998-fscpl-gr, reflanguage = gr, author = "Νικόλαος Σ. {Παπασπύρου}", title = "Τυπική Σημασιολογία της Γλώσσας Προγραμματισμού {C}", school = "Εθνικό Μετσόβιο Πολυτεχνείο, Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών, Τομέας Πληροφορικής", supervisor = "Μανόλης Σκορδαλάκης", year = 1998, month = feb, language = gr, urlpdf = PUB # "thesis-gr" # PDF, bibcategory = "thesis", bibfiles = "personal", bibwhere = "personal" } %ok, no impact @Article{retalis-1998-csecmbwww, author = "Symeon Retalis and Vassilis Makrakis and Nikos Papaspyrou and Manolis Skordalakis", title = "A Case Study of an Enriched Classroom Model Based on the World Wide Web", journal = "Active Learning", issn = "1357-1125", year = 1998, number = 8, pages = "15--19", month = jul, language = en, abstract = "An enriched classroom model based on the World Wide Web (WWW) was developed at the Software Engineering Laboratory of the National Technical University of Athens as part of a European partnership project entitled An Experiment in Open and Distance Learning using New Technologies (EONT). The purpose of the EONT project was to evaluate the effectiveness of the use of new technologies (specifically the Internet and the WWW) as a supplementary instruction delivery mode for overcoming the constraints in time and place imposed by conventional classroom based teaching. The enriched classroom model developed is described in this paper, as well as the methodology that was followed for its evaluation. The results of the qualitative analysis are also presented along with the lessons learned and the revisions made to the model as a result of this evaluation.", urlpdf = PUB # "retalis-1998-csecmbwww" # PDF, bibcategory = "journal", bibfiles = "personal", bibwhere = "personal" } %ok @Article{makrakis-1998-eeohscntuacs, author = "Vassilis Makrakis and Symeon Retalis and Anastasios Koutoumanos and Nikos Papaspyrou and Manolis Skordalakis", title = "Evaluating the Effectiveness of an {ODL} Hypermedia System and Courseware at the {N}ational {T}echnical {U}niversity of {A}thens: A Case Study", journal = "Journal of Universal Computer Science", issn = "0948-69X", impact = "2004: 0.456", year = 1998, volume = 4, number = 3, pages = "259--272", month = mar, abstract = "The main purpose of this paper is to test a conceptual framework for the evaluation of the effectiveness of an open and distance learning (ODL) hypermedia system (EONT- ODL system) and courseware developed and trial used at the National Technical University of Athens (NTUA), Greece, within the EONT project. EONT is a partnership project between seven universities from seven European Union countries within the Socrates Framework Program. In this paper we deal with data elicited from the NTUA, since it was the only partner institution which provided adequate data for quantitative analysis. The evaluation framework is based on the assumption that ODL hypermedia systems are complex systems with a variety of organisational, administrative, instructional, and technological components. It has been hypothesized that the effectiveness of the EONT-ODL system would be influenced by a number of independent variables such as: design and presentation of the courseware; previous experience; time spent on working through the courseware; preference of mode of study; learning styles; interactions with peers, instructors and means of communication. In this evaluation research, two instruments integrated into one questionnaire for data collection were developed: the first was based on a number of standardized questions, reflecting the previously stated theoretical framework and the second on a number of open- ended questions, reflecting, likes and dislikes, added value, problems identified, suggestions etc. The regression analysis indicates that the 'design and presentation of instructional material' alone explained almost 28\% of the EONT-ODL system's effectiveness ($R^{2}adj = 278$). The preferred 'mode of study' entered second by adding 11\% ($R^{2}ch = 113$) of the effectiveness variance and finally students interactions with the instructor increased the effectiveness explained variance to 48\%, a quite high percentage accounted for three significant predictors alone. All the other predictors, that is, previous experience with computers, time spent working with the EONT-ODL courseware, student learning styles, and interactions among students and communication means (e-mail and computer conferencing) did not significantly contribute to the prediction of the effectiveness measure. These quantitative results are complemented by the qualitative conclusions.", keywords = "Evaluation, open and distance learning systems, hypermedia courseware", language = en, url = "http://www.jucs.org/jucs_4_3/" # "evaluating_the_effectiveness_of", urlpdf = PUB # "makrakis-1998-eeohscntuacs" # PDF, bibcategory = "journal", bibfiles = "personal", bibwhere = "personal" } %ok @InCollection{papaspyrou-1998-dseoese, author = "Nikolaos S. Papaspyrou", title = "Denotational Semantics of Evaluation Order in Expressions with Side Effects", booktitle = "Recent Advances in Information Science and Technology", isbn = "981-02-3657-3", editor = "N. Mastorakis", publisher = "World Scientific", address = "Singapore", year = 1998, pages = "87--94", abstract = "The presence of side effects in even a very simple language of expressions gives rise to a number of semantic questions. The issue of evaluation order becomes a crucial one and, unless a strict order is enforced, the language becomes non-deterministic. In this paper we study the semantics of such a language under a variety of possible evaluation strategies, from simpler to more complex, concluding with unspecified evaluation order, unspecified order of side effects and the mechanism of sequence points that is particular to the ANSI C programming language. In doing so, we adopt the denotational semantics approach and use monads to improve modularity and to reduce the number of changes required for each transition. The result is a better understanding of different evaluation strategies, possibly leading to non-determinism in the presence of side effects, and a unified way of specifying their semantics. Furthermore, a significant step is achieved towards a correct denotational semantics for ANSI C.", language = en, urlpdf = PUB # "papaspyrou-1998-dseoese" # PDF, bibcategory = "collection", bibfiles = "personal", bibwhere = "personal" } %ok @InProceedings{papaspyrou-1998-oospg, author = "Nikolaos S. Papaspyrou and Aris N. Tsois and Emmanuel S. Skordalakis", title = "An Object-Oriented Simulation Program Generator", booktitle = "Proceedings of the International Workshop on Discrete Event Systems (WoDES~'98)", address = "Cagliari, Italy", year = 1998, pages = "42--47", month = aug # "\ndays{26-28}", abstract = "This paper traces the evolution of simulation support tools and outlines ARGUS, a discrete event simulation program generator that targets mainly the area of queueing systems. ARGUS supports three levels of operation, depending on the user's needs and programming expertise. The system to be simulated can be specified using an integrated graphical editor or a textual description language. Object-oriented concepts such as encapsulation, inheritance and polymorphism are employed in both the specification process and the generated simulation programs are written in C++. Throughout the paper, the main characteristics of ARGUS are summarized and its capabilities are briefly presented.", keywords = "Discrete event simulation, object-oriented simulation, simulation program generators, graphical editors, queueing systems", language = en, urlpdf = PUB # "papaspyrou-1998-oospg" # PDF, bibcategory = "conference", bibfiles = "personal", bibwhere = "personal" } %%% 1997 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %ok @InCollection{efremidis-1997-tsen, author = "Sofoklis Efremidis and Symeon Retalis and Nikolaos Papaspyrou and Emmanuel Skordalakis", title = "Teaching Software Engineering through the Net", booktitle = "Software Quality Engineering", isbn = "1-85312-403-6", editor = "C. Tasso and R. A. Adey and M. Pighin", publisher = "Computational Mechanics Publications", year = 1997, pages = "3--13", abstract = "The introduction of technology in education seems promising; this is especially so for the new technologies of computer networks and hypermedia systems. However, only through experimentation the effectiveness of these technologies can be demonstrated. There is an ongoing project for this purpose, entitled EONT, partially funded by the European Union within the framework of the Socrates program. Seven Universities participate in this project and each one prepares instructional material for an on-line course to be delivered with the use of new technologies. The National Technical University of Athens is preparing an introductory course in Software Engineering; in this paper we report on the work underway for this particular course.", language = en, urlpdf = PUB # "efremidis-1997-tsen" # PDF, bibcategory = "collection", bibfiles = "personal", bibwhere = "personal" } %ok @InProceedings{papaspyrou-1997-sstscfmd, reflanguage = en, author = "Nikolaos S. Papaspyrou", title = "A Static Semantics for the Type System of {C}: A Formal Mathematical Description", booktitle = "Proceedings of the 6th Panhellenic Conference in Computer Science", address = "Athens, Greece", year = 1997, pages = "691--700", language = gr, urlpdf = PUB # "papaspyrou-1997-sstscfmd" # PDF, bibcategory = "conference", bibfiles = "personal", bibwhere = "personal" } %ok @InProceedings{papaspyrou-1997-sstscfmd-gr, reflanguage = gr, author = "Νικόλαος Σ. Παπασπύρου", title = "Στατική Σημασιολογία του Συστήματος Τύπων της {C}: Μια Τυπική Μαθηματική Περιγραφή", booktitle = "Πεπραγμένα του 6ου Πανελλήνιου Συνέδριου Πληροφορικής", address = "Αθήνα", year = 1997, pages = "691--700", language = gr, urlpdf = PUB # "papaspyrou-1997-sstscfmd" # PDF, bibcategory = "conference", bibfiles = "personal", bibwhere = "personal" } %ok @InProceedings{papaspyrou-1997-mcbedfuia, reflanguage = en, author = "Nikolaos S. Papaspyrou and Cleo E. Sgouropoulou and Dimitrios N. Petroglou and Alexandros V. Gerbessiotis and Panos Livadas and Emmanuel S. Skordalakis", title = "A Model for Content-Based Electronic Document Filtering Using Intelligent Agents", booktitle = "Proceedings of the 6th Panhellenic Conference in Computer Science", address = "Athens, Greece", year = 1997, pages = "679--688", language = gr, urlpdf = PUB # "papaspyrou-1997-mcbedfuia" # PDF, bibcategory = "conference", bibfiles = "personal", bibwhere = "personal" } %ok @InProceedings{papaspyrou-1997-mcbedfuia-gr, reflanguage = gr, author = "Νικόλαος Σ. Παπασπύρου and Κλειώ Η. Σγουροπούλου and Δημήτριος Ν. Πέτρογλου and Αλέξανδρος Β. Γκερμπεσιώτης and Πάνος Λιβαδάς and Εμμανουήλ Σ. Σκορδαλάκης", title = "Ένα Μοντέλο για τη Διαλογή Ηλεκτρονικών Εγγράφων Βάσει Περιεχομένου με Χρήση Ευφυών Πρακτόρων", booktitle = "Πεπραγμένα του 6ου Πανελλήνιου Συνέδριου Πληροφορικής", address = "Αθήνα", year = 1997, pages = "679--688", language = gr, urlpdf = PUB # "papaspyrou-1997-mcbedfuia" # PDF, bibcategory = "conference", bibfiles = "personal", bibwhere = "personal" } %ok @InProceedings{koutoumanos-1997-dlabdp, author = "Anastasios Koutoumanos and Nikolaos Papaspyrou and Symeon Retalis and Cleo Sgouropoulou and Ioannis Sgourovassilakis and Emmanuel Skordalakis", title = "Distance Learning Applications in Banking: The {D-LAB} project", booktitle = "Proceedings of the 2nd European Conference in Higher " # "Education Information Systems (EUNIS '97)", address = "Grenoble, France", year = 1997, month = sep # "\ndays{9-11}", abstract = "A project with the title ``D-LAB: Distance Learning Applications in Banking'' is underway in Greece, aiming at the design, implementation, evaluation and experimental use of a modern distance training system for delivering on-the-job training to bank employees. The project's primary contractor is the Union of Greek Banks. A team from the National Technical University of Athens takes part as a technology expertise provider. Three Greek banks also participate in the consortium. For the purpose of this project, a distance training system must be developed and the NTUA team has proposed three alternative solutions. The third solution, which is investigated in this paper, is a Distributed Distance Training System (DDTS) based on the new technologies, namely computer networks and networked hypermedia systems, and current pedagogical trends. DDTS is expected to cover the training needs of the banks participating in the project's consortium. A brief account of the project D-LAB, the requirements and the design of DDTS are presented in this paper.", language = en, urlpdf = PUB # "koutoumanos-1997-dlabdp" # PDF, bibcategory = "conference", bibfiles = "personal", bibwhere = "personal" } %ok @InProceedings{papaspyrou-1997-mmcce, reflanguage = en, author = "Nikolaos Papaspyrou and Symeon Retalis and Anastasios Koutoumanos and Emmanuel Giakoumakis and Emmanuel Skordalakis", title = "A Model for Multimedia Courseware Cost Estimation", booktitle = "Proceedings of the 3rd Panhellenic Conference with International Participation on the Didactics of Mathematics and Informatics in Education", address = "Patra, Greece", year = 1997, pages = "417--436", language = gr, urlpdf = PUB # "papaspyrou-1997-mmcce" # PDF, bibcategory = "conference", bibfiles = "personal", bibwhere = "personal" } %ok @InProceedings{papaspyrou-1997-mmcce-gr, reflanguage = gr, author = "Νικόλαος Παπασπύρου and Συμεών Ρετάλης and Αναστάσιος Κουτουμάνος and Εμμανουήλ Γιακουμάκης and Εμμανουήλ Σκορδαλάκης", title = "Ένα Μοντέλο Κοστολόγησης Πολύμεσου Εκπαιδευτικού Λογισμικού", booktitle = "Πεπραγμένα του 3ου Πανελληνίου Συνεδρίου με Διεθνή Συμμετοχή στη Διδακτική των Μαθηματικών και Πληροφορική στην Εκπαίδευση", address = "Πάτρα", year = 1997, pages = "417--436", language = gr, urlpdf = PUB # "papaspyrou-1997-mmcce" # PDF, abstract = "Η εξέλιξη της τεχνολογίας πληροφοριών, ιδιαίτερα η ανάπτυξη στους τομείς των δικτύων υπολογιστών και των συστημάτων υπερμέσων, ενισχύουν το ρόλο των υπολογιστών στη διδασκαλία και τη μάθηση. Πράγματι, ένα μεγάλο μέρος της διαδικασίας διδασκαλίας μπορεί να αυτοματοποιηθεί, καθώς και η διαδικασία μάθησης μπορεί να επωφεληθεί σημαντικά από τις νέες τεχνολογίες. Το αναγκαίο λογισμικό για το σκοπό αυτό ονομάζεται ``εκπαιδευτικό λογισμικό'' και η ανάπτυξή του είναι κάθε άλλο παρά εύκολη. Ένα από τα προβλήματα που σχετίζονται με την ανάπτυξη εκπαιδευτικού λογισμικού είναι η ακριβής κοστολόγησή του. Στην εργασία αυτή παρουσιάζουμε ένα νέο μοντέλο για την κοστολόγηση εκπαιδευτικού λογισμικού πολυμέσων, χρησιμοποιώντας έναν αλγοριθμικό μηχανισμό κοστολόγησης βασισμένο στη δομή κατάτμησης εργασίας μιας τυπικής εκπαιδευτικής εφαρμογής. Προτείνουμε τη ``σελίδα'', δηλ.\ μια πλήρη οθόνη εκπαιδευτικού υλικού, ως βασική μονάδα στο μετρικό μας σύστημα. ", keywords = "Εκπαιδευτικό λογισμικό, πολυμέσα, κοστολόγηση, αλγοριθμικό μοντέλο", bibcategory = "conference", bibfiles = "personal", bibwhere = "personal" } %ok @TechReport{retalis-1997-aedlumt-tr, reflanguage = en, author = "Symeon Retalis and Nikolaos Papaspyrou and Anastasios Koutoumanos", title = "An Automatization of the Exams for the Driving License Using Multimedia Technology", institution = "National Technical University of Athens, Department of Electrical and Computer Engineering, Software Engineering Laboratory", year = 1997, number = "CSD-SW-TR-5-97", language = gr, urlpdf = PUB # "retalis-1997-aedlumt-tr" # PDF, bibcategory = "report", bibfiles = "personal", bibwhere = "personal" } %ok @TechReport{retalis-1997-aedlumt-tr-gr, reflanguage = gr, author = "Συμεών Ρετάλης and Νικόλαος Παπασπύρου and Αναστάσιος Κουτουμάνος", title = "Αυτοματοποίηση της Εξέτασης Σημάτων του Κώδικα Οδικής Κυκλοφορίας με την Τεχνολογία των Πολυμέσων", institution = "Εθνικό Μετσόβιο Πολυτεχνείο, Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών, Εργαστήριο Τεχνολογίας Λογισμικού", year = 1997, number = "CSD-SW-TR-5-97", language = gr, urlpdf = PUB # "retalis-1997-aedlumt-tr" # PDF, bibcategory = "report", bibfiles = "personal", bibwhere = "personal" } %ok @TechReport{papaspyrou-1997-aftsc-tr, author = "Nikolaos S. Papaspyrou", title = "An Attempt to Formalize the Type System of {C}", institution = "National Technical University of Athens, Department of Electrical and Computer Engineering, Software Engineering Laboratory", year = 1997, number = "CSD-SW-TR-3-97", keywords = "Programming language semantics, denotational, type system, C", language = en, bibcategory = "report", bibfiles = "personal", bibwhere = "personal" } %ok @TechReport{efremidis-1997-ijpl-tr, reflanguage = en, author = "Sofoklis Efremidis and Antonios Kavarnos and Anastasios Koutoumanos and Vassilios Papadimos and Nikolaos Papaspyrou and Ioannis Patiniotakis and Cleo Sgouropoulou", title = "Introduction to the {J}ava programming language", institution = "National Technical University of Athens, Department of Electrical and Computer Engineering, Software Engineering Laboratory", year = 1997, number = "CSD-SW-TR-1-97", language = gr, urlpdf = PUB # "efremidis-1997-ijpl-tr" # PDF, bibcategory = "report", bibfiles = "personal", bibwhere = "personal" } %ok @TechReport{efremidis-1997-ijpl-tr-gr, reflanguage = gr, author = "Σοφοκλής Εφραιμίδης and Αντώνιος Καβαρνός and Αναστάσιος Κουτουμάνος and Βασίλειος Παπαδήμος and Νικόλαος Παπασπύρου and Ιωάννης Πατινιωτάκης and Κλειώ Σγουροπούλου", title = "Εισαγωγή στη Γλώσσα Προγραμματισμού {J}ava", institution = "Εθνικό Μετσόβιο Πολυτεχνείο, Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών, Εργαστήριο Τεχνολογίας Λογισμικού", year = 1997, number = "CSD-SW-TR-1-97", language = gr, urlpdf = PUB # "efremidis-1997-ijpl-tr" # PDF, bibcategory = "report", bibfiles = "personal", bibwhere = "personal" } %%% 1996 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %ok @Article{papaspyrou-1996-fpdsc, author = "Nikolaos S. Papaspyrou", title = "A Framework for Programming Denotational Semantics in {C++}", journal = "ACM SIGPLAN Notices", issn = "0362-1340", impact = "2002: 0.190, 2003: 0.246, 2004: 0.111", year = 1996, volume = 31, number = 8, pages = "16--25", month = aug, abstract = "In this paper, we describe how the denotational semantics of programming languages can be implemented in C++, by exploiting the object-oriented programming paradigm. Such implementations are execution models, extremely useful for the study of programming languages. Although C++ is not a natural choice for this problem domain, compared to functional programming languages such as ML, we suggest a type-safe framework, implemented in pure C++, that integrates functional characteristics such as high-order functions and is capable of naturally expressing denotational descriptions. Finally, by comparing our approach to possible implementations using functional languages, we investigate extensions to C++ that would be valuable in this problem domain.", keywords = "Programming language semantics, denotational, object-oriented programming, C++", language = en, doi = "10.1145/242903.242913", urlpdf = PUB # "papaspyrou-1996-fpdsc" # PDF, bibcategory = "journal", bibfiles = "personal", bibwhere = "personal" } %ok @InProceedings{koutoumanos-1996-tnnle, author = "Anastasios Koutoumanos and Nikolaos Papaspyrou and Simeon Retalis and Hermann Maurer and Emmanuel Skordalakis", title = "Towards a Novel Networked Learning Environment", booktitle = "Proceedings of the World Conference of the Web Society (WebNet 96)", address = "San Francisco, CA", year = 1996, pages = "267--272", month = oct # "\ndays{15-19}", abstract = "Education can benefit from the use of technology in the teaching process. This has been done in the past using various technologies. In recent years, computers, information systems, multimedia and hypertext systems have been used to develop self-learning environments (CAI, CAL, CBT systems). A drawback of these environments is the lack of interaction to the desired degree. With the use of new technologies like computer networks and networked hypermedia systems, new networked learning environments can be built that alleviate this problem. One such novel Networked Learning Environment is presented in this paper. Its most valuable components are the World Wide Web, the HYPER-G system and the Internet.", language = en, urlpdf = PUB # "koutoumanos-1996-tnnle" # PDF, bibcategory = "conference", bibfiles = "personal", bibwhere = "personal" } %ok @InProceedings{papaspyrou-1996-oeount, author = "Nikolaos Papaspyrou and Anastasios Koutoumanos and Hermann Maurer and Emmanuel Skordalakis", title = "An Ongoing Experiment in {ODL} Using New Technologies", booktitle = "Proceedings of the World Conference of the Web Society (WebNet 96)", address = "San Francisco, CA", year = 1996, pages = "390--395", month = oct # "\ndays{15-19}", abstract = "In this paper we present the ongoing project EONT: An Experiment in Open and Distance Learning (ODL) using New Technologies. This project is partly funded by the European Union, within the framework of the SOCRATES programme, and its main objective is to provide an answer to the question whether ODL using new technologies is effective. EONT will achieve its goals through experimentation. We will use an ODL environment based on some of the available new technologies (namely computer networks and networked hypermedia systems), one subject matter area and real learners. Two Distance Learning universities and five conventional universities from seven European countries will take part in this project.", language = en, urlpdf = PUB # "papaspyrou-1996-oeount" # PDF, bibcategory = "conference", bibfiles = "personal", bibwhere = "personal" } %ok @InProceedings{papaspyrou-1996-aoospg, author = "Nikolaos Papaspyrou and Aris Tsois", title = "{ARGUS}: An Object Oriented Simulation Program Generator", booktitle = "Proceedings of the Conference on Advanced Information " # "Systems Engineering (CAiSE*96) Doctoral Consortium", address = "Heraklion, Greece", pages = "42--45", year = 1996, abstract = "This paper presents the main ideas and preliminary results of the two authors' doctoral research, which is currently in a rather early stage. Up to this point, the work of the two authors is closely related and can be thought of as part of a project named ``ARGUS'', which is currently in progress at the Software Laboratory of the National Technical University of Athens. It is expected that the courses of the authors' research will divide in the future and that the results of this research will support two doctoral theses. The ARGUS project is funded by the NTUA and is directed towards research in the field of object-oriented simulation program generators. The research team consists of the two authors, who are currently Ph.D. candidates, and is supervised by professor Emmanuel Skordalakis.", language = en, urlpdf = PUB # "papaspyrou-1996-aoospg" # PDF, bibcategory = "conference", bibfiles = "personal", bibwhere = "personal" } %ok @InProceedings{vescoukis-1996-lbfrsse, author = "Vassilios C. Vescoukis and Nikolaos Papaspyrou and Emmanuel Skordalakis", title = "A Logic-Based Framework for Reasoning Support in Software Evolution", booktitle = "Proceedings of the Conference on Advanced Information Systems Engineering (CAiSE*96)", isbn = "3-540-61292-0", pages = "44--59", volume = 1080, series = "Lecture Notes in Computer Science", address = "Heraklion, Greece", year = 1996, abstract = "Software development has been acknowledged as a complicated problem-solving activity done in a complex, multi-dimensional space. People actively involved in software development need support in understanding and documenting not only the description of the software developed, but also the problem domain and the reasons behind decisions taken during evolution. Development methods do not provide such support, and researchers begin to explore the recording of reasoning in specific phases of software evolution. Several data models have been presented, aiming to support developers by maintaining a repository of deliberation elements of decisions taken during development; these models are usually supported by a special CASE tool that can be classified as a Software decision management system. Using experience gained in the development of large-scale applications in an industrial environment, and experimenting with prototype software design decision management systems, we introduce PROFILE, a conceptual logic-based meta-model that integrates software evolution process modelling with deliberation representation and decision factors. PROFILE enhances existing models by providing support throughout the whole software evolution, by capturing assumptions as real-world reasoning elements, and by maintaining a Knowledge Base of decision-making factors. A prototype Software Evolution Decision Support System based on an instance of PROFILE is also presented in this paper.", keywords = "Meta-models, decision-based software development, " # "logic-based models, knowledge-based software engineering, " # "conceptual modelling, reasoning, software evolution support", language = en, urlpdf = PUB # "vescoukis-1996-lbfrsse" # PDF, bibcategory = "conference", bibfiles = "personal", bibwhere = "personal" } %ok @TechReport{papaspyrou-1996-cemmbcd-tr, author = "Nikolaos Papaspyrou and Symeon Retalis and Anastasios Koutoumanos and Emmanuel Giakoumakis and Emmanuel Skordalakis", title = "A Cost Estimation Model for Multimedia-Based Courseware Development", institution = "National Technical University of Athens, Department of Electrical and Computer Engineering, Software Engineering Laboratory", year = 1996, number = "CSD-SW-TR-6-96", abstract = "New developments in information technology, like computer networks and hypermedia systems, enhance the role of computers in teaching and learning. Indeed, parts of the teaching process can be automated and the learning process can be helped substantially. The necessary software that accomplishes this goal is termed ``courseware'' and its development is not an easy task. One of the problems that are related to the development of courseware is that of accurate cost estimation. In this paper, we present a novel model for cost estimation in multimedia-based courseware development, using an algorithmic cost estimation mechanism based on the work breakdown structure of a typical courseware application. We suggest the ``page'', i.e. a screenful of educational material, as the basic unit in our size metric. Although our model has not been adequately tested yet, the first results are promising.", keywords = "Courseware, multimedia, cost estimation, algorithmic model", language = en, urlpdf = PUB # "papaspyrou-1996-cemmbcd-tr" # PDF, bibcategory = "report", bibfiles = "personal", bibwhere = "personal" } %ok @TechReport{papaspyrou-1996-fpdsc-tr, author = "Nikolaos S. Papaspyrou", title = "A Framework for Programming Denotational Semantics in {C++}", institution = "National Technical University of Athens, Department of Electrical and Computer Engineering, Software Engineering Laboratory", year = 1996, number = "CSD-SW-TR-5-96", month = jun, abstract = "In this paper, we describe how the denotational semantics of programming languages can be implemented in C++, by exploiting the object-oriented programming paradigm. Such implementations are execution models, extremely useful for the study of programming languages. Although C++ is not a natural choice for this problem domain, compared to functional programming languages such as ML, we suggest a type-safe framework implemented in pure C++, that integrates functional characteristics such as high-order functions and is capable of naturally expressing denotational descriptions. Finally, by comparing our approach to possible implementations using functional languages, we investigate extensions to C++ that would be valuable in this problem domain.", keywords = "Programming language semantics, denotational, object-oriented programming, C++", language = en, urlpdf = PUB # "papaspyrou-1996-fpdsc-tr" # PDF, bibcategory = "report", bibfiles = "personal", bibwhere = "personal" } %ok @TechReport{papaspyrou-1996-iwwwh-tr, reflanguage = en, author = "Nikolaos Papaspyrou", title = "Introduction to the World-Wide Web and {HTML}", institution = "National Technical University of Athens, Department of Electrical and Computer Engineering, Software Engineering Laboratory", year = 1996, number = "CSD-SW-TR-3-96", language = gr, urlpdf = PUB # "papaspyrou-1996-iwwwh-tr" # PDF, bibcategory = "report", bibfiles = "personal", bibwhere = "personal" } %ok @TechReport{papaspyrou-1996-iwwwh-tr-gr, reflanguage = gr, author = "Νικόλαος Παπασπύρου", title = "Εισαγωγή στο World-Wide-Web και την {HTML}", institution = "Εθνικό Μετσόβιο Πολυτεχνείο, Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών, Εργαστήριο Τεχνολογίας Λογισμικού", year = 1996, number = "CSD-SW-TR-3-96", language = gr, urlpdf = PUB # "papaspyrou-1996-iwwwh-tr" # PDF, bibcategory = "report", bibfiles = "personal", bibwhere = "personal" } %%% 1995 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %ok @MastersThesis{papaspyrou-1995-peppc, author = "Nikolaos S. Papaspyrou", title = "A Proof Editor for Propositional and Predicate Calculus", school = "Cornell University, Department of Computer Science", supervisor = "David Gries", year = 1995, month = jan, language = en, urlpdf = PUB # "msc-thesis" # PDF, bibcategory = "thesis", bibfiles = "personal", bibwhere = "personal" } %ok @InProceedings{koutoumanos-1995-edlss, reflanguage = en, author = "Anastasios Koutoumanos and Nikolaos Papaspyrou and Emmanuel Skordalakis", title = "The Experimental Distance Learning System {SL-DLS}", booktitle = "Proceedings of the Distance Learning Conference", organization = "Institute of Education", address = "Athens, Greece", year = 1995, language = gr, urlpdf = PUB # "koutoumanos-1995-edlss" # PDF, bibcategory = "conference", bibfiles = "personal", bibwhere = "personal" } %ok @InProceedings{koutoumanos-1995-edlss-gr, reflanguage = gr, author = "Αναστάσιος Κουτουμάνος and Νικόλαος Παπασπύρου and Εμμανουήλ Σκορδαλάκης", title = "Το Πειραματικό Σύστημα εξ Αποστάσεως Εκπαίδευσης {SL-DLS}", booktitle = "Πεπραγμένα του Συνεδρίου Εξ Αποστάσεως Εκπαίδευσης", organization = "Παιδαγωγικό Ινστιτούτο", address = "Αθήνα", year = 1995, language = gr, urlpdf = PUB # "koutoumanos-1995-edlss" # PDF, bibcategory = "conference", bibfiles = "personal", bibwhere = "personal" } %ok @InProceedings{koutoumanos-1995-tnacstf, reflanguage = en, author = "Anastasios Koutoumanos and Nikolaos Papaspyrou and Andreas Syrigos and Emmanuel Skordalakis", title = "Towards a Novel Approach for the Completion and Submission of the Tax Form", booktitle = "Proceedings of the 5th Panhellenic Conference in Computer Science", address = "Athens, Greece", year = 1995, pages = "403--409", language = gr, urlpdf = PUB # "koutoumanos-1995-tnacstf" # PDF, bibcategory = "conference", bibfiles = "personal", bibwhere = "personal" } %ok @InProceedings{koutoumanos-1995-tnacstf-gr, reflanguage = gr, author = "Αναστάσιος Κουτουμάνος and Νικόλαος Παπασπύρου and Ανδρέας Συρίγος and Εμμανουήλ Σκορδαλάκης", title = "Προς μια Νέα Προσέγγιση για τη Συμπλήρωση και την Κατάθεση της Φορολογικής Δήλωσης", booktitle = "Πεπραγμένα του 5ου Πανελλήνιου Συνέδριου Πληροφορικής", address = "Αθήνα", year = 1995, pages = "403--409", language = gr, urlpdf = PUB # "koutoumanos-1995-tnacstf" # PDF, bibcategory = "conference", bibfiles = "personal", bibwhere = "personal" } %ok @TechReport{fotis-1995-i-tr, reflanguage = en, author = "Nikolaos Fotis and Nikolaos Papaspyrou and Emmanuel Skordalakis", title = "Internet", institution = "National Technical University of Athens, Department of Electrical and Computer Engineering, Software Engineering Laboratory", year = 1995, number = "CSD-SW-TR-1-95", language = gr, urlpdf = PUB # "fotis-1995-i-tr" # PDF, bibcategory = "report", bibfiles = "personal", bibwhere = "personal" } %ok @TechReport{fotis-1995-i-tr-gr, reflanguage = gr, author = "Νικόλαος Φώτης and Νικόλαος Παπασπύρου and Εμμανουήλ Σκορδαλάκης", title = "Internet", institution = "National Technical University of Athens, Department of Electrical and Computer Engineering, Software Engineering Laboratory", year = 1995, number = "CSD-SW-TR-1-95", language = gr, urlpdf = PUB # "fotis-1995-i-tr" # PDF, bibcategory = "report", bibfiles = "personal", bibwhere = "personal" } %ok @Article{fotis-1995-i, reflanguage = en, author = "Nikolaos Fotis and Nikolaos Papaspyrou and Emmanuel Skordalakis", title = "Internet", journal = "Pyrforos", year = 1995, number = 18, pages = "44--45", month = mar # "-" # apr, note = "Republished in the Bulletin of the Panhellenic Association of Mechanical and Electrical Engineers, issue 280/95, pp. 65-74, December 1995", language = gr, bibcategory = "other", bibfiles = "personal", bibwhere = "personal" } %ok @Article{fotis-1995-i-gr, reflanguage = gr, author = "Νικόλαος Φώτης and Νικόλαος Παπασπύρου and Εμμανουήλ Σκορδαλάκης", title = "Internet", journal = "Πυρφόρος", year = 1995, number = 18, pages = "44--45", month = mar # "-" # apr, note = "Αναδημοσιεύτηκε στο \emph{Δελτίο του Πανελλήνιου Συλλόγου Διπλωματούχων Μηχανολόγων και Ηλεκτρολόγων}, τεύχος 280/95, σελ. 65--74, Δεκέμβριος 1995", language = gr, bibcategory = "other", bibfiles = "personal", bibwhere = "personal" } %ok @Misc{papaspyrou-1995-lcse, reflanguage = en, author = "Nikolaos Papaspyrou", title = "Lemmata: ``Compilers'' and ``Software Engineering''", year = 1995, howpublished = "Encyclopaedia of Computer Science, Ekdotiki Athinon", language = gr, bibcategory = "other", bibfiles = "personal", bibwhere = "personal" } %ok @Misc{papaspyrou-1995-lcse-gr, reflanguage = gr, author = "Νικόλαος Παπασπύρου", title = "Λήμματα: ``Μεταγλωττιστές'' και ``Τεχνολογία Λογισμικού''", year = 1995, howpublished = "Εγκυκλοπαίδεια Πληροφορικής, Εκδοτική Αθηνών", language = gr, bibcategory = "other", bibfiles = "personal", bibwhere = "personal" } %%% 1994 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % nothing %%% 1993 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %ok @Misc{papaspyrou-1993-aspg, reflanguage = en, author = "Nikolaos S. Papaspyrou", title = "ARGUS: A Simulation Program Generator", howpublished = "Diploma Project, National Technical University of Athens, Department of Electrical and Computer Engineering, Division of Computer Science", supervisor = "Manolis Skordalakis", month = jul, year = 1993, language = gr, urlpdf = PUB # "diploma" # PDF, bibcategory = "thesis", bibfiles = "personal", bibwhere = "personal" } %ok @Misc{papaspyrou-1993-aspg-gr, reflanguage = gr, author = "Νικόλαος Σ. Παπασπύρου", title = "ARGUS: Ένας Γεννήτορας Προγραμμάτων Προσομοίωσης", howpublished = "Διπλωματική Εργασία, Εθνικό Μετσόβιο Πολυτεχνείο, Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών, Τομέας Πληροφορικής", supervisor = "Μανόλης Σκορδαλάκης", month = jul, year = 1993, language = gr, urlpdf = PUB # "diploma" # PDF, bibcategory = "thesis", bibfiles = "personal", bibwhere = "personal" } % Some people's URLs (to be used some day) % % Manolis Skordalakis http://www.softlab.ntua.gr/~skordala/ % David Gries http://www.cs.cornell.edu/gries/ % Zhong Shao http://www.cs.yale.edu/~shao/ % Valery Trifonov http://flint.cs.yale.edu/trifonov/ % Bratin Saha http://flint.cs.yale.edu/saha/ % Eneia Todoran http://users.utcluj.ro/~eneia/