Lucia Rapanotti

Proceedings of the 5th International Workshop on Theory-Oriented Software Engineering, 2016

RE-PROVO: An Evaluation of Gamification in a Law Enforcement Organization.

[BibT_eX]

[DOI]

Assia Alexandrova

Ivan Horrocks

Proceedings of the Workshop on Fictional Game Elements 2016 co-located with The ACM SIGCHI Annual Symposium on Computer-Human Interaction in Play (CHI PLAY 2016), 2016

2015

Teaching Software Systems Thinking at The Open University.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Masters-Level Software Engineering Education and the Enriched Student Context.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Towards a Design-Theoretic Characterisation of Software Development Process Models.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM 4th SEMAT Workshop on a General Theory of Software Engineering, 2015

The legacy problem in government agencies: an exploratory study.

[BibT_eX]

[DOI]

Assia Alexandrova

Ivan Horrocks

Proceedings of the 16th Annual International Conference on Digital Government Research, 2015

2014

On the systematic transformation of requirements to specifications.

[BibT_eX]

[DOI]

Requir. Eng., 2014

Innovation vs. Heritage: a Requirements Game to Encourage Creativity in Government Agencies' Legacy Systems Replacement Projects.

[BibT_eX]

[DOI]

Assia Alexandrova

Ivan Horrocks

Proceedings of the Joint Proceedings of REFSQ-2014 Workshops, 2014

2013

Design rationale capture for process improvement in the globalised enterprise: an industrial study.

[BibT_eX]

[DOI]

Ann Nkwocha

Softw. Syst. Model., 2013

Enterprise Architecture: A Snapshot from Practice.

[BibT_eX]

[DOI]

Michael Clarke

Int. J. IT Bus. Alignment Gov., 2013

Special section on advances and applications of problem orientation.

[BibT_eX]

[DOI]

Liping Zhao

Expert Syst. J. Knowl. Eng., 2013

Beauty in Software Engineering.

[BibT_eX]

[DOI]

Computer, 2013

2012

Software engineering as the design theoretic transformation of software problems.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2012

2011

Design concerns in the engineering of virtual worlds for learning.

[BibT_eX]

[DOI]

Behav. Inf. Technol., 2011

On the Construction of Specifications from Requirements.

[BibT_eX]

Proceedings of the 14th Iberoamerican Conference on Software Engineering, 2011

2010

2010 ICSE international workshop on advances and applications of problem orientation (WAAPO-2010).

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2010

Design Rationale Capture in the Globalised Enterprise: An Industrial Study.

[BibT_eX]

[DOI]

Ann Nkwocha

Proceedings of the Fifth International Conference on Software Engineering Advances, 2010

Deepthink: A Second Life Environment for Part-time Research Students at a Distance.

[BibT_eX]

[DOI]

Proceedings of the ICALT 2010, 2010

Lessons Learned in Developing a Second Life Educational Environment.

[BibT_eX]

Proceedings of the CSEDU 2010 - Proceedings of the Second International Conference on Computer Supported Education, Valencia, Spain, April 7-10, 2010, 2010

2009

Designing an Online Part-Time Master of Philosophy with Problem Oriented Engineering.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Internet and Web Applications and Services, 2009

Towards a Problem Oriented Engineering Theory of Pattern-Oriented Analysis and Design.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

2008

Problem Oriented Software Engineering: Solving the Package Router Control Problem.

[BibT_eX]

[DOI]

Michael Jackson

IEEE Trans. Software Eng., 2008

2008 changes to the Editorial Board of <i>Expert Systems</i>.

[BibT_eX]

[DOI]

Expert Syst. J. Knowl. Eng., 2008

Special issue on applications and advances in problem frames.

[BibT_eX]

[DOI]

Expert Syst. J. Knowl. Eng., 2008

Safety Process Improvement with POSE and Alloy.

[BibT_eX]

[DOI]

Derek Mannering

Proceedings of the Improvements in System Safety, 2008

Assurance-Driven Design.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Software Engineering Advances, 2008

3rd international workshop on advances and applications of problem frames.

[BibT_eX]

[DOI]

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

2007

Using Problem Descriptions to Represent Variabilities For Context-Aware Applications.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Variability Modelling of Software-Intensive Systems, 2007

Problem Oriented Software Engineering: A design-theoretic framework for software engineering.

[BibT_eX]

[DOI]

Michael Jackson

Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

Arguing safety with Problem Oriented Software Engineering.

[BibT_eX]

[DOI]

Derek Mannering

Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

Towards Normal Design for Safety-Critical Systems.

[BibT_eX]

[DOI]

Derek Mannering

Proceedings of the Fundamental Approaches to Software Engineering, 2007

2006

Learning Software Engineering at a Distance.

[BibT_eX]

[DOI]

IEEE Softw., 2006

Deriving specifications from requirements through problem reduction.

[BibT_eX]

[DOI]

IEE Proc. Softw., 2006

EIC Editorial: A time of change.

[BibT_eX]

[DOI]

Expert Syst. J. Knowl. Eng., 2006

Towards Context-Aware Product-Family Architectures.

[BibT_eX]

[DOI]

Mohammed Salifu

Bashar Nuseibeh

Proceedings of the International Workshop on Software Product Management, 2006

2nd international workshop on advances and applications of problem frames.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Problem-based analysis of organisational change: a real-world example.

[BibT_eX]

[DOI]

John Brier

Proceedings of the 2006 International Workshop on Advances and Applications of Problem Frames, 2006

From requirements to specifications: a formal approach.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Workshop on Advances and Applications of Problem Frames, 2006

2005

Problem frame semantics for software development.

[BibT_eX]

[DOI]

Michael Jackson

Softw. Syst. Model., 2005

A roadmap of problem frames research.

[BibT_eX]

[DOI]

Karl Cox

Inf. Softw. Technol., 2005

2004

1<sup>st</sup> international workshop on advances and applications of problem frames - summary.

[BibT_eX]

[DOI]

Karl Cox

ACM SIGSOFT Softw. Eng. Notes, 2004

Architecture-driven Problem Decomposition.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on Requirements Engineering (RE 2004), 2004

1st International Workshop on Advances and Applications of Problem Frames.

[BibT_eX]

[DOI]

Karl Cox

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

2003

A Reference Model for Requirements Engineering.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on Requirements Engineering (RE 2003), 2003

2002

Relating Software Requirements and Architectures Using Problem Frames.

[BibT_eX]

[DOI]

Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering (RE 2002), 2002

eTutorials with voice groupware: real-time conferencing to support computing students at a distance.

[BibT_eX]

[DOI]

Canan Tosunoglu Blake

Robert Griffiths

Proceedings of the 7th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2002

2001

Educational JavaBeans: a Requirements Driven Architecture.

[BibT_eX]

Proceedings of WebNet 2001, 2001

1996

On the synthesis of integral and dynamic recurrences.

[BibT_eX]

[DOI]

PhD thesis, 1996

Automatic synthesis of parallel algorithms.

[BibT_eX]

[DOI]

Graham M. Megson