Browse by Publisher

Group by: Item Type | Date | No Grouping

Jump to: Article | Conference proceeding

Number of items: 11.

Article

Hatton, Leslie (1997) Re-examining the fault density - component size connection. IEE Software, 14 (2). pp. 89-97. ISSN 0740-7459. (doi:10.1109/52.582978) (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) (KAR id:21532)

Conference proceeding

Suvanaphen, Edward, Roberts, Jonathan C. (2007) Visualizing Evolving Searches with EvoBerry. In: Proceedings of the 11th International Conference on Information Visualization (IV07), JUL 04-06, 2007, Zurich, Switzerland. (doi:10.1109/IV.2007.135) (KAR id:14570)

Oliveira, Marcel V. M., Xavier, Manuela A., Cavalcanti, Ana L. C. (2004) Refine and Gabriel: Support for Refinement and Tactics. In: 2nd IEEE International Conference on Software Engineering and Formal Methods, Sep 28-30, 2004, Beijing, P.R. China,. (doi:10.1109/SEFM.2004.1347535) (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) (KAR id:14109)

Gil, Joseph, Howse, John, Kent, Stuart (2001) Towards a Formalization of Constraint Diagrams. In: Proceedings of IEEE Symposia on Human-Centric Computing. (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) (KAR id:13490)

Speirs, Neil, Arief, Budi (2000) Simulation of a telecommunication system using simML. In: (SS 2000) Proceedings. 33rd Annual Simulation Symposium, 2000. IEEE Computer Society Press, Los Alamitos, CA, United States, Washington, DC, USA ISBN 0-7695-0598-8. (doi:10.1109/SIMSYM.2000.844909) (KAR id:58701)

Gil, Joseph, Howse, John, Kent, Stuart (1999) Constraint Diagrams: A Step Beyond UML. In: Technology of Object-Oriented Languages and Systems (TOOLS USA'99), August 01-05, 1999, Santa Barbara, California , USA. (doi:10.1109/TOOLS.1999.10066) (KAR id:21740)

Howse, John, Molina, Fernando, Taylor, John, Kent, Stuart (1999) Reasoning with Spider Diagrams. In: Proceedings of IEEE Symposium on Visual Languages (VL99), Sep 13-16, 1999, Tokyo, Japan. (doi:10.1109/VL.1999.795885) (KAR id:21742)

Lauder, Anthony, Kent, Stuart (1999) Two-Level Modeling. In: 31st International Conference on Technology of Object-Oriented Language and Systems, 1999, (TOOLS Asia 99), Sep 22-25, 1999, Nanjing, China. (doi:10.1109/TOOLS.1999.796473) (KAR id:21725)

Kent, Stuart, Howse, John (1999) Mixing Visual and Textual Constraint Languages. In: 2nd International Conference on the Unified Modeling Language (UML 99), Oct 28-30, 1999, Ft Collins, Colorado. (doi:10.1007/3-540-46852-8_28) (KAR id:21765)

Rizzo, Mike, Utting, Ian (1997) A Negotiating Agents Model for the Provision of Flexible Telephony Services. In: Proceedings ISADS 97 - Third International Symposium on Autonomous Decentralized Systems, APR 08-11, 1997, Berlin, Germany,. (KAR id:21512)

Makinson, Gordon, Wojtulewicz, M. (1993) Further Development of a Distributed Transputer Based X Server. In: Proceedings of the Seventh International Parallel Processing Symposium. (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) (KAR id:21121)

This list was generated on Mon Mar 30 06:31:36 2026 BST.