Search

Your search keyword '"Bruel, Jean-Michel"' showing total 570 results
Start Over Author "Bruel, Jean-Michel"

Refine your results

more »

more »

more »

more »
570 results on '"Bruel, Jean-Michel"'

1. Security Requirements Formalization with RQCODE

Author

Sadovykh, Andrey, Messe, Nan, Nigmatullin, Ildar, Ebersold, Sophie, Naumcheva, Maria, Bruel, Jean-Michel, Sadovykh, Andrey, editor, Truscan, Dragos, editor, Mallouli, Wissam, editor, Cavalli, Ana Rosa, editor, Seceleanu, Cristina, editor, and Bagnato, Alessandra, editor

Published
2024
Full Text
View/download PDF

4. Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests

Author

Naumcheva, Maria, Ebersold, Sophie, Naumchev, Alexandr, Bruel, Jean-Michel, Galinier, Florian, and Meyer, Bertrand

Subjects
Computer Science - Software Engineering
Abstract

A paradox of requirements specifications as dominantly practiced in the industry is that they often claim to be object-oriented (OO) but largely rely on procedural (non-OO) techniques. Use cases and user stories describe functional flows, not object types. To gain the benefits provided by object technology (such as extendibility, reusability, reliability), requirements should instead take advantage of the same data abstraction concepts - classes, inheritance, information hiding - as OO design and OO programs. Many people find use cases and user stories appealing because of the simplicity and practicality of the concepts. Can we reconcile requirements with object-oriented principles and get the best of both worlds? This article proposes a unified framework. It shows that the concept of class is general enough to describe not only "objects" in a narrow sense but also scenarios such as use cases and user stories and other important artifacts such as test cases and oracles. Having a single framework opens the way to requirements that enjoy the benefits of both approaches: like use cases and user stories, they reflect the practical views of stakeholders; like object-oriented requirements, they lend themselves to evolution and reuse.

Published
2022

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

Author

Capozucca, Alfredo, Ebersold, Sophie, Bruel, Jean-Michel, Meyer, Bertrand, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Capozucca, Alfredo, editor, Ebersold, Sophie, editor, Bruel, Jean-Michel, editor, and Meyer, Bertrand, editor

Published
2023
Full Text
View/download PDF

6. Finding Behavioral Indicators from Contextualized Commits in Software Engineering Courses with Process Mining

Author

Pons, Mika, Bruel, Jean-Michel, Raclet, Jean-Baptiste, Silvestre, Franck, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Capozucca, Alfredo, editor, Ebersold, Sophie, editor, Bruel, Jean-Michel, editor, and Meyer, Bertrand, editor

Published
2023
Full Text
View/download PDF

7. Traceability by Design: Design of an Interactive System to Improve the Automatic Generation of Git Traces During a Learning Activity

Author

Pons, Mika, Bruel, Jean-Michel, Raclet, Jean-Baptiste, Silvestre, Franck, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Viberg, Olga, editor, Jivet, Ioana, editor, Muñoz-Merino, Pedro J., editor, Perifanou, Maria, editor, and Papathoma, Tina, editor

Published
2023
Full Text
View/download PDF

8. The Intersection Between the CS Students’ Perceived Ideal Workspace and the Actual One

Author

Aslam, Hamna, Ilina, Eleonora, Brown, Joseph Alexander, Bruel, Jean-Michel, Kacprzyk, Janusz, Series Editor, Gomide, Fernando, Advisory Editor, Kaynak, Okyay, Advisory Editor, Liu, Derong, Advisory Editor, Pedrycz, Witold, Advisory Editor, Polycarpou, Marios M., Advisory Editor, Rudas, Imre J., Advisory Editor, Wang, Jun, Advisory Editor, Auer, Michael E., editor, Pachatz, Wolfgang, editor, and Rüütmann, Tiia, editor

Published
2023
Full Text
View/download PDF

9. The role of formalism in system requirements (full version)

Author

Bruel, Jean-Michel, Ebersold, Sophie, Galinier, Florian, Naumchev, Alexandr, Mazzara, Manuel, and Meyer, Bertrand

