ESEC/FSE 2013 – Author Index |
Contents -
Abstracts -
Authors
|
Autili, Marco |
ESEC/FSE '13-KEYNOTES: "Producing Software by Integration: ..."
Producing Software by Integration: Challenges and Research Directions (Keynote)
Paola Inverardi, Marco Autili, Davide Di Ruscio, Patrizio Pelliccione, and Massimo Tivoli (University of l'Aquila, Italy) Software is increasingly produced according to a certain goal and by integrating existing software produced by third-parties, typically black-box, and often provided without a machine readable documentation. This implies that development processes of the next future have to explicitly deal with an inherent incompleteness of information about existing software, notably on its behaviour. Therefore, on one side a software producer will less and less know the precise behaviour of a third party software service, on the other side she will need to use it to build her own application. In this paper we present an innovative development process to automatically produce dependable software systems by integrating existing services under uncertainty and according to the specied goal. Moreover, we (i) discuss important challenges that must be faced while producing the kind of systems we are targeting, (ii) give an overview of the state of art related to the identied challenges, and finally (iii) provide research directions to address these challenges. @InProceedings{ESEC/FSE13p2, author = {Paola Inverardi and Marco Autili and Davide Di Ruscio and Patrizio Pelliccione and Massimo Tivoli}, title = {Producing Software by Integration: Challenges and Research Directions (Keynote)}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2--12}, doi = {}, year = {2013}, } |
|
Di Ruscio, Davide |
ESEC/FSE '13-KEYNOTES: "Producing Software by Integration: ..."
Producing Software by Integration: Challenges and Research Directions (Keynote)
Paola Inverardi, Marco Autili, Davide Di Ruscio, Patrizio Pelliccione, and Massimo Tivoli (University of l'Aquila, Italy) Software is increasingly produced according to a certain goal and by integrating existing software produced by third-parties, typically black-box, and often provided without a machine readable documentation. This implies that development processes of the next future have to explicitly deal with an inherent incompleteness of information about existing software, notably on its behaviour. Therefore, on one side a software producer will less and less know the precise behaviour of a third party software service, on the other side she will need to use it to build her own application. In this paper we present an innovative development process to automatically produce dependable software systems by integrating existing services under uncertainty and according to the specied goal. Moreover, we (i) discuss important challenges that must be faced while producing the kind of systems we are targeting, (ii) give an overview of the state of art related to the identied challenges, and finally (iii) provide research directions to address these challenges. @InProceedings{ESEC/FSE13p2, author = {Paola Inverardi and Marco Autili and Davide Di Ruscio and Patrizio Pelliccione and Massimo Tivoli}, title = {Producing Software by Integration: Challenges and Research Directions (Keynote)}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2--12}, doi = {}, year = {2013}, } |
|
Gonthier, Georges |
ESEC/FSE '13-KEYNOTES: "Software Engineering for Mathematics ..."
Software Engineering for Mathematics (Keynote)
Georges Gonthier (Microsoft Research, UK) Since Turing, we have wanted to use computers to store, process, and check mathematics. However even with the assistance of modern software tools, the formalization of research-level mathematics remains a daunting task, not least because of the talent with which working mathematicians combine diverse theories to achieve their ends. By drawing on tools and techniques from type theory, language design, and software engineering we captured enough of these practices to formalize the proof of the Odd Order theorem, a landmark result in Group Theory, which ultimately lead to the monumental Classification of finite simple groups. This involved recasting the software component concept in the setting of higher-order, higher-kinded Type Theory to create a library of mathematical components covering most of the undergraduate Algebra and graduate Group Theory syllabus. This library then allowed us to write a formal proof comparable in size and abstraction level to the 250-page textbook proof of the Odd Order theorem. @InProceedings{ESEC/FSE13p13, author = {Georges Gonthier}, title = {Software Engineering for Mathematics (Keynote)}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {13--13}, doi = {}, year = {2013}, } |
|
Inverardi, Paola |
ESEC/FSE '13-KEYNOTES: "Producing Software by Integration: ..."
Producing Software by Integration: Challenges and Research Directions (Keynote)
Paola Inverardi, Marco Autili, Davide Di Ruscio, Patrizio Pelliccione, and Massimo Tivoli (University of l'Aquila, Italy) Software is increasingly produced according to a certain goal and by integrating existing software produced by third-parties, typically black-box, and often provided without a machine readable documentation. This implies that development processes of the next future have to explicitly deal with an inherent incompleteness of information about existing software, notably on its behaviour. Therefore, on one side a software producer will less and less know the precise behaviour of a third party software service, on the other side she will need to use it to build her own application. In this paper we present an innovative development process to automatically produce dependable software systems by integrating existing services under uncertainty and according to the specied goal. Moreover, we (i) discuss important challenges that must be faced while producing the kind of systems we are targeting, (ii) give an overview of the state of art related to the identied challenges, and finally (iii) provide research directions to address these challenges. @InProceedings{ESEC/FSE13p2, author = {Paola Inverardi and Marco Autili and Davide Di Ruscio and Patrizio Pelliccione and Massimo Tivoli}, title = {Producing Software by Integration: Challenges and Research Directions (Keynote)}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2--12}, doi = {}, year = {2013}, } |
|
Pelliccione, Patrizio |
ESEC/FSE '13-KEYNOTES: "Producing Software by Integration: ..."
Producing Software by Integration: Challenges and Research Directions (Keynote)
Paola Inverardi, Marco Autili, Davide Di Ruscio, Patrizio Pelliccione, and Massimo Tivoli (University of l'Aquila, Italy) Software is increasingly produced according to a certain goal and by integrating existing software produced by third-parties, typically black-box, and often provided without a machine readable documentation. This implies that development processes of the next future have to explicitly deal with an inherent incompleteness of information about existing software, notably on its behaviour. Therefore, on one side a software producer will less and less know the precise behaviour of a third party software service, on the other side she will need to use it to build her own application. In this paper we present an innovative development process to automatically produce dependable software systems by integrating existing services under uncertainty and according to the specied goal. Moreover, we (i) discuss important challenges that must be faced while producing the kind of systems we are targeting, (ii) give an overview of the state of art related to the identied challenges, and finally (iii) provide research directions to address these challenges. @InProceedings{ESEC/FSE13p2, author = {Paola Inverardi and Marco Autili and Davide Di Ruscio and Patrizio Pelliccione and Massimo Tivoli}, title = {Producing Software by Integration: Challenges and Research Directions (Keynote)}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2--12}, doi = {}, year = {2013}, } |
|
Tivoli, Massimo |
ESEC/FSE '13-KEYNOTES: "Producing Software by Integration: ..."
Producing Software by Integration: Challenges and Research Directions (Keynote)
Paola Inverardi, Marco Autili, Davide Di Ruscio, Patrizio Pelliccione, and Massimo Tivoli (University of l'Aquila, Italy) Software is increasingly produced according to a certain goal and by integrating existing software produced by third-parties, typically black-box, and often provided without a machine readable documentation. This implies that development processes of the next future have to explicitly deal with an inherent incompleteness of information about existing software, notably on its behaviour. Therefore, on one side a software producer will less and less know the precise behaviour of a third party software service, on the other side she will need to use it to build her own application. In this paper we present an innovative development process to automatically produce dependable software systems by integrating existing services under uncertainty and according to the specied goal. Moreover, we (i) discuss important challenges that must be faced while producing the kind of systems we are targeting, (ii) give an overview of the state of art related to the identied challenges, and finally (iii) provide research directions to address these challenges. @InProceedings{ESEC/FSE13p2, author = {Paola Inverardi and Marco Autili and Davide Di Ruscio and Patrizio Pelliccione and Massimo Tivoli}, title = {Producing Software by Integration: Challenges and Research Directions (Keynote)}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2--12}, doi = {}, year = {2013}, } |
|
Vardi, Moshe Y. |
ESEC/FSE '13-KEYNOTES: "A Logical Revolution (Keynote) ..."
A Logical Revolution (Keynote)
Moshe Y. Vardi (Rice University, USA) Mathematical logic was developed in an effort to provide formal foundations for mathematics. In this quest, which ultimately failed, logic begat computer science, yielding both computers and theoretical computer science. But then logic turned out to be a disappointment as foundations for computer science, as almost all decision problems in logic are either undecidable or intractable. Starting from the mid 1970s, however, there has been a quiet revolution in logic in computer science, and problems that are theoretically undecidable or intractable were shown to be quite feasible in practice. This talk describes the rise, fall, and rise of logic in computer science, describing several modern applications of logic to computing, include databases, hardware design, and software engineering. @InProceedings{ESEC/FSE13p1, author = {Moshe Y. Vardi}, title = {A Logical Revolution (Keynote)}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1--1}, doi = {}, year = {2013}, } |
7 authors
proc time: 1.06