Volgen
Jocelyn Simmonds
Jocelyn Simmonds
Associate Professor, Computer Science Department, University of Chile
Geverifieerd e-mailadres voor dcc.uchile.cl - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
802019
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20