Subjects
Computer Science - Software Engineering, Computer Science - Formal Languages and Automata Theory, Computer Science - Programming Languages
Abstract

A major determinant of the quality of software systems is the quality of their requirements, which should be both understandable and precise. Most requirements are written in natural language, good for understandability but lacking in precision. To make requirements precise, researchers have for years advocated the use of mathematics-based notations and methods, known as "formal". Many exist, differing in their style, scope and applicability. The present survey discusses some of the main formal approaches and compares them to informal methods. The analysis uses a set of 9 complementary criteria, such as level of abstraction, tool availability, traceability support. It classifies the approaches into five categories: general-purpose, natural-language, graph/automata, other mathematical notations, seamless (programming-language-based). It presents approaches in all of these categories, altogether 22 different ones, including for example SysML, Relax, Eiffel, Event-B, Alloy. The review discusses a number of open questions, including seamlessness, the role of tools and education, and how to make industrial applications benefit more from the contributions of formal approaches. (This is the full version of the survey, including some sections and two appendices which, because of length restrictions, do not appear in the submitted version.), Comment: Fourth version (15 April 2020). This is the full version, including some sections and 2 appendices not appearing in the short version

Published
2019

12. Modeling and verification method for an early validation of a train system

Author

Baduel, Ronan, Ober, Iulian, and Bruel, Jean-Michel

Subjects
Computer Science - Software Engineering
Abstract

This paper presents the results achieved while pursuing the verification and validation of a train system behavior at the first steps of development in an industrial context. A method is proposed, supported by preliminary results through the definition and verification of constrained states and preconditions to use cases, as well as a structure for the behavior.

Published
2019

13. The Anatomy of Requirements

Author

Meyer, Bertrand, Bruel, Jean-Michel, Ebersold, Sophie, Galinier, Florian, and Naumchev, Alexandr

Subjects
Computer Science - Software Engineering
Abstract

Requirements engineering is crucial to software development but lacks a precise definition of its fundamental concepts. Even the basic definitions in the literature and in industry standards are often vague and verbose. To remedy this situation and provide a solid basis for discussions of requirements, this work provides precise definitions of the fundamental requirements concepts and two systematic classifications: a taxonomy of requirement elements (such as components, goals, constraints...) ; and a taxonomy of possible relations between these elements (such as "extends", "excepts", "belongs"...). The discussion evaluates the taxonomies on published requirements documents; readers can test the concepts in two online quizzes. The intended result of this work is to spur new advances in the study and practice of software requirements by clarifying the fundamental concepts., Comment: Version 2, 28 June 2019

Published
2019

14. Correction to: Frontiers in Software Engineering Education

Author

Capozucca, Alfredo, Ebersold, Sophie, Bruel, Jean-Michel, Meyer, Bertrand, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Capozucca, Alfredo, editor, Ebersold, Sophie, editor, Bruel, Jean-Michel, editor, and Meyer, Bertrand, editor

Published
2023
Full Text
View/download PDF

15. AutoReq: expressing and verifying requirements for control systems

Author

Naumchev, Alexandr, Meyer, Bertrand, Mazzara, Manuel, Galinier, Florian, Bruel, Jean-Michel, and Ebersold, Sophie

Subjects
Computer Science - Software Engineering
Abstract

The considerable effort of writing requirements is only worthwhile if the result meets two conditions: the requirements reflect stakeholders' needs, and the implementation satisfies them. In usual approaches, the use of different notations for requirements (often natural language) and implementations (a programming language) makes both conditions elusive. AutoReq, presented in this article, takes a different approach to both the writing of requirements and their verification. Applying the approach to a well-documented example, a landing gear system, allowed for a mechanical proof of consistency and uncovered an error in a published discussion of the problem.

Published
2017

16. Reflections on Teaching Formal Methods for Software Development in Higher Education

Author

Khazeev, Mansur, Aslam, Hamna, de Carvalho, Daniel, Mazzara, Manuel, Bruel, Jean-Michel, Brown, Joseph Alexander, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Bruel, Jean-Michel, editor, Capozucca, Alfredo, editor, Mazzara, Manuel, editor, Meyer, Bertrand, editor, Naumchev, Alexandr, editor, and Sadovykh, Andrey, editor

