Jocelyn Simmonds
Jocelyn Simmonds
Email verificata su dcc.uchile.cl - Home page
TitoloCitata daAnno
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
2392003
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
962009
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
602005
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
412004
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
402003
Detecting Inconsistencies between UML Models Using Description Logic.
R Van Der Straeten, J Simmonds, T Mens
Description Logics 81, 2003
392003
Guided recovery for web service applications
J Simmonds, S Ben-David, M Chechik
Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010
382010
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
372010
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
282002
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
272013
Monitoring and recovery of web service applications
J Simmonds, S Ben-David, M Chechik
The smart internet, 250-288, 2010
242010
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
192015
Dynamic analysis of web services
J Simmonds
162011
Modeling variability in software process lines
J Simmonds, MC Bastarrica
Departamento de Ciencias de la Computación. Universidad de Chile, 2011
152011
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
142013
Semi-automated Tool Recommender for Software Development Processes.
M Pilar, J Simmonds, H Astudillo
Electr. Notes Theor. Comput. Sci. 302, 95-109, 2014
132014
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20