Jocelyn Simmonds
Jocelyn Simmonds
Dirección de correo verificada de dcc.uchile.cl - Página principal
TítuloCitado porAño
Using description logic to maintain consistency between UML models
R Van Der Straeten, T Mens, J Simmonds, V Jonckers
International Conference on the Unified Modeling Language, 326-340, 2003
2262003
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
892009
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
562005
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
Maintaining Consistency between UML Models Using Description Logic.
J Simmonds, R Van Der Straeten, V Jonckers, T Mens
L'OBJET 10 (2-3), 231-244, 2004
392004
Guided recovery for web service applications
J Simmonds, S Ben-David, M Chechik
Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010
372010
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 (5), 319-335, 2010
362010
Detecting Inconsistencies between UML Models Using Description Logic.
R Van Der Straeten, J Simmonds, T Mens
Description Logics 81, 2003
362003
Consistency maintenance of UML models with description logics
J Simmonds
362003
A tool for automatic UML model consistency checking
J Simmonds, MC Bastarrica
Proceedings of the 20th IEEE/ACM international Conference on Automated …, 2005
352005
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
282008
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
282005
A comparison of software refactoring tools
J Simmonds, T Mens
Programming Technology Lab, 2002
252002
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
242013
Monitoring and recovery of web service applications
J Simmonds, S Ben-David, M Chechik
The smart internet, 250-288, 2010
222010
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
152015
Dynamic analysis of web services
J Simmonds
152011
Modeling variability in software process lines
J Simmonds, MC Bastarrica
Departamento de Ciencias de la Computación. Universidad de Chile, 2011
142011
Semi-automated tool recommender for software development processes
M Pilar, J Simmonds, H Astudillo
Electronic Notes in Theoretical Computer Science 302, 95-109, 2014
112014
Variability in software process models: Requirements for adoption in industrial settings
J Simmonds, MC Bastarrica, L Silvestre, A Quispe
2013 4th International Workshop on Product LinE Approaches in Software …, 2013
112013
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20