Published
2020
Full Text
View/download PDF

17. A contract-based method to specify stimulus-response requirements

Author

Naumchev, Alexandr, Mazzara, Manuel, Meyer, Bertrand, Bruel, Jean-Michel, Galinier, Florian, and Ebersold, Sophie

Subjects
Computer Science - Software Engineering
Abstract

A number of formal methods exist for capturing stimulus-response requirements in a declarative form. Someone yet needs to translate the resulting declarative statements into imperative programs. The present article describes a method for specification and verification of stimulus-response requirements in the form of imperative program routines with conditionals and assertions. A program prover then checks a candidate program directly against the stated requirements. The article illustrates the approach by applying it to an ASM model of the Landing Gear System, a widely used realistic example proposed for evaluating specification and verification techniques.

Published
2017

18. Towards an Anatomy of Software Requirements

Author

Meyer, Bertrand, Bruel, Jean-Michel, Ebersold, Sophie, Galinier, Florian, Naumchev, Alexandr, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Mazzara, Manuel, editor, Bruel, Jean-Michel, editor, Meyer, Bertrand, editor, and Petrenko, Alexander, editor

Published
2019
Full Text
View/download PDF

19. DevOps’18 Education Panel : Teaching Feedback and Challenges

Author

Bruel, Jean-Michel, Jiménez, Miguel, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Bruel, Jean-Michel, editor, Mazzara, Manuel, editor, and Meyer, Bertrand, editor

Published
2019
Full Text
View/download PDF

21. Comp-O: An OWL-S Extension for Composite Service Description

Author

Alary, Grégory, Hernandez, Nathalie, Arcangeli, Jean-Paul, Trouilhet, Sylvie, Bruel, Jean-Michel, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Keet, C. Maria, editor, and Dumontier, Michel, editor

Published
2020
Full Text
View/download PDF

24. Towards a Requirements Engineering Approach for Capturing Uncertainty in Cyber-Physical Systems Environment

Author

Ahmad, Manzoor, Gnaho, Christophe, Bruel, Jean-Michel, Laleau, Régine, Barbosa, Simone Diniz Junqueira, Series Editor, Filipe, Joaquim, Series Editor, Kotenko, Igor, Series Editor, Sivalingam, Krishna M., Series Editor, Washio, Takashi, Series Editor, Yuan, Junsong, Series Editor, Zhou, Lizhu, Series Editor, Ghosh, Ashish, Series Editor, Abdelwahed, El Hassan, editor, Bellatreche, Ladjel, editor, Benslimane, Djamal, editor, Golfarelli, Matteo, editor, Jean, Stéphane, editor, Mery, Dominique, editor, Nakamatsu, Kazumi, editor, and Ordonez, Carlos, editor

Published
2018
Full Text
View/download PDF

25. Model Transformation Reuse Across Metamodels : A Classification and Comparison of Approaches

Author

Bruel, Jean-Michel, Combemale, Benoit, Guerra, Esther, Jézéquel, Jean-Marc, Kienzle, Jörg, de Lara, Juan, Mussbacher, Gunter, Syriani, Eugene, Vangheluwe, Hans, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Rensink, Arend, editor, and Sánchez Cuadrado, Jesús, editor

Published
2018
Full Text
View/download PDF

26. SysML Models Verification and Validation in an Industrial Context: Challenges and Experimentation

Author

Baduel, Ronan, Chami, Mohammad, Bruel, Jean-Michel, Ober, Iulian, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Pierantonio, Alfonso, editor, and Trujillo, Salvador, editor

Published
2018
Full Text
View/download PDF

27. Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap : Report on the MDE@DeRun 2018 Workshop

Author

Bruneliere, Hugo, Eramo, Romina, Gómez, Abel, Besnard, Valentin, Bruel, Jean Michel, Gogolla, Martin, Kästner, Andreas, Rutle, Adrian, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Mazzara, Manuel, editor, Ober, Iulian, editor, and Salaün, Gwen, editor

Published
2018
Full Text
View/download PDF

28. Ambient Intelligence Users in the Loop: Towards a Model-Driven Approach

Author

