- An Experiment in Using Model Driven Development: Compiling UML State Diagrams into VHDL
- Placement Opportunities Workshop Behzad Bordbar Sophie Charles
- Analysis of Model Transformations via Alloy Kyriakos Anastasakis1
- An Evaluation Mechanism for QoS Management in Wireless Systems Behzad Bordbar1
- DESIGN OF DISTRIBUTED MANUFACTURING SYSTEMS USING UML AND PETRI NETS B. Bordbar, L. Giacomini and D.J. Holding
- A formal model for integrating multiple views J. K. F. Bowles and B. Bordbar
- Using Traceability for Reverse Instance Transformations with SiTra
- Ensuring Spatio-Temporal Access Control for Real-World Applications
- On-line monitoring of large Petri Net models under partial observation
- Model Interoperability via Model Driven Development Mohamed A. Ameedeen1
- A model-based approach to Fault diagnosis in Service oriented Architectures
- 344 Journal of Digital Information Management Volume 7 Number 6 December 2009 Journal of Digital
- Int. J. Business Process Integration and Management, Vol. 4, No. 1, 2009 5 Copyright 2009 Inderscience Enterprises Ltd.
- From UML to Alloy and Back Again Seyyed M.A. Shah, Kyriakos Anastasakis, and Behzad Bordbar
- Stateless Data Concealment for Distributed Systems Rachid Anane1
- A Model Driven Architecture approach to fault tolerance in Service Oriented Architectures, a performance study
- UML2Alloy: A Challenging Model Transformation
- Bridging Technical Spaces With A Metamodel Refinement Approach. A BPEL To PN Case
- A Metamodel Refinement Approach for Bridging Technical Spaces, a Case Study
- A Comparative Study of Metamodel Integration and Interoperability in UML and Web Services
- MDA and Analysis of Web Applications Behzad Bordbar and Kyriakos Anastasakis
- Automated Generation of Metamodels for Web service Languages Behzad Bordbar and Athanasios Staikopoulos
- On Querying UML data models with OCL D.H.Akehurst and B.Bordbar
- Reg. x x=... Reg. y y=...
- UML AND PETRI NETS FOR DESIGN AND ANALYSIS OF DISTRIBUTED SYSTEMS B. Bordbar, L. Giacomini and D.J. Holding
- TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY
- A Model Driven Approach to the Analysis of Timeliness Mohamed A. Ameedeen1
- An Aspect-Oriented Methodology for Designing Secure Applications
- Verification of a Hybrid Model of a Manufacturing System using Rectangular Petri Nets
- A Pattern-based Approach to Business Process Modeling and Implementation in Web Services
- A UML-BASED APPROACH TO THE MODELLING AND SUPERVISORY CONTROL OF MANUFACTURING MACHINERY
- Maths vs (Meta)Modelling : Are we reinventing the Wheel?
- SiTra: Simple Transformations in Java D.H.Akehurst1, B.Bordbar2, M.J.Evans2, W.G.J.Howells1 K.D.McDonald-Maier3
- D.H. Akehurst, R. Vogel, and R.F. Paige (Eds.): ECMDA-FA 2007, LNCS 4530, pp. 4358, 2007. Springer-Verlag Berlin Heidelberg 2007
- An Architecture for Automated QoS Resolution in Wireless Systems Behzad Bordbar1
- Abstract--With the advent of Cloud computing massively scalable and cost effective IT resources can be accessed and used
- -*/,0% . % 1 -% 1.# 2 + 3 -+3 . %
- Automatic Normalisation via Metamodelling D.H.Akehurst, B.Bordbar, P.J.Rodgers, N.T.G.Dalgliesh
- Integrated Model-Based Software Development, Data Access, and Data Migration
- Design Support for Distributed Systems: DSE4DS D.H.Akehurst, B.Bordbar, J.Derrick, A.G.Waters
- SoSyM manuscript No. (will be inserted by the editor)
- Work Experience Finding A Placement
- A Model Driven Approach to Represent Sequence Diagrams as Free Choice Mohamed Ariff Ameedeen, Behzad Bordbar
- A model driven approach to the design and implementing of fault tolerant Service oriented Architectures
- OCL Constraints Generation from Natural Language Specification Imran Sarwar Bajwa, Behzad Bordbar, Mark G. Lee
- UML2ALLOY: A TOOL FOR LIGHTWEIGHT MODELLING OF DISCRETE EVENT SYSTEMS
- Using modeling to put HCI design patterns to work Russell Beale Behzad Bordbar
- Verification and Trade-Off Analysis of Security Properties in UML System Models
- Evaluating the Use of AOP and MDA in Web Service Development
- Modelling and Transforming the Behavioural aspects of Web Behzad Bordbar and Athanasios Staikopoulos
- B. BORDBAR et al: A TIMED AUTOMATA APPROACH TO QOS RESOLUTION I.J. of SIMULATION, Vol. 7, No. 1 ISSN: 1473-804x online, 1473-8031 print46
- Testing Deadlock-freeness in Real-time Systems; A Formal Approach
