Search results for: Patrizio Pelliccione
Requirements Engineering > 2019 > 24 > 3 > 315-340
Journal of Software: Evolution and Process > 31 > 5 > n/a - n/a
Journal of Systems and Software > 2017 > 134 > C > 190-210
Journal of Systems Architecture > 2017 > 77 > C > 83-100
Software & Systems Modeling > 2019 > 18 > 1 > 7-10
IEEE Access > 2017 > 5 > 21791 - 21805
IEEE Software > 2017 > 34 > 1 > 46 - 53
Lecture Notes in Computer Science > Quality of Software Architectures > Processes for Supporting Architecture Quality > 127-144
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2006 > Symbolic Verification – Slicing > 243-258
Lecture Notes in Computer Science > Scientific Engineering for Distributed Java Applications > An Experience in Architectural Extensions: Active Objects in J2EE > 87-98
Lecture Notes in Computer Science > FME 2003: Formal Methods > I-Day > 114-132
Lecture Notes in Computer Science > Component-Based Software Engineering > Extra-Functional System Properties of Components and Component-Based Systems > 267-282
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Graph Transformation > 139-153
Lecture Notes in Computer Science > Software Engineering for Resilient Systems > Requirements Engineering and Product Lines > 100-105