Koussaifi, Maroun, Trouilhet, Sylvie, Arcangeli, Jean-Paul, Bruel, Jean-Michel, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Mazzara, Manuel, editor, Ober, Iulian, editor, and Salaün, Gwen, editor

Published
2018
Full Text
View/download PDF

29. Model-Based Systems Engineering for Systems Simulation

Author

Leroux, Renan, Pantel, Marc, Ober, Ileana, Bruel, Jean-Michel, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Weikum, Gerhard, Series Editor, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, and Margaria, Tiziana, editor

Published
2018
Full Text
View/download PDF

32. Towards a Methodological Tool Support for Modeling Security-Oriented Processes

Author

Geisel, Jacob, Hamid, Brahim, Gonzales, David, Bruel, Jean-Michel, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Bellatreche, Ladjel, editor, Pastor, Óscar, editor, Almendros Jiménez, Jesús M., editor, and Aït-Ameur, Yamine, editor

Published
2016
Full Text
View/download PDF

33. Model-Based Real-Time Evaluation of Security Patterns: A SCADA System Case Study

Author

Motii, Anas, Lanusse, Agnès, Hamid, Brahim, Bruel, Jean-Michel, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Skavhaug, Amund, editor, Guiochet, Jérémie, editor, Schoitsch, Erwin, editor, and Bitsch, Friedemann, editor

Published
2016
Full Text
View/download PDF

36. A Generic Traceability Framework for Model Composition Operation

Author

Laghouaouta, Youness, Anwar, Adil, Nassar, Mahmoud, Bruel, Jean-Michel, van der Aalst, Wil, Series editor, Mylopoulos, John, Series editor, Rosemann, Michael, Series editor, Shaw, Michael J., Series editor, Szyperski, Clemens, Series editor, Gaaloul, Khaled, editor, Schmidt, Rainer, editor, Nurcan, Selmin, editor, Guerreiro, Sérgio, editor, and Ma, Qin, editor

Published
2015
Full Text
View/download PDF

39. The Relevance of Model-Driven Engineering Thirty Years from Now

Author

Mussbacher, Gunter, Amyot, Daniel, Breu, Ruth, Bruel, Jean-Michel, Cheng, Betty H. C., Collet, Philippe, Combemale, Benoit, France, Robert B., Heldal, Rogardt, Hill, James, Kienzle, Jörg, Schöttle, Matthias, Steimann, Friedrich, Stikkolorum, Dave, Whittle, Jon, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Dingel, Juergen, editor, Schulte, Wolfram, editor, Ramos, Isidro, editor, Abrahão, Silvia, editor, and Insfran, Emilio, editor

Published
2014
Full Text
View/download PDF

42. Model Transformation Reuse Across Metamodels

Author

Bruel, Jean-Michel, primary, Combemale, Benoit, additional, Guerra, Esther, additional, Jézéquel, Jean-Marc, additional, Kienzle, Jörg, additional, de Lara, Juan, additional, Mussbacher, Gunter, additional, Syriani, Eugene, additional, and Vangheluwe, Hans, additional

Published
2018
Full Text
View/download PDF

45. Model-Driven Engineering for Trusted Embedded Systems Based on Security and Dependability Patterns

Author

Hamid, Brahim, Geisel, Jacob, Ziani, Adel, Bruel, Jean-Michel, Perez, Jon, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Khendek, Ferhat, editor, Toeroe, Maria, editor, Gherbi, Abdelouahed, editor, and Reed, Rick, editor

Published
2013
Full Text
View/download PDF

46. MDE4HPC: An Approach for Using Model-Driven Engineering in High-Performance Computing

Author

Palyart, Marc, Lugato, David, Ober, Ileana, Bruel, Jean-Michel, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Ober, Iulian, editor, and Ober, Ileana, editor

Published
2012
Full Text
View/download PDF

47. Improving Scalability and Maintenance of Software for High-Performance Scientific Computing by Combining MDE and Frameworks

Author

Palyart, Marc, Lugato, David, Ober, Ileana, Bruel, Jean-Michel, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Whittle, Jon, editor, Clark, Tony, editor, and Kühne, Thomas, editor

Published
2011
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results