Publications

Meier R, Cahill V.  2010.  On Event-Based Middleware for Location-Aware Mobile Applications. IEEE Transactions on Software Engineering (TSE). 36

Botterweck G, Pleuss A, Dhungana D, Polzer A, Kowalewski S.  2010.  EvoFM: feature-driven planning of product-line evolution. Proceedings of the 2010 ICSE Workshop on Product Line Approaches in Software Engineering.

Hinchey M, Coyle L.  2010.  Evolving Critical Systems. 17th IEEE International Conference on the Engineering of Computer-Based17th IEEE International Conference on the Engineering of Computer-Based.

Hinchey M, Coyle L.  2010.  Evolving Critical Systems: A Research Agenda for Computer-Based Systems. 17th IEEE International Conference on the Engineering of Computer-Based17th IEEE International Conference on the Engineering of Computer-Based.

O'Connor R.V, Basri S, Coleman G.  2010.  Exploring Managerial Commitment towards SPI in Small and Very Small Enterprises. Systems, Software and Services Process Improvement. CCIS Vol. 99

Yang H, deRoeck A, Gervasi V, Willis A, Nuseibeh B.  2010.  Extending Nocuous Ambiguity Analysis for Anaphora in Natural Language Requirements. Proceedings of International requirements Engineering ConferenceProceedings of International requirements Engineering Conference.

Bakera M, Wagner C, Margaria T, Vassev E, Hinchey M, Steffen B.  2010.  Extracting Component-oriented Behavior for Self-healing Enabling. Proceedings of the 7th IEEE International Workshop on Engineering of Autonomic and Autonomous Systems (EASe’10).

Hinchey M.  2010.  Flash drive memory apparatus and method. #7,673,089

Espinoza A, Botterweck G, Garbajosa J.  2010.  A Formal Approach to Reuse Successful Traceability Practices in SPL Projects. 25th Symposium On Applied Computing (SAC 2010).

Vassev E, Hinchey M, Nixon P.  2010.  A Formal Approach to Self-configurable Swarm-based Space-exploration Systems. Proceedings of the 2010 NASA/ESA Conference on Adaptive Hardware and Systems (AHS-2010)Proceedings of the 2010 NASA/ESA Conference on Adaptive Hardware and Systems (AHS-2010).

Hinchey M, Bowen JP, Vassev E.  2010.  Formal Methods. Encyclopedia of Software EngineeringEncyclopedia of Software Engineering.

Bowen JP, Hinchey M, Vassev E.  2010.  Formal Requirements Specification. Encyclopedia of Software EngineeringEncyclopedia of Software Engineering.

Dhungana D, Heymans P, Rabiser R.  2010.  A Formal Semantics for Decision-oriented Variability Modeling with DOPLER. Proceedings of the 4th International Workshop on Variability Modelling of Software-Intensive Systems VAMOS 2010.

Brennan S, Fritsch S, Liu Y, Sterritt A, Fox J, Linehan E, Driver C, Meier R, Cahill V, Harrison W et al..  2010.  A Framework for Flexible and Dependable Service-oriented Embedded Systems. Architecting Dependable SystemsArchitecting Dependable Systems. VII (ADS VII)

Dobson S, Sterritt R, Nixon P, Hinchey M.  2010.  Fulfilling the vision of autonomic computing. IEEE Computer. 43

Conboy K, Morgan L.  2010.  Future Research in Agile Systems Development: Applying Open Innovation Principles within the Agile Organisation. Agile Software Development: Current Research and Future DirectionsAgile Software Development: Current Research and Future Directions.

Noll J., Beecham S, Richardson I.  2010.  Global Software Development and Collaboration: Barriers and Solutions. ACM Inroads - SIGCSE Journal Bulletin. 1

Richardson I, Casey V, Burton J, McCaffery F.  2010.  Global Software Engineering: A Software Process Approach, in Collaborative Software Engineering.

Hamilton G, Mendel-Gleason G.  2010.  A Graph-Based Definition of Distillation. META 2010: The Second International Workshop on Metacomputation.

Shannon R, Quigley A, Nixon P.  2010.  Graphemes: self-organizing shape-based clustered structures for network visualisations. Proceedings of the 28th of the international conference extended abstracts on Human factors in computing systemsProceedings of the 28th of the international conference extended abstracts on Human factors in computing systems.

Coyle L, Hinchey M, Nuseibeh B, Fiadeiro JLuiz.  2010.  Guest Editor’s introduction: Evolving Critical Systems. Computer. 43

Clarke P, O'Connor R.V.  2010.  Harnessing ISO/IEC 12207 to examine the extent of SPI activity in an organisation. Proceedings of the 17th Conference on European Systems & Software Process Improvement and Innovation (EuroSPI 2010)Proceedings of the 17th Conference on European Systems & Software Process Improvement and Innovation (EuroSPI 2010). CCIS Vol. 99

McInerney C.  2010.  Having Fun with Computer Programming and Games: Teacher and Student Experiences. 4th International Conference on Informatics in Secondary Schools - Evolution and Perspectives ISSEP 20104th International Conference on Informatics in Secondary Schools - Evolution and Perspectives ISSEP 2010. 5941

Janota M, Botterweck G, Grigore R, Marques-Silva J.  2010.  How to Complete an Interactive Configuration Process? 36th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2010).

Pluska M., Sinclair D.  2010.  Hybrid systems controller design methodology. Accepted poster at Fiesta 2010 workshop at SAE 2010.