Výsledky vyhledávání - "Science of Computer Programming"

Erratum to “Compact and Efficient Strings for Java” [Science of Computer Programming 75 (2010) 1077–1094] Autor Häubl, Christian, Wimmer, Christian, Mössenböck, Hanspeter

Získat plný text

Editorial–Science of Computer Programming–25 years Autor Broy, Manfred

Získat plný text

Explorations in the cognitive science of computer programming Autor Li, Jinrong

“…ABSTRACT Despite decades of research and development devoted to building systems for teaching computer programming to young students, and for enabling a…”
Získat plný text

Erratum to “Predicate transformers for reasoning about concurrent computation”: Science of computer Programming 24 (1995) 129–148 Autor Chandy, K.Mani, Sanders, Beverly A.

Získat plný text

Theorizing about software development practices Autor Päivärinta, Tero, Smolander, Kari

“… To illustrate the use of the model, we have studied recent practice-oriented articles in the journal Science of Computer Programming…”
Získat plný text

Live and let die: LSC based verification of UML models Autor Damm, Werner, Westphal, Bernd

“… (Science of Computer Programming, this issue). The problem is twofold in that it requires on the one hand a specification language which is rich enough to express properties about entities that are only created during a run of the system…”
Získat plný text

Herramienta para el Análisis Forense de Correos Electrónicos Autor Notario, Enzo, de Gallo, Beatriz Parra, Vegetti, Marcela, Leone, Horacio

“… Science of Computer Programming, 95(P1), 26-43. https://doi.org/10.1016/j.scico.2013.12.005 Flores, V., & Hadfeg, Y. (2017). Software requirements patterns and meta model…”
Získat plný text

Guest editors’ introduction to the 4th issue of Experimental Software and Toolkits (EST-4) Autor Mens, Kim, van den Brand, M.G.J., Kienle, Holger M.

“…Experimental software and toolkits play a crucial role in computer science. Elsevier’s Science of Computer Programming special issues on Experimental Software and Toolkits (EST…”
Získat plný text

Preface: Advances in Formal Methods for Autonomous Systems Autor Luckcuck, Matt, Farrell, Marie, Gleirscher, Mario, Schwammberger, Maike

Získat plný text

Design and Evaluation of Coconut: Typestates for C++ Autor Alsubhi, Arwa Hameed, Dardha, Ornela, Gay, Simon J.

Získat plný text

An Innovative ISO-Based Computational Framework for Software Maintainability Assessment Autor Azhir, Elham, Zakeri, Morteza, Abedini, Yasaman, Mostafavi, Mojtaba

Získat plný text

Special Issue on the 18th International Symposium on Theoretical Aspects of Software Engineering Autor Chin, Wei-Ngan, Xu, Zhiwu

Získat plný text

Building augmented reality games with Autor Campos-López, Rubén, Guerra, Esther, de Lara, Juan

Získat plný text

A pragma based C++ framework for hybrid quantum/classical computation Autor Koska, Océane, Gazda, Arnaud

“…Quantum computers promise exponential speed ups over classical computers for various tasks. This emerging technology is expected to have its first huge impact…”
Získat plný text

Editorial Board

Získat plný text

Introduction to the TASE 2023 Special Issue Autor Singh, Neeraj Kumar, David, Cristina, Sun, Meng, Wang, Meng

Získat plný text

Preface: Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2023) Autor Hojjat, Hossein, Ábrahám, Erika

Získat plný text

Towards general theories of software engineering Autor Johnson, Pontus, Ekstedt, Mathias, Goedicke, Michael, Jacobson, Ivar

“…The special issue of Science of Computer Programming focuses on the theme of general theories of software engineering…”
Získat plný text

“Will I be replaced?” Assessing ChatGPT's effect on software development and programmer perceptions of AI tools Autor Kuhail, Mohammad Amin, Mathew, Sujith Samuel, Khalil, Ashraf, Berengueres, Jose, Shah, Syed Jawad Hussain

“…ChatGPT is a language model with artificial intelligence (AI) capabilities that has found utility across various sectors. Given its impact, we conducted two…”
Získat plný text

Editorial Board

Získat plný text