José Pedro Correia
José Pedro Correia
Verified email at - Homepage
Cited by
Cited by
Standardized code quality benchmarking for improving software maintainability
R Baggen, JP Correia, K Schill, J Visser
Software Quality Journal 20 (2), 287-307, 2012
Quantifying the analyzability of software architectures
E Bouwers, JP Correia, A van Deursen, J Visser
Software Architecture (WICSA), 2011 9th Working IEEE/IFIP Conference on, 83-92, 2011
Benchmark-based aggregation of metrics to ratings
TL Alves, JP Correia, J Visser
2011 Joint Conference of the 21st International Workshop on Software …, 2011
A survey-based study of the mapping of system properties to ISO/IEC 9126 maintainability characteristics
JP Correia, Y Kanellopoulos, J Visser
2009 IEEE International Conference on Software Maintenance, 61-70, 2009
Certification of technical quality of software products
JP Correia, J Visser
Proc. of the Int’l Workshop on Foundations and Techniques for Open Source …, 2008
Benchmarking technical quality of software products
JP Correia, J Visser
2008 15th Working Conference on Reverse Engineering, 297-300, 2008
Vagueness and imprecise imitation in signalling games
M Franke, JP Correia
The British Journal for the Philosophy of Science, 2017
Automatic event detection for software product quality monitoring
D Bijlsma, JP Correia, J Visser
2012 Eighth International Conference on the Quality of Information and …, 2012
Measuring maintainability of spreadsheets in the wild
JP Correia, MA Ferreira
Software Maintenance (ICSM), 2011 27th IEEE International Conference on, 516-519, 2011
The Bivalent Trap: Vagueness, Theories of Meaning, and Identity
JP Correia
Universiteit van Amsterdam, 2013
Towards an ecology of vagueness
JP Correia, M Franke
Vagueness and Rationality in Language Use and Cognition, 87-113, 2019
Requirements for automated assessment of spreadsheet maintainability
JP Correia, MA Ferreira
arXiv preprint arXiv:1111.6902, 2011
Towards more realistic modeling of linguistic color categorization
JP Correia, R Ocelák
Open Philosophy 2 (1), 160-189, 2019
Analysis and Explanation in the Philosophical Investigations
JP Correia
Analysis and Explication in 20th Century Philosophy, 53-71, 2020
Formally Verifying Imperative Programs
JP Correia, JP Magalhaes, J Sousa Pinto
Compilers, Related Technologies and Applications, 74-85, 2007
The system can't perform the operation now. Try again later.
Articles 1–15