Sylvain Hallé
Skip Abstract Section
Abstract
Top Software Engineering conferences and journals have long been an important platform for disseminating theoretical and fundamental results. Several signals suggest that this is less and less the case.
- FSE 2004 { call for papers, 2004. https://web.archive.org/web/20031013221307/http: //www.isr.uci.edu/FSE-12/cfp.html, Accessed February 20th, 2024.Google Scholar
- FSE 2023 { call for papers, 2023. https://2023.esec-fse.org/track/ fse-2023-research-papers?#Call-for-Papers, Accessed February 20th, 2024.Google Scholar
- IEEE transactions on software engineering { aims & scope, 2024. https://ieeexplore.ieee.org/xpl/aboutJournal. jsp?punumber=32, Accessed February 20th, 2024.Google Scholar
- Rajeev Alur, Kousha Etessami, and Mihalis Yannakakis. Inference of message sequence charts. IEEE Trans. Software Eng., 29(7):623{633, 2003.Google ScholarDigital Library
- Andreas Bauer, Martin Leucker, and Christian Schallhart. Runtime verification for LTL and TLTL. ACM Trans. Softw. Eng. Methodol., 20(4):14:1{14:64, 2011.Google ScholarDigital Library
- Lionel Briand. Embracing the engineering side of software engineering. IEEE Software, 29(4):96{96, 2012.Google ScholarDigital Library
- Manfred Broy. Can practitioners neglect theory and theoreticians neglect practice? Computer, 44(10):19{24, 2011.Google ScholarDigital Library
- Neal E. Chalofsky. Professionalization comes from theory and research: The \why" instead of the \how to". New Directions for Adult and Continuing Education, 1996(72):51{56, 1996.Google Scholar
- Camille Constant, Thierry J--eron, Herv--e Marchand, and Vlad Rusu. Integrating formal verification and conformance testing for reactive systems. IEEE Trans. Software Eng., 33(8):558{574, 2007.Google ScholarDigital Library
- Graham Cormode. How NOT to review a paper: the tools and techniques of the adversarial reviewer. SIGMOD Rec., 37(4):100{104, 2008.Google Scholar
- Dario Fischbein, Nicol--as D'Ippolito, Greg Brunet, Marsha Chechik, and Sebasti--an Uchitel. Weak alphabet merging of partial behavior models. ACM Trans. Softw. Eng. Methodol., 21(2):9:1{9:47, 2012.Google ScholarDigital Library
- Vahid Garousi, Markus Borg, and Markku Oivo. Practical relevance of software engineering research: synthesizing the community's voice. Empirical Software Engineering, 25(3):1687{1754, March 2020.Google ScholarDigital Library
- Leon J. Osterweil. A future for software engineering? In Lionel C. Briand and Alexander L. Wolf, editors, International Conference on Software Engineering, ISCE 2007, Workshop on the Future of Software Engineering, FOSE 2007, May 23--25, 2007, Minneapolis, MN, USA, pages 1{11. IEEE Computer Society, 2007.Google Scholar
- Paul Ralph, Sebastian Baltes, Domenico Bianculli, Yvonne Dittrich, Michael Felderer, Robert Feldt, Antonio Filieri, Carlo Alberto Furia, Daniel Graziotin, Pinjia He, Rashina Hoda, Natalia Juristo, Barbara A. Kitchenham, Romain Robbes, Daniel M--endez, Je erson Seide Moll--eri, Diomidis Spinellis, Miroslaw Staron, Klaas-Jan Stol, Damian A. Tamburri, Marco Torchiano, Christoph Treude, Burak Turhan, and Sira Vegas. ACM SIGSOFT empirical standards. CoRR, abs/2010.03525, 2020.Google Scholar
- Klaas-Jan Stol and Brian Fitzgerald. Theory-oriented software engineering. Sci. Comput. Program., 101:79{98, 2015.Google ScholarCross Ref
Index Terms
- Column: Is Theory (Still) Welcome in Software Engineering Research?
Index terms have been assigned to the content through auto-classification.
Comments