Search results for: Paola Inverardi
Lecture Notes in Computer Science > Formal Methods for Eternal Networked Software Systems > Connector Synthesis > 148-190
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Synthesis and Adaptation > 124-139
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Model Driven Development > 57-71
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Distributed Components > 60-75
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > CONNECT: Status and Plans > 236-250
Lecture Notes in Computer Science > TAPSOFT '91 > 283-296
Lecture Notes in Computer Science > Software Configuration Management > Component-Based Systems > 231-244
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > CONNECT: Status and Plans > 278-292