Behzad Bordbar
Behzad Bordbar
School of Computer Science, University of Birmingham
Vahvistettu sähköpostiosoite verkkotunnuksessa cs.bham.ac.uk - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
UML2Alloy: A challenging model transformation
K Anastasakis, B Bordbar, G Georg, I Ray
International Conference on Model Driven Engineering Languages and Systems …, 2007
3502007
On challenges of model transformation from UML to Alloy
K Anastasakis, B Bordbar, G Georg, I Ray
Software & Systems Modeling 9 (1), 69, 2010
2332010
Analysis of model transformations via alloy
K Anastasakis, B Bordbar, JM Küster
Proceedings of the 4th MoDeVVa workshop Model-Driven Engineering …, 2007
1522007
SBVR business rules generation from natural language specification
IS Bajwa, MG Lee, B Bordbar
2011 AAAI Spring Symposium Series, 2011
1452011
SiTra: Simple transformations in java
DH Akehurst, B Bordbar, MJ Evans, WGJ Howells, KD McDonald-Maier
International Conference on Model Driven Engineering Languages and Systems …, 2006
1142006
An aspect-oriented methodology for designing secure applications
G Georg, I Ray, K Anastasakis, B Bordbar, M Toahchoodee, SH Houmb
Information and Software Technology 51 (5), 846-864, 2009
932009
On querying UML data models with OCL
DH Akehurst, B Bordbar
International Conference on the Unified Modeling Language, 91-103, 2001
832001
OCL constraints generation from natural language specification
IS Bajwa, B Bordbar, MG Lee
2010 14th IEEE International Enterprise Distributed Object Computing …, 2010
822010
From UML to Alloy and back again
SMA Shah, K Anastasakis, B Bordbar
International Conference on Model Driven Engineering Languages and Systems …, 2009
802009
UML2ALLOY: A tool for lightweight modelling of discrete event systems.
B Bordbar, K Anastasakis
IADIS AC, 209-216, 2005
752005
Ensuring spatio-temporal access control for real-world applications
M Toahchoodee, I Ray, K Anastasakis, G Georg, B Bordbar
Proceedings of the 14th ACM symposium on Access control models and …, 2009
582009
On-line monitoring of large Petri net models under partial observation
G Jiroveanu, RK Boel, B Bordbar
Discrete Event Dynamic Systems 18 (3), 323-354, 2008
562008
On behavioural model transformation in web services
B Bordbar, A Staikopoulos
International Conference on Conceptual Modeling, 667-678, 2004
552004
A DSL-based approach to software development and deployment on cloud
K Sledziewski, B Bordbar, R Anane
2010 24th IEEE International Conference on Advanced Information Networking …, 2010
442010
A model driven approach to represent sequence diagrams as free choice Petri nets
MA Ameedeen, B Bordbar
2008 12th International IEEE Enterprise Distributed Object Computing …, 2008
432008
MDA and analysis of web applications
B Bordbar, K Anastasakis
International Conference on Trends in Enterprise Application Architecture, 44-55, 2005
412005
Verification and trade-off analysis of security properties in UML system models
G Georg, K Anastasakis, B Bordbar, SH Houmb, I Ray, M Toahchoodee
IEEE Transactions on Software Engineering 36 (3), 338-356, 2010
402010
Model transformation from OWL-S to BPEL via SiTra
B Bordbar, G Howells, M Evans, A Staikopoulos
European Conference on Model Driven Architecture-Foundations and …, 2007
392007
UML and Petri nets for design and analysis of distributed systems
B Bordbar, L Giacomini, DJ Holding
Proceedings of the 2000. IEEE International Conference on Control …, 2000
392000
A framework for detecting malware in cloud by identifying symptoms
K Harrison, B Bordbar, STT Ali, CI Dalton, A Norman
2012 IEEE 16th International Enterprise Distributed Object Computing …, 2012
352012
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20