Dave Clarke
AuthID: R-00G-V9G
1
TÃTULO: Typed connector families and their semantics Full Text
AUTORES: José Proença ; Dave Clarke;
PUBLICAÇÃO: 2017, FONTE: Sci. Comput. Program., VOLUME: 146
AUTORES: José Proença ; Dave Clarke;
PUBLICAÇÃO: 2017, FONTE: Sci. Comput. Program., VOLUME: 146
2
TÃTULO: A procedure for splitting data-aware processes and its application to coordination Full Text
AUTORES: Sung Shik T Q Jongmans; Dave Clarke; José Proença ;
PUBLICAÇÃO: 2016, FONTE: Sci. Comput. Program., VOLUME: 115-116
AUTORES: Sung Shik T Q Jongmans; Dave Clarke; José Proença ;
PUBLICAÇÃO: 2016, FONTE: Sci. Comput. Program., VOLUME: 115-116
3
TÃTULO: Feature Nets: behavioural modelling of software product lines Full Text
AUTORES: Radu Muschevici; Jose Proenca ; Dave Clarke;
PUBLICAÇÃO: 2016, FONTE: 10th International Conference on Integrated Formal Methods (IFM) in SOFTWARE AND SYSTEMS MODELING, VOLUME: 15, NÚMERO: 4
AUTORES: Radu Muschevici; Jose Proenca ; Dave Clarke;
PUBLICAÇÃO: 2016, FONTE: 10th International Conference on Integrated Formal Methods (IFM) in SOFTWARE AND SYSTEMS MODELING, VOLUME: 15, NÚMERO: 4
4
TÃTULO: Typed Connector Families
AUTORES: Jose Proenca ; Dave Clarke;
PUBLICAÇÃO: 2016, FONTE: 12th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE, VOLUME: 9539
AUTORES: Jose Proenca ; Dave Clarke;
PUBLICAÇÃO: 2016, FONTE: 12th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE, VOLUME: 9539
INDEXADO EM: 
WOS
WOS5
TÃTULO: Refraction: Low-Cost Management of Reflective Meta-Data in Pervasive Component-Based Applications
AUTORES: Wilfried Daniels; Jose Proenca ; Dave Clarke; Wouter Joosen; Danny Hughes;
PUBLICAÇÃO: 2015, FONTE: 2015 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE) in 2015 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE)
AUTORES: Wilfried Daniels; Jose Proenca ; Dave Clarke; Wouter Joosen; Danny Hughes;
PUBLICAÇÃO: 2015, FONTE: 2015 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE) in 2015 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE)
INDEXADO EM: 
Scopus WOS 
DBLP
Scopus WOS DBLP6
TÃTULO: Typed Connector Families
AUTORES: José Proença ; Dave Clarke;
PUBLICAÇÃO: 2015, FONTE: 12th International Conference on Formal Aspects of Component Software, FACS 2015 in Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers, VOLUME: 9539
AUTORES: José Proença ; Dave Clarke;
PUBLICAÇÃO: 2015, FONTE: 12th International Conference on Formal Aspects of Component Software, FACS 2015 in Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers, VOLUME: 9539
7
TÃTULO: Data Abstraction in Coordination Constraints
AUTORES: Proenca, J ; Clarke, D;
PUBLICAÇÃO: 2013, FONTE: European Conference on Service-Oriented and Cloud Computing, ESOCC 2013 in Communications in Computer and Information Science, VOLUME: 393 CCIS
AUTORES: Proenca, J ; Clarke, D;
PUBLICAÇÃO: 2013, FONTE: European Conference on Service-Oriented and Cloud Computing, ESOCC 2013 in Communications in Computer and Information Science, VOLUME: 393 CCIS
8
TÃTULO: Interactive interaction constraints
AUTORES: Proenca, J ; Clarke, D;
PUBLICAÇÃO: 2013, FONTE: 15th International Conference on Coordination Models and Languages, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7890 LNCS
AUTORES: Proenca, J ; Clarke, D;
PUBLICAÇÃO: 2013, FONTE: 15th International Conference on Coordination Models and Languages, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7890 LNCS
9
TÃTULO: Channel-based coordination via constraint satisfaction Full Text
AUTORES: Dave Clarke; José Proença ; Alexander Lazovik; Farhad Arbab;
PUBLICAÇÃO: 2011, FONTE: Sci. Comput. Program., VOLUME: 76, NÚMERO: 8
AUTORES: Dave Clarke; José Proença ; Alexander Lazovik; Farhad Arbab;
PUBLICAÇÃO: 2011, FONTE: Sci. Comput. Program., VOLUME: 76, NÚMERO: 8
10
TÃTULO: Towards a Theory of Views for Feature Models PDF
AUTORES: Dave Clarke; José Proença ;
PUBLICAÇÃO: 2010, FONTE: Software Product Lines - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings (Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations and Tools)
AUTORES: Dave Clarke; José Proença ;
PUBLICAÇÃO: 2010, FONTE: Software Product Lines - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings (Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations and Tools)
INDEXADO EM: DBLP
DBLP