Search results for: Jean-Guy Schneider
Journal of Systems and Software > 2018 > 137 > C > 531-549
Lecture Notes in Computer Science > Component-Based Software Engineering > Formal Methods and Model Checking > 130-145
Lecture Notes in Computer Science > Engineering Secure Software and Systems > Session 7. Ideas > 256-263
Lecture Notes in Computer Science > Software Composition > Session: Structural Composition > 235-251
Lecture Notes in Computer Science > Service-Oriented Computing – ICSOC 2008 Workshops > Fourth International Workshop on Engineering Service-Oriented Applications (WESOA 2008) > 28-40
Lecture Notes in Computer Science > Business Process Management Workshops > Semantics Workshop > 502-507
Lecture Notes in Computer Science > Object-Oriented Technology. ECOOP 2003 Workshop Reader > 107-118
IEEE Transactions on Software Engineering > 2014 > 40 > 5 > 461 - 482