Skip to main content
Kent Academic Repository

Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 19.

Article

Bordbar, Behzad and Derrick, John and Waters, A. Gill (2002) Using UML to specify QoS constraints in ODP. Computer Networks, 40 (2). pp. 279-304. ISSN 1389-1286. (doi:https://doi.org/10.1016/S1389-1286(02)00255-4) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bordbar, Behzad and Pym, J.S. (2000) The Set of Idempotents in the Weakly Almost Periodic Compactification of the Integers is not Closed. Transactions of the American Mathematical Society, 352 (2). pp. 823-842. ISSN 0002-9947. (Full text available)
[img]
Preview

Bordbar, Behzad and Pym, J.S. (1998) The weakly almost periodic compactification of a direct sum of finite groups. Mathematical Proceedings of the Cambridge Philosophical Society, 124 (3). pp. 421-449. ISSN 0305-0041. (doi:https://doi.org/10.1017/S0305004198002540) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bordbar, Behzad (1998) Weakly almost period functions on N with a negative base. Journal of the London Mathematical Society, (57). pp. 706-720. ISSN 0024-6107. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Conference or workshop item

Howells, Gareth and Bordbar, Behzad and Akehurst, David H. (2009) Model Transformation using Adaptive Systems. In: ICSOFT 2009 - Proceedings of the 4th International Conference on Software and Data Technologies, Volume 1, Sofia, Bulgaria, July 26-29, 2009. INSTICC Press pp. 133-138. ISBN 978-989-674-009-2. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bordbar, Behzad and Howells, Gareth and Evans, Michael J. and Staikopoulos, Athanasios (2007) Model Transformation from OWL-S to BPEL via SiTra. In: Akehurst, David H. and Vogel, RĂ©gis and Paige, Richard F., eds. Third European Conference on Model Driven Architecture: Foundations and Applications (ECMDA), Haifa, Israel. Lecture Notes in Computer Science, 4530. Springer-Verlag pp. 43-58. ISBN 978-3-540-72900-6. (doi:https://doi.org/10.1007/978-3-540-72901-3) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bordbar, Behzad and Derrick, John and Waters, A. Gill (2003) A UML approach to the design of open distributed systems. In: George, Chris and Miao, Huaikou, eds. Formal Methods and Software Engineering. Lecture Notes in Computer Science, 2495. Springer pp. 561-572. ISBN 978-3-540-00029-7. (doi:https://doi.org/10.1007/3-540-36103-0_56) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Akehurst, David H. and Bordbar, Behzad and Derrick, John and Waters, A. Gill (2002) Design Support for Distributed Systems: DSE4DS. In: Finney, Joe and Haahr, Mads and Montressor, Alberto, eds. Procedings of the 7th Cabernet Radicals Workshop. (Full text available)
[img]
Preview

Akehurst, David H. and Bordbar, Behzad and Rodgers, Peter and Dalgliesh, N.T.G. (2002) Automatic Normalisation via Metamodelling. In: ASE 2002 Workshop on Declarative Meta Programming to Support Software Development. (Full text available)
[img]
Preview

Akehurst, David H. and Bordbar, Behzad (2001) On Querying UML data models with OCL. In: Gogolla, Martin and Kobryn, Cris, eds. UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools: 4th International Conference, Toronto, Canada, October 1-5, 2001. Proceedings. Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence, LNCS 2. Springer, Berlin pp. 91-103. ISBN 3-540-42667-1. (doi:https://doi.org/10.1007/3-540-45441-1_8) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bordbar, Behzad and Giacomini, Luisa and Holding, David J. (2000) Hybrid Control Systems: a Design Case Study. In: IEEE CCA/CACSD. IEEE, Alaska, USA pp. 947-952. ISBN 0-7803-6562-3. (doi:https://doi.org/10.1109/CCA.2000.897592) (Full text available)
[img]
Preview

Bordbar, Behzad and Giacomini, Luisa and Holding, David J. (2000) UML and Petri Nets for Design and Analysis of Distributed Systems. In: IEEE CCA/CACSD. IEEE, Alaska, USA pp. 610-615. ISBN 0-7803-6562-3. (doi:https://doi.org/10.1109/CCA.2000.897497) (Full text available)
[img]
Preview

Bordbar, Behzad and Giacomini, Luisa and Holding, David J. (2000) Verification of a Hybrid Model of a Manufacturing System using Rectangular Petri Nets. In: Proceedings of the 6th International Workshop on Discrete Event Systems. , Ghent, Belgium (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bordbar, Behzad and Giacomini, Luisa and Holding, David J. (2000) Design of Distributed Manufacturing Systems using UML and Petri Nets. In: Proceedings of 6th International Federation of Automatic Control (IFAC). Workshop on Algorithms and Architectures for Real-Time Control. Elsevier, Palma de Mallorca, Spain pp. 105-110. ISBN 0-08-043685-4. (Full text available)
[img]
Preview

Bordbar, Behzad and Giacomini, Luisa and Holding, David J. (2000) A UML-based Approach to the Modelling and Supervisory Control of Manufacturing Machinery. In: IEE Control Seminars on Model Validation for Plant Control and Condition Monitoring. IEE Digest, London pp. 31-33. (doi:https://doi.org/10.1049/ic:20000237) (Full text available)
[img]
Preview

Giacomini, Luisa and Bordbar, Behzad and Holding, David J. (2000) Hybrid Sliding Mode Control for a Set of Interconnected Nonlinear. In: Proceedings of the 39th IEEE Conference on Decision and Control. IEEE Conference on Decision and Control - Proceedings, 1-5. , Sydney Convention and Exhibition Centre pp. 2180-2185. ISBN 0-7803-6638-7. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Boel, R.K. and Bordbar, Behzad and Stremersch, G. (1998) Controlled Timed Petri Nets: Equivalence Relations, Model Reduction. In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics. IEEE Systems, Man, and Cybernetics,Conference, 1. IEEE, San Diego, California, USA pp. 674-679. ISBN 0-7803-4778-1. (doi:https://doi.org/10.1109/ICSMC.1998.725491) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Boel, R.K. and Bordbar, Behzad and Stremersch, G. (1998) A Min-plus Polynomial Approach to Forbidden State Control for General Petri Nets. In: Proceedings of the 4th International Workshop on Discrete Event Systems. , Cagliari, Italy pp. 79-84. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Other

Akehurst, David H. and Uzenkov, Oleg and Howells, Gareth and McDonald-Maier, Klaus D. and Bordbar, Behzad (2007) Compiling UML State Diagrams into WHDL: An Experiment in using Model Driven Development. CiteSeer. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

This list was generated on Thu Apr 11 20:50:59 2019 BST.