Publications

Clarke P, O'Connor R.V.  2012.  The situational factors that affect the software development process: Towards a comprehensive reference framework. Journal of Information and Software Technology. 54

Bowes D, Hall T, Beecham S.  2012.  SLuRp a tool to help large complex systematic literature reviews deliver valid and rigorous results. The 2nd International Workshop on Evidential Assessment of Software Technologies (EAST 2012) (co-located with ESEM 2012).

Cordeiro L., Fischer B, Marques-Silva J.  2012.  SMT-based bounded model checking for embedded ANSI-C software. IEEE Transactions on Software Engineering. 38

Lane S, Bucchiarone A, Richardson I.  2012.  SOAdapt: A Process Reference Model for Developing Adaptable Service-Based Applications. Information and Software Technology. 54

Ali R, Solis C, Omoronyia I, Salehie M, Nuseibeh B.  2012.  Social Adaptation: When Software Gives Users a Voice. The 7th International Evaluation of Novel Approaches to Software Engineering (ENASE’12)The 7th International Evaluation of Novel Approaches to Software Engineering (ENASE’12).

Yilmaz M, O'Connor R.V.  2012.  Social Capital as a Determinant Factor of Software Development Productivity: An Empirical Study using Structural Equation Modeling. International Journal of Human Capital and Information Technology Professionals. 3

Ryan S, O'Connor R.V.  2012.  Social Interaction, Team Tacit Knowledge and Transactive Memory: Empirical support for the Agile approach. Researching Agile development of Information SystEms (RAISE 2012) ConferenceResearching Agile development of Information SystEms (RAISE 2012) Conference.

Montanari U, Vassev E.  2012.  Soft Constraints for KnowLang. Proceedings of C* Conference on Computer Science & Software Engineering (C3S2E ’12).

Fitzgerald B.  2012.  Software Crisis 2.0. IEEE Computer. 45

Savolainen P, Ahonen JJ, Richardson I.  2012.  Software development project success and failure from the supplier’s perspective: A systematic literature review. International Journal of Project Management. 30

Basri S, O'Connor R.V.  2012.  Software Development Team Dynamics in SPI: A VSE Context. 19th Asia-Pacific Software Engineering Conference (APSEC 2012)19th Asia-Pacific Software Engineering Conference (APSEC 2012).

Eleftherakis G, Hinchey M, Holcombe M.  2012.  Software Engineering and Formal Methods. 10th International Conference, SEFM 2012, Thessaloniki, Greece10th International Conference, SEFM 2012, Thessaloniki, Greece.

Hugh MMc, McCaffery F, Casey V.  2012.  Software Process Improvement to Assist Medical Device Software Development Organisations to Comply with the Amendments to the Medical Device Directive. IET Software. 6

O'Connor R.V, Laporte C.  2012.  Software project management with ISO/IEC 29110. 19th European Conference on Systems, Software and Services Process Improvement (EuroSPI 2012)19th European Conference on Systems, Software and Services Process Improvement (EuroSPI 2012).

Haque R, Richardson I.  2012.  SOLÚBTHA – A Flexible Business Transaction Model. ICSE Workshop.

Janota M, Klieber W., Marques-Silva J, Clarke E..  2012.  Solving QBF with Counterexample Guided Refinement. The 15th International Conference on Theory and Applications of Satisfiability Testing (SAT 2012)The 15th International Conference on Theory and Applications of Satisfiability Testing (SAT 2012).

Ventresque A, Bragard Q, Liu ES, Nowak D, Murphy L, Theodoropoulos G, Liu Q.  2012.  SParTSim: A Space Partitioning Guided by Road Network for Distributed Traffic Simulations. IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT)IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT).

Yang H, de Roeck A, Gervasi V, Willis A, Nuseibeh B.  2012.  Speculative Requirements: Automatic Detection of Uncertainty in Natural Language Requirements. Proceedings of 20th International Requirements Engineering Conference (RE’12)Proceedings of 20th International Requirements Engineering Conference (RE’12).

Basri S, O'Connor R.V.  2012.  A Study of Knowledge Management Process Practices in Very Small Software Companies. American Journal of Economics and Business Administration. 3

Basri S, O'Connor R.V.  2012.  A Study of Software Development Team Dynamics in SPI. International Conference on Information, Business and Education Technology (ICIBET 2012)International Conference on Information, Business and Education Technology (ICIBET 2012).

Jones N.D., Hamilton G.  2012.  Superlinear Speedup by Program Transformation. Third International Workshop on Metacomputation.

Gaudin B, Nixon P.  2012.  Supervisory Control for Software Runtime Exception Avoidance. Fifth International C* Conference on Computer Science & Software Engineering C3S2E’12Fifth International C* Conference on Computer Science & Software Engineering C3S2E’12.

Vassev E, Sterritt R, Rouff C, Hinchey M.  2012.  Swarm Technology at NASA: Building Resilient Systems. IT Professional. 14

Groba C, Clarke S.  2012.  Synchronising service compositions in dynamic ad hoc environments. IEEE International Conference on Mobile Services (MS)IEEE International Conference on Mobile Services (MS).

Yilmaz M, O'Connor R.V, Clarke P.  2012.  A Systematic Approach to the Comparison of Roles in the Software Development Processes. Proceedings 12th International Conference on Software Process Improvement and Capability dEterminationProceedings 12th International Conference on Software Process Improvement and Capability dEtermination.