Login

In Proceedings

Handling Non-Functional Requirements in Model-Driven Development: An Ongoing Industrial Survey

InProceedings

Published in 01/08/2015

Authors

David Ameller, João Araújo, Richard Berntsson Svensson, Xavier Franch, Stefan Biffl, Jordi Cabot, Vittorio Cortellessa, Maya Daneva, Ana Moreira, Henry Muccini, Antonio Vallecillo, Manuel Wimmer, Vasco Amaral, Miguel Goulão, Bernhard Schatz, Sabine Teufl,

Characteristic Bisimulations for Higher-Order Session Processes

InProceedings

Published in 01/08/2015

Authors

Dimitrios Kouzapas, Nobuko Yoshida, Jorge A Pérez,

Combining rules and ontologies via parametrized logic programs

InProceedings

Published in 01/07/2015

Authors

Ricardo Gonçalves,

Scaffolding MATLAB and Octave Software Comprehension Through Visualization

InProceedings

Published in 01/07/2015

Authors

Ivan de Mattos Lessa, Glauco de Figueiredo Carneiro, Miguel Monteiro, Fernando Brito e Abreu,

Bootstrapping a hybrid deep MT system

InProceedings

Published in 01/07/2015

Authors

Luís Gomes,

A Synchronisation Mechanism based on User Feedback for Second Screen Applications

InProceedings

Published in 01/07/2015

Authors

Pedro Centieiro, Teresa Romão, A Eduardo Dias, Rui Neves Madeira,

Making sense of EveXL – the gamified evaluation of a DSL

InProceedings

Published in 01/07/2015

Authors

Bruno Cardoso, Teresa Romão,

Efficient Paraconsistent Reasoning with Ontologies and Rules

InProceedings

Published in 01/07/2015

Authors

Tobias Kaminski, Matthias Knorr, João Leite,

Well-founded paraconsistent semantics for hybrid theories composed of rules and ontologies

InProceedings

Published in 01/07/2015

Authors

Tobias Kaminski, Matthias Knorr, João Leite,

Declarative Interpretations of Session-Based Concurrency

InProceedings

Published in 01/07/2015

Authors

Mauricio Cano, Hugo A. Lopez, Jorge A Pérez, Camilo Rueda,