E-LIB Suche - Ergebnisse für: Bruel, Jean-Michel

1

Identifying and fixing ambiguities in, and semantically acc..:

Nguyen, Thuy ; Sayar, Imen ; Ebersold, Sophie.
Software and Systems Modeling. , 2024

Link: https://doi.org/10.1007/..

2

Modeling and Verification of Natural Language Requirements ..:

Liu, Yinling ; Bruel, Jean-Michel
Formal Aspects of Computing. , 2024

Link: https://doi.org/10.1145/..

3

Correction to: Frontiers in Software Engineering Education:

, In: Frontiers in Software Engineering Education; Lecture Notes in Computer Science,

Capozucca, Alfredo ; Ebersold, Sophie ; Bruel, Jean-Michel. - p. C1-C1 , 2024

Link: https://doi.org/10.1007/..

4

Finding Behavioral Indicators from Contextualized Commits i..:

, In: Frontiers in Software Engineering Education; Lecture Notes in Computer Science,

Pons, Mika ; Bruel, Jean-Michel ; Raclet, Jean-Baptiste. - p. 56-68 , 2023

Link: https://doi.org/10.1007/..

5

Computing Education in the Age of AI-Based Assistants: Chal..:

, In: Frontiers in Software Engineering Education; Lecture Notes in Computer Science,

Capozucca, Alfredo ; Ebersold, Sophie ; Bruel, Jean-Michel. - p. 108-115 , 2023

Link: https://doi.org/10.1007/..

6

The Intersection Between the CS Students' Perceived Ideal W..:

, In: Lecture Notes in Networks and Systems; Learning in the Age of Digital and Green Transition,

Aslam, Hamna ; Ilina, Eleonora ; Brown, Joseph Alexander. - p. 789-801 , 2023

Link: https://doi.org/10.1007/..

7

Frontiers in Software Engineering Education: Second Interna..

Lecture Notes in Computer Science, 14387

Capozucca, Alfredo ; Ebersold, Sophie ; Bruel, Jean-Michel. - 1st ed. 2023 . , 2023

Link: https://doi.org/10.1007/..

8

Traceability by Design: Design of an Interactive System to ..:

, In: Lecture Notes in Computer Science; Responsive and Sustainable Educational Futures,

Pons, Mika ; Bruel, Jean-Michel ; Raclet, Jean-Baptiste. - p. 611-617 , 2023

Link: https://doi.org/10.1007/..

9

Security Requirements Formalization with RQCODE:

, In: CyberSecurity in a DevOps Environment,

Sadovykh, Andrey ; Messe, Nan ; Nigmatullin, Ildar... - p. 65-92 , 2023

Link: https://doi.org/10.1007/..

10

Gamifying model-based engineering: The PapyGame tool:

Bucchiarone, Antonio ; Savary-Leblanc, Maxime ; Le Pallec, Xavier...
Science of Computer Programming. 230 (2023) - p. 102974 , 2023

Link: https://doi.org/10.1016/..

11

Modeling of Natural Language Requirements based on States a..:

, In: 2022 IEEE 30th International Requirements Engineering Conference Workshops (REW),

Liu, Yinling ; Bruel, Jean-Michel - p. 190-194 , 2022

Link: https://doi.org/10.1109/..

12

RQCODE – Towards Object-Oriented Requirements in the Softwa..:

, In: 2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW),

Nigmatullin, Ildar ; Sadovykh, Andrey ; Messe, Nan.. - p. 2-6 , 2022

Link: https://doi.org/10.1109/..

13

Special Issue on New Paradigms of Software Production and D..:

Capozucca, Alfredo ; Bruel, Jean-Michel ; Mazzara, Manuel.
SN Computer Science. 3 (2022) 2 - p. , 2022

Link: https://doi.org/10.1007/..

14

A Hitchhiker's Guide to Model-Driven Engineering for Data-C..:

Combemale, Benoit ; Kienzle, Jorg ; Mussbacher, Gunter...
IEEE Software. 38 (2021) 4 - p. 71-84 , 2021

Link: https://doi.org/10.1109/..

15

The Role of Formalism in System Requirements:

Bruel, Jean-Michel ; Ebersold, Sophie ; Galinier, Florian...
ACM Computing Surveys (CSUR). 54 (2021) 5 - p. 1-36 , 2021

Link: https://dl.acm.org/doi/1..