Titel

Merkliste
1 Ergebnisse

CS1 with a Side of AI: Teaching Software Verification for S..:

, In: Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 1,

Fernandez, Amanda S. ; Cornell, Kimberly A. - p. 345-351 , 2024

Link: https://dl.acm.org/doi/10.1145/3626252.3630817

RT 
T1 <cTitle>Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 1</cTitle>: T1 <Title>CS1 with a Side of AI: Teaching Software Verification for Secure Code in the Era of Generative AI</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-3630817&Exemplar=1&LAN=DE
				
A1 Fernandez, Amanda S.
A1 Cornell, Kimberly A.
PB ACM
YR 2024
K1 ai
K1 artificial intelligence
K1 code generation
K1 copilot
K1 cs1
K1 gpt-4
K1 introductory programming
K1 large language model
K1 llm
K1 machine learning
K1 novice programmers
K1 programming
K1 prompt engineering
K1 secure code
K1 software verification
K1 Applied computing
K1 Education
K1 Computing methodologies
K1 Artificial intelligence
K1 Social and professional topics
K1 Professional topics
K1 Computing education
K1 Computing education programs
K1 Computer science education
SP 345
OP 351
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/3626252.3630817
DO https://dl.acm.org/doi/10.1145/3626252.3630817
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)