Search results for: Luciano Baresi
Journal of Software: Evolution and Process > 33 > 2 > n/a - n/a
IEEE Transactions on Software Engineering > 2017 > 43 > 4 > 340 - 358
Journal of Systems and Software > 2017 > 125 > C > 309-321
Information and Software Technology > 2016 > 80 > C > 245-264
Automated Software Engineering > 2017 > 24 > 2 > 369-391
Lecture Notes in Computer Science > Advanced Information Systems Engineering > Process Modelling I > 340-354
Lecture Notes in Computer Science > Formal Techniques for Distributed Systems > Regular Contributions > 26-40
Lecture Notes in Computer Science > Towards a Service-Based Internet > Adaptation/Monitoring (1) > 1-12
Lecture Notes in Computer Science
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2007 > Technical Session 6. Model Checking > 247-262
Lecture Notes in Computer Science > Architecting Dependable Systems IV > Architecting Distributed Systems > 337-361
Lecture Notes in Computer Science > Towards a Service-Based Internet > Applications and Mashups > 112-123
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Requirements Engineering > 294-307
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2006 > Middleware > 131-135