Stefania Gnesi

Stefania Gnesi (born 1954) is an Italian software engineer whose work focuses on formal methods, and the use of natural language and natural language processing in requirements analysis. She is a director of research at the Istituto di Scienza e Tecnologie dell'Informazione of the Italian National Research Council (CNR), where she heads the Formal Methods and Tools group. Provided by Wikipedia
Showing 1 - 8 results of 8 for search 'Gnesi, Stefania', query time: 0.03s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Proceedings of the 18th International Software Product Line Conference - Volume 1

    Proceedings of the 18th International Software Product Line Conference - Volume 1 by Gnesi, Stefania

    Published 2014
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  2. 2
    Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering

    Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering by Gnesi, Stefania

    Published 2022
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  3. 3
    Proceedings of the 18th International Software Product Line Conference: Companion Volume for Workshops, Demonstrations and Tools - Volume 2

    Proceedings of the 18th International Software Product Line Conference: Companion Volume for Workshops, Demonstrations and Tools - Volume 2 by Gnesi, Stefania

    Published 2014
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  4. 4
    Proceedings of the 6th Conference on Formal Methods in Software Engineering

    Proceedings of the 6th Conference on Formal Methods in Software Engineering by Gnesi, Stefania

    Published 2018
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  5. 5
    Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering

    Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering by Gnesi, Stefania

    Published 2014
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  6. 6
    Proceedings of the 7th International Workshop on Variability Modelling of Software-Intensive Systems

    Proceedings of the 7th International Workshop on Variability Modelling of Software-Intensive Systems by Gnesi, Stefania

    Published 2013
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  7. 7
    The integration project for the JACK environment

    The integration project for the JACK environment by Bouali, Amar, Gnesi, Stefania, LaRosa, Salvatore

    Published 1994
    Book Interlibrary loan Place Request


    Saved in:
  8. 8
    Requirements engineering: foundation for software quality 26th international working conference, REFSQ 2020, Pisa, Italy, March 24–27, 2020, proceedings

    Requirements engineering: foundation for software quality 26th international working conference, REFSQ 2020, Pisa, Italy, March 24–27, 2020, proceedings

    Published 2020
    Other Authors:
    Get full text
    Electronic Conference Proceeding eBook


    Saved in:

Search Tools: