Search research publications and outputs

  1. Other chapter contribution › Research
  2. Abstraction and reformulation in the generation of constraint models - (Extended abstract)

    Frisch, A. M., 2007, Abstraction, Reformulation, and Approximation, Proceedings. Miguel, I. & Ruml, W. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 23 2 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  3. Analysing System Failure Behaviours with PRISM

    Ge, X., Paige, R. F. & McDermid, J. A., Jun 2010, Proceedings of the 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion (SSIRI-C). p. 130-136 6 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  4. Assurance in High-Integrity Software

    McDermid, J. A. & Sennett, C. T. (ed.), 1989, High-integrity software. Pitman, p. 226-273 48 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  5. Birds of a feather Group on Safety Critical Systems

    Cullyer, W. J., McDermid, J. A., Halang, W. A. (ed.) & Stoyenko, A. D. (ed.), 1993, Real-Time Computing. Springer-verlag, p. 755-756 2 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  6. Deductive Reasoning and Statistical Inference

    Cussens, J., 2005, Encyclopedia of Statistics in Behavioral Science. Chichester: John Wiley & Sons

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  7. Development of High Integrity Software Product Lines using Model Transformation

    Hutchesson, S. G. & McDermid, J. A., 2010, Computer Safety, Reliability and Security: SAFECOMP'10 Proceedings of the 29th International Conference on Computer Safety, Reliability, and Security. Heidelberg: Springer, Vol. 6351. p. 389-401 13 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  8. Domain Analysis of an Electronic Health records System

    Ge, X., Paige, R. F. & McDermid, J. A., 2009, FOSD '09 Proceedings of the First International Workshop on Feature-Oriented Software Development . New York: ACM, p. 49-54 5 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  9. Evolution of Cooperation in an Incentive Based Business Game Environment

    Bista, S. K., Dahal, K. P. & Cowling, P. I., 2008, Global Design to Gain a Competitive Edge. Springer London, p. 875-882 8 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  10. Experiments in Inductive Chart Parsing

    Cussens, J. & Pulman, S., 2000, Learning Language in Logic. Cussens, J. & Dzeroski, S. (eds.). SPRINGER, Vol. 1925. (LNAI).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  11. Hyperheuristics: recent developments

    Chakhlevitch, K. & Cowling, P., 2008, Adaptive and multilevel metaheuristics. Springer Berlin/Heidelberg, p. 3-29 27 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

Previous 1 2 3 Next