Seguir
Jocelyn Simmonds
Jocelyn Simmonds
Associate Professor, Computer Science Department, University of Chile
Dirección de correo verificada de dcc.uchile.cl - Página principal
Título
Citado por
Citado por
Año
Using description logic to maintain consistency between UML models
R Van Der Straeten, T Mens, J Simmonds, V Jonckers
«UML» 2003-The Unified Modeling Language. Modeling Languages and …, 2003
2772003
Runtime monitoring of web service conversations
J Simmonds, Y Gan, M Chechik, S Nejati, B O'Farrell, E Litani, ...
IEEE Transactions on Services Computing 2 (3), 223-244, 2009
1122009
The robot operating system: Package reuse and community dynamics
P Estefo, J Simmonds, R Robbes, J Fabry
Journal of Systems and Software 151, 226-242, 2019
812019
Software product line evolution: A systematic literature review
M Marques, J Simmonds, PO Rossel, MC Bastarrica
Information and Software Technology 105, 190-208, 2019
762019
A framework for managing consistency of evolving UML models
T Mens, R Van Der Straeten, J Simmonds
Software Evolution with UML and XML, 1-30, 2005
742005
Guided recovery for web service applications
J Simmonds, S Ben-David, M Chechik
Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010
482010
Maintaining Consistency between UML Models Using Description Logic.
J Simmonds, R Van Der Straeten, V Jonckers, T Mens
Obj. Logiciel Base données Réseaux 10 (2-3), 231-244, 2004
482004
Detecting Inconsistencies between UML Models Using Description Logic.
R Van Der Straeten, J Simmonds, T Mens
Description Logics 81, 1-15, 2003
442003
A tool for automatic UML model consistency checking
J Simmonds, MC Bastarrica
Proceedings of the 20th IEEE/ACM international Conference on Automated …, 2005
432005
Maintaining consistency between UML models with description logic tools
T Mens, R Van Der Straeten, J Simmonds
ECOOP workshop on object-oriented reengineering 3031, 115, 2003
412003
Exploiting resolution proofs to speed up LTL vacuity detection for BMC
J Simmonds, J Davies, A Gurfinkel, M Chechik
International journal on software tools for technology transfer 12, 319-335, 2010
402010
Consistency maintenance of UML models with description logics
J Simmonds
Unpublished master’s thesis, Department of Computer Science, Vrije …, 2003
362003
MDE software process lines in small companies
JA Hurtado, MC Bastarrica, SF Ochoa, J Simmonds
Journal of Systems and Software 86 (5), 1153-1171, 2013
342013
A comparison of software refactoring tools
J Simmonds, T Mens
Programming Technology Lab, 2002
342002
Affirmative action for attracting women to STEM in Chile
MC Bastarrica, N Hitschfeld, MM Samary, J Simmonds
Proceedings of the 1st International Workshop on Gender Equality in Software …, 2018
332018
Property patterns for runtime monitoring of web service conversations
J Simmonds, M Chechik, S Nejati, E Litani, B O’Farrell
International Workshop on Runtime Verification, 137-157, 2008
332008
A megamodel for software process line modeling and evolution
J Simmonds, D Perovich, MC Bastarrica, L Silvestre
2015 ACM/IEEE 18th International Conference on Model Driven Engineering …, 2015
302015
Description logics for consistency checking of architectural features in UML 2.0 models
J Simmonds, MC Bastarrica
Departamento de Ciencias de la Computacion, Facultad de Ciencias Fısicas y …, 2005
302005
Assessing software development skills among K-6 learners in a project-based workshop with scratch
FJ Gutierrez, J Simmonds, N Hitschfeld, C Casanova, C Sotomayor, ...
Proceedings of the 40th International Conference on Software Engineering …, 2018
292018
A teacher workshop for introducing computational thinking in rural and vulnerable environments
J Simmonds, FJ Gutierrez, C Casanova, C Sotomayor, N Hitschfeld
Proceedings of the 50th ACM technical symposium on computer science …, 2019
262019
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20