Search research publications and outputs

  1. Specification-driven design with Eiffel and agents for teaching lightweight formal methods

    Paige, R. F. & Ostroff, J. S., 2004, TEACHING FORMAL METHODS, PROCEEDINGS. Dean, CN. & Boute, RT. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 107-123 17 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  2. Specification of Alternative Execution Semantics of UML Sequence Diagrams within Actor-Oriented Models

    Indrusiak, L. S. & Glesner, M., 2007, Proc 20th Symposium on Integrated Circuits and Systems Design (SBCCI). New York: Association for Computing Machinery (ACM), p. 330-335

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Specification and Quantitative Analysis of Probabilistic Cloud Deployment Patterns

    Johnson, K., Reed, S. & Calinescu, R., 29 Oct 2012, Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011. Eder, K., Loureno, J. & Shehory, O. (eds.). Springer, p. 145-159 15 p. (Lecture Notes in Computer Science; vol. 7261).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. Speaking the Language of Web Developers: Evaluation of a Web Accessibility Information Resource (WebAIR)

    Swallow, D. M., Power, C. D., Petrie, H., Bramwell-Dicks, A. F., Buykx, L., Velasco, C. A., Parr, A. & O Connor, J., 2014, Computers Helping People with Special Needs: 14th International Conference, ICCHP 2014, Paris, France, July 9-11, 2014, Proceedings, Part I. PART 1 ed. Springer, Vol. 8547 LNCS. p. 348-355 8 p. (Lecture Notes in Computer Science 0302-9743; vol. 8547).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  5. Spatial pyramid local keypoints quantization for bag of visual patches image representation

    Alqasrawi, Y., Neagu, D. & Cowling, P., 2010, Intelligent Systems Design and Applications (ISDA), 2010 10th International Conference on. p. 1270-1274 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  6. Spare Capacity Distribution Using Exact Response-Time Analysis

    Zabos, A., Davis, R. I., Burns, A. & Harbour, M. G., Oct 2009, International conference on Real-Time and Network Systems. p. 97-106

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  7. Sorted downward refinement: Building background knowledge into a refinement operator for inductive logic programming

    Frisch, A. M., 1999, INDUCTIVE LOGIC PROGRAMMING. Dzeroski, S. & Flach, P. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 104-115 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  8. Solving Acquisition Problems Using Model-Driven Engineering

    Burton, F. R., Paige, R. F., Rose, L. M., Kolovos, D., Poulding, S. M. & Smith, S., 2012, Modelling Foundations and Applications: 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings. Springer, Vol. 7349 LNCS. p. 428-443 16 p. (Lecture Notes in Computer Science; vol. 7349).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  9. Software stage-effort estimation based on association rule mining and Fuzzy set theory

    Azzeh, M., Cowling, P. I. & Neagu, D., 2010, Computer and Information Technology (CIT), 2010 IEEE 10th International Conference on. p. 249-256 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. Software project similarity measurement based on fuzzy C-means

    Azzeh, M., Neagu, D. & Cowling, P., 2008, International Conference on software process. p. 123-134 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  11. Software effort estimation based on weighted fuzzy grey relational analysis

    Azzeh, M., Neagu, D. & Cowling, P., 2009, Proceedings of the 5th International Conference on Predictor Models in Software Engineering. p. 8 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  12. Software Safety: where's the evidence

    McDermid, J. A. & Lindsay, P. A. (ed.), 2001, SCS '01 Proceedings of the Sixth Australian workshop on Safety critical systems and software. Brisbane: Australian Computer Society, Vol. 3. p. 1-6 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  13. Software Failure Propagation Prevention: Prevention of failure propagation between software of different criticality categories

    Hann, M., Wellings, A., Audsley, N. & Dapena, P. R., 18 Dec 2012, Proceedings of DASIA 2012 - DAta Systems In Aerospace. Vol. 701 SP.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  14. Software Engineering Techniques for the Development of Systems of Systems

    Calinescu, R. & Kwiatkowska, M., 2010, FOUNDATIONS OF COMPUTER SOFTWARE: FUTURE TRENDS AND TECHNIQUES FOR DEVELOPMENT. Choppy, C. & Sokolsky, O. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6028 LNCS. p. 59-82 24 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  15. Software Assurance Arguments vs. Formal Mathematical Arguments: A Complementary Role

    Habli, I., Kelly, T., McDermid, J. A. & Stephenson, Z., 2009, IEEE International Symposium on Software Reliability Engineering.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  16. Software Analytics for MDE Communities

    Williams, J. R., Matragkas, N. D., Kolovos, D. S., Korkontzelos, Y., Annaniadou, S. & Paige, R. F., 2014, OSS4MDE 2014: Proceedings of the 1st Workshop on Open Source Software for Model Driven Engineering co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages Systems, OSS4MDE@MoDELS 2014, Valencia, Spain, September 28, 2014.. CEUR Workshop Proceedings, p. 53-63 11 p. (CEUR Workshop Proceedings; vol. 1290).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  17. Social learning through evolution of language

    Kazakov, D. & Bartlett, M., 2004, ARTIFICIAL EVOLUTION. Liardet, P., Collet, P., Fonlupt, C., Lutton, E. & Schoenauer, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 397-408 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  18. SoC specification using UML and actor-oriented modeling

    Indrusiak, L. S. & Glesner, M., 2006, 2006 International Baltic Electronics Conference, Proceedings. NEW YORK: IEEE, p. 31-36 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  19. Smoothing tensor-valued images using anisotropic geodesic diffusion

    Zhang, F. & Hancock, E. R., 2006, STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION, PROCEEDINGS. Yeung, DY., Kwok, JT., Fred, A., Roli, F. & DeRidder, D. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 83-91 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  20. Smart devices and software agents: The basics of good behaviour

    Chivers, H., Clark, J. A. & Stepney, S., 2004, SECURITY IN PERVASIVE COMPUTING. Hutter, D., Muller, G., Stephan, W. & Ullmann, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 39-52 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  21. SmallCheck and Lazy SmallCheck automatic exhaustive testing for small values

    Runciman, C., Naylor, M. & Lindblad, F., 2008, HASKELL'08: PROCEEDINGS OF THE ACM SIGPLAN 2008 HASKELL SYMPOSIUM. NEW YORK: ASSOC COMPUTING MACHINERY, p. 37-48 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  22. Slice interpolation using the distance transform and morphing

    Luo, B. & Hancock, E. R., 1997, DSP 97: 1997 13TH INTERNATIONAL CONFERENCE ON DIGITAL SIGNAL PROCESSING PROCEEDINGS, VOLS 1 AND 2. NEW YORK: I E E E, COMPUTER SOC PRESS, p. 1083-1086 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  23. Sketching sketching: Outlines of a collaborative design method

    Craft, B. & Cairns, P., 2009, People and Computers XXIII Celebrating People and Technology - Proceedings of HCI 2009. p. 65-72 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  24. Simultaneous reflectance estimation and surface shape recovery using polarisation

    Zhang, L. & Hancock, E. R., 2012, 21st International Conference on Pattern Recognition. p. 1876-1879 6460520

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  25. Simultaneous Reflectance Estimation and Surface Shape Recovery Using Polarisation

    Zhang, L. & Hancock, E. R., 2012, Proceedings 21st International Conference on Pattern Recognition . IEEE Computer Society Press, p. 1876-1879 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

Previous 1...9 10 11 12 13 14 15 16 ...65 Next