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

Group by: Item Type | Date | No Grouping

2004 2003 2002 2001

Number of items: 13.

2004

Bujorianu, Manuela L. and Bujorianu, Marius C. (2004) Extending UML: A Foundational Approach to Heterogeneity. CSD-UMl'04 3rd International Workshop on Critical Systems Development with UML. The full text of this publication is not available from this repository.

Bujorianu, Marius C. and Boiten, E.A. (2004) Towards Correspondence Carrying Specifications. In: Rattray, Charles and Maharaj, Savitri and Shankland, Carron, eds. Algebraic Methodology and Software Technology. LNCS, 3116. Springer pp. 57-71. ISBN 3-540-22381-9 . The full text of this publication is not available from this repository.

Bujorianu, Marius C. (2004) Integration of Specification Languages Using Viewpoints. In: Boiten, E.A. and Derrick, J. and Smith, G., eds. Integrated Formal Methods. Springer pp. 421-440. ISBN 3-540-21377-5. The full text of this publication is not available from this repository.

2003

Boiten, E.A. and Bujorianu, Marius C. (2003) Exploring UML Refinement through Unification. In: Jurjens, J. and Rumpe, B. and France, R. and Fernandez, E.B., eds. Critical Systems Development with UML - Proceedings of the UML'03 workshop. Lecture Notes in Computer Science (TUM-I0323). Technische Universitat Munchen pp. 47-62. The full text of this publication is not available from this repository.

2002

Bujorianu, Marius C. and Maharaj, S. and Bujorianu, Manuela L. (2002) Towards a formalization of viewpoints testing. In: Formal Approaches To Testing of Software 2002 (FATES'02), 24th August 2002, Brno, Czech Republic.

Preview

Bujorianu, Marius C. and Bujorianu, Manuela L. (2002) Constructive Potential Theory: A Linear Logic Approach. In: NS 2002 Non-standard Methods and Applications in Mathematics, June 2002, Pisa, Italy. The full text of this publication is not available from this repository.

Bujorianu, Marius C. and Bujorianu, Manuela L. (2002) Constructive Potential Theory: Foundations and Applications. Technical report. University of Kent, Canterbury, Kent, UK

Preview

Preview

Bujorianu, Marius C. and Bujorianu, Manuela L. (2002) Linear Logic: from Stochastic Analysis to Software Testing. In: British colloquium on theoretical computer science 18, 7th-10th April 2002, HP laboratories Bristol . The full text of this publication is not available from this repository.

2001

Bujorianu, Marius C. and Bujorianu, Manuela L. (2001) On the Hilbert Machines Quantitative Computational Model. In: QAPL'01 Workshop on Quantitative Aspects of Programming Laguages. The full text of this publication is not available from this repository.

Bujorianu, Marius C. and Bujorianu, Manuela L. (2001) Logics, Viewpoints and Tests: Towards a Trinity. Other. Computing Laboratory, UKC (Unpublished) The full text of this publication is not available from this repository.

Bujorianu, Marius C. and Bujorianu, Manuela L. (2001) Order Theoretic Topologies and Hybrid Systems. In: 5th Galway Colloquium on General Topology, 27-29 June 2001, University of Hull. The full text of this publication is not available from this repository.

Bujorianu, Marius C. and Bujorianu, Manuela L. (2001) An Abstract Domain for Probabilistic Hybrid Systems. European Association for Theoretical Computer Science, Bulletin of the European Association for Theoretical Computer Science, Issue 74. The full text of this publication is not available from this repository.

Bujorianu, Manuela L. and Bujorianu, Marius C. (2001) Constructive Foundations of Stochastic Analysis in Linear Logic. In: BCTCS 17 British Colloquium for Theoretical Computer Science. The full text of this publication is not available from this repository.

This list was generated on Sun May 19 19:26:31 2013 BST.