Search results for: Stefania Gnesi
Journal of Software: Evolution and Process > 30 > 12 > n/a - n/a
International Journal on Software Tools for Technology Transfer > 2018 > 20 > 4 > 355-358
International Journal on Software Tools for Technology Transfer > 2018 > 20 > 3 > 237-241
Empirical Software Engineering > 2018 > 23 > 6 > 3684-3733
IEEE Software > 2017 > 34 > 6 > 28 - 35
Journal of Logical and Algebraic Methods in Programming > 2017 > 87 > C > 52-66
Lecture Notes in Computer Science > SDL 2007: Design for Dependable Systems > Model Driven Engineering > 19-34
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Formal Methods > 420-430
Journal of Rail Transport Planning & Management > 2016 > 6 > 2 > 163-181
Information Systems Frontiers > 2018 > 20 > 2 > 343-371
Lecture Notes in Computer Science > Software Product-Family Engineering > Requirements Analysis and Management > 181-197
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Verification and Testing I > 230-245
Lecture Notes in Computer Science > Computer Safety, Reliability, and Security > Session 9: Formal Verification 3 > 383-396