Her scientific interests lie mostly in Programming language, Theoretical computer science, Temporal logic, Model checking and Formal specification. She focuses mostly in the field of Programming language, narrowing it down to topics relating to Natural language and, in certain cases, Requirements analysis, Ambiguity, Functional requirement, Requirements engineering and Use case. Her Theoretical computer science research integrates issues from Algorithm, State and Algebraic graph theory.
As part of one scientific family, Stefania Gnesi deals mainly with the area of Model checking, narrowing it down to issues related to the Distributed computing, and often Interface and Exploit. Her studies in Formal specification integrate themes in fields like Software architecture, Formal methods, Conformance testing and Formal verification. Her Formal methods study is concerned with the larger field of Software engineering.
Stefania Gnesi focuses on Software engineering, Model checking, Formal methods, Programming language and Theoretical computer science. Her Software engineering study deals with Software intersecting with Product and Natural language. She has included themes like Temporal logic, Process calculus, Fault tolerance, Finite-state machine and Formal verification in her Model checking study.
Stefania Gnesi works mostly in the field of Formal methods, limiting it down to concerns involving Formal specification and, occasionally, Life-critical system. Her study in Unified Modeling Language and Correctness are all subfields of Programming language. Her Theoretical computer science research is multidisciplinary, incorporating elements of Algorithm and State.
Stefania Gnesi mainly investigates Artificial intelligence, Natural language processing, Formal methods, Ambiguity and Software engineering. Her Natural language processing research is multidisciplinary, incorporating perspectives in Set, Natural language requirements, Requirements engineering, Variation and Requirements analysis. Her Formal methods study also includes
Her work deals with themes such as Requirements elicitation, Natural language and Identification, which intersect with Ambiguity. Her Software engineering research incorporates themes from Software system, Software, Software development and Formal verification. Her research in Formal verification tackles topics such as State which are related to areas like Theoretical computer science.
The scientist’s investigation covers issues in Artificial intelligence, Software, Domain, Requirements analysis and Natural language processing. Stefania Gnesi combines subjects such as Formal methods, Natural language and Interface with her study of Domain. Her Formal methods research focuses on Engineering management and how it relates to Formal verification.
Stefania Gnesi has researched Requirements analysis in several fields, including Empirical research and Ambiguity. Her study focuses on the intersection of Natural language processing and fields such as Requirements engineering with connections in the field of Terminology. Her work focuses on many connections between Spurious relationship and other disciplines, such as Service-oriented architecture, that overlap with her field of interest in Software engineering.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
FME 2003: Formal Methods
Keijiro Araki;Stefania Gnesi;Dino Mandrioli.
Lecture Notes in Computer Science (2003)
Leveraging Applications of Formal Methods, Verification and Validation
Martin Wirsing;Matthias Hölzl;Lucia Acciai;Federico Banti.
Springer-Verlag GmbH (2008)
Application of linguistic techniques for Use Case analysis
A. Fantechi;S. Gnesi;G. Lami;A. Maccari.
international conference on requirements engineering (2002)
Web Service Composition Approaches: From Industrial Standards to Formal Methods
M. ter Beek;A. Bucchiarone;S. Gnesi.
international conference on internet and web applications and services (2007)
The linguistic approach to the natural language requirements quality: benefit of the use of an automatic tool
F. Fabbrini;M. Fusani;S. Gnesi;G. Lami.
annual software engineering workshop (2001)
An action-based framework for verifying logical and behavioural properties of concurrent systems
R. De Nicola;A. Fantechi;S. Gnesi;G. Ristori.
Computer Networks and Isdn Systems (1993)
An automatic tool for the analysis of natural language requirements.
Stefania Gnesi;Giuseppe Lami;Gianluca Trentanni.
Computer Systems: Science & Engineering (2005)
An Automatic Quality Evaluation for Natural Language Requirements
F. Fabbrini;M. Fusani;S. Gnesi;G. Lami.
Formal test-case generation for UML statecharts
S. Gnesi;D. Latella;M. Massink.
international conference on engineering of complex computer systems (2004)
Assisting requirement formalization by means of natural language translation
A. Fantechi;S. Gnesi;G. Ristori;M. Carenini.
formal methods (1994)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: