Search results for: Carlos Canal
Software: Practice and Experience > 51 > 9 > 1910 - 1935
Pervasive and Mobile Computing > 2017 > 35 > C > 32-50
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Contributed Talks > 42-56
Lecture Notes in Computer Science > Coordination Models and Languages > Session 7. Components and Services II > 305-323
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Regular Papers > 63-77
Lecture Notes in Computer Science > Object-Oriented Technology. ECOOP 2007 Workshop Reader > Software Engineering > 154-165
Lecture Notes in Computer Science > On the Move to Meaningful Internet Systems: OTM 2010 Workshops > Adaptation in Service-Oriented Architectures > 67-76
Lecture Notes in Computer Science > Object-Oriented Technology. ECOOP 2004 Workshop Reader > 133-147
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Formal Methods in Model-Driven Development for Service-Oriented and Cloud Computing > 112-126
Lecture Notes in Computer Science > Object-Oriented Technology. ECOOP 2006 Workshop Reader > Software Engineering > 72-86
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Models, Model Transformations II > 423-427
IEEE Internet Computing > 2015 > 19 > 2 > 40 - 47
IEEE Software > 2014 > 31 > 2 > 48 - 53
The Journal of Systems & Software > 2013 > 86 > 9 > 2294-2308