Sökresultat - "Capozucca, Alfredo"

Towards a unified user modeling language for engineering human centered AI systems

Conrardy, Aaron, Capozucca, Alfredo, Cabot, Jordi

From a Constraint Logic Programming Language to a Formal Verification Tool

Cristiá, Maximiliano, Capozucca, Alfredo, Rossi, Gianfranco

Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method

Capozucca, Alfredo, Yampolskyi, Daniil, Goldberg, Alexander, Cristiá, Maximiliano

Brewer-Nash Scrutinised: Mechanised Checking of Policies Featuring Write Revocation

Capozucca, Alfredo, Cristia, Maximiliano, Horne, Ross, Katz, Ricardo

2024 IEEE 37th Computer Security Foundations Symposium (CSF)

User Modeling in Model-Driven Engineering: A Systematic Literature Review

Conrardy, Aaron, Capozucca, Alfredo, Cabot, Jordi

Computing Education in the Age of AI-Based Assistants: Challenges and Opportunities

Capozucca, Alfredo^Aff1, Ebersold, Sophie^Aff2, Bruel, Jean-Michel^Aff2, Meyer, Bertrand^Aff3

Goos, Gerhard, Founding Editor^Aff1001, Hartmanis, Juris, Founding Editor^Aff1002, Bertino, Elisa, Editorial Board Member^Aff1003, Gao, Wen, Editorial Board Member^Aff1004, Steffen, Bernhard, Editorial Board Member^Aff1005, Yung, Moti, Editorial Board Member^Aff1006, Capozucca, Alfredo, editor^Aff1007, Ebersold, Sophie, editor^Aff1008, Bruel, Jean-Michel, editor^Aff1009, Meyer, Bertrand, editor^Aff1010

DevOps and its Philosophy : Education Matters!

Bobrov, Evgeny, Bucchiarone, Antonio, Capozucca, Alfredo, Guelfi, Nicolas, Mazzara, Manuel, Naumchev, Alexandr, Safina, Larisa

Teaching DevOps in academia and industry: reflections and vision

Bobrov, Evgeny, Bucchiarone, Antonio, Capozucca, Alfredo, Guelfi, Nicolas, Mazzara, Manuel, Masyagin, Sergey

Denna resultat visas inte till gäster.
Logga in för full Login for full tillgång.

Denna resultat visas inte till gäster.
Logga in för full Login for full tillgång.

Denna resultat visas inte till gäster.
Logga in för full Login for full tillgång.

Denna resultat visas inte till gäster.
Logga in för full Login for full tillgång.

Denna resultat visas inte till gäster.
Logga in för full Login for full tillgång.

Denna resultat visas inte till gäster.
Logga in för full Login for full tillgång.

Denna resultat visas inte till gäster.
Logga in för full Login for full tillgång.

Analysing the SWECOM Standard for Designing a DevOps Education Programme

Capozucca, Alfredo^Aff14, Guelfi, Nicolas^Aff14

Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Bruel, Jean-Michel, editor^Aff8, Capozucca, Alfredo, editor^Aff9, Mazzara, Manuel, editor^Aff10, Meyer, Bertrand, editor^Aff11, Naumchev, Alexandr, editor^Aff12, Sadovykh, Andrey, editor^Aff13

Correction to: Frontiers in Software Engineering Education

Capozucca, Alfredo^Aff1, Ebersold, Sophie^Aff2, Bruel, Jean-Michel^Aff3, Meyer, Bertrand^Aff4

Goos, Gerhard, Founding Editor^Aff1001, Hartmanis, Juris, Founding Editor^Aff1002, Bertino, Elisa, Editorial Board Member^Aff1003, Gao, Wen, Editorial Board Member^Aff1004, Steffen, Bernhard, Editorial Board Member^Aff1005, Yung, Moti, Editorial Board Member^Aff1006, Capozucca, Alfredo, editor^Aff1007, Ebersold, Sophie, editor^Aff1008, Bruel, Jean-Michel, editor^Aff1009, Meyer, Bertrand, editor^Aff1010

Teaching DevOps in Academia and Industry: Reflections and Vision

Bobrov, Evgeny^Aff11, Bucchiarone, Antonio^Aff13, Capozucca, Alfredo^Aff12, Guelfi, Nicolas^Aff12, Mazzara, Manuel^Aff11, Masyagin, Sergey^Aff11

Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Bruel, Jean-Michel, editor^Aff8, Mazzara, Manuel, editor^Aff9, Meyer, Bertrand, editor^Aff10

Design of a (Yet Another?) DevOps Course

Capozucca, Alfredo^Aff15, Guelfi, Nicolas^Aff15, Ries, Benoît^Aff15

Hutchison, David, Series Editor^Aff1, Kanade, Takeo, Series Editor^Aff2, Kittler, Josef, Series Editor^Aff3, Kleinberg, Jon M., Series Editor^Aff4, Mattern, Friedemann, Series Editor^Aff5, Mitchell, John C., Series Editor^Aff6, Naor, Moni, Series Editor^Aff7, Pandu Rangan, C., Series Editor^Aff8, Steffen, Bernhard, Series Editor^Aff9, Terzopoulos, Demetri, Series Editor^Aff10, Tygar, Doug, Series Editor^Aff11, Bruel, Jean-Michel, editor^Aff12, Mazzara, Manuel, editor^Aff13, Meyer, Bertrand, editor^Aff14

Special Issue on New Paradigms of Software Production and Deployment

Capozucca, Alfredo^{Aff1, IDs42979022010299_cor1}, Bruel, Jean-Michel, Mazzara, Manuel, Meyer, Bertrand^{Aff4, Aff5}