Jon G. Hall

Proceedings of the 5th International Workshop on Theory-Oriented Software Engineering, 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

2014

On the systematic transformation of requirements to specifications.

[BibT_eX]

[DOI]

Requir. Eng., 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

Is tangled the new wicked?

[BibT_eX]

[DOI]

Expert Syst. J. Knowl. Eng., 2013

Editorial.

[BibT_eX]

[DOI]

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

Engineering knowledge engineering.

[BibT_eX]

[DOI]

Expert Syst. J. Knowl. Eng., 2012

The knowledge engineers' oath.

[BibT_eX]

[DOI]

Expert Syst. J. Knowl. Eng., 2012

Computing education that doesn't compute.

[BibT_eX]

[DOI]

Expert Syst. J. Knowl. Eng., 2012

The cult of the (so-called) Expert System.

[BibT_eX]

[DOI]

Expert Syst. J. Knowl. Eng., 2012

2011

Special issue: business decision support systems.

[BibT_eX]

[DOI]

Desheng Dash Wu

Expert Syst. J. Knowl. Eng., 2011

Building the knowledge society begins with breakfast.

[BibT_eX]

[DOI]

Expert Syst. J. Knowl. Eng., 2011

Neuronomics: connectionist economics.

[BibT_eX]

[DOI]

Expert Syst. J. Knowl. Eng., 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

Tools and Techniques.

[BibT_eX]

[DOI]

Proceedings of the Relating Software Requirements and Architectures., 2011

Introduction: Relating Requirements and Architectures.

[BibT_eX]

[DOI]

Proceedings of the Relating Software Requirements and Architectures., 2011

Theoretical Underpinnings and Reviews.

[BibT_eX]

[DOI]

Proceedings of the Relating Software Requirements and Architectures., 2011

Emerging Issues in Relating Software Requirements and Architecture.

[BibT_eX]

[DOI]

Proceedings of the Relating Software Requirements and Architectures., 2011

Conclusions.

[BibT_eX]

[DOI]

Proceedings of the Relating Software Requirements and Architectures., 2011

Experiences from Industrial Projects.

[BibT_eX]

[DOI]

Proceedings of the Relating Software Requirements and Architectures., 2011

2010

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

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2010

On tangling.

[BibT_eX]

[DOI]

Expert Syst. J. Knowl. Eng., 2010

Thinking inside the box.

[BibT_eX]

[DOI]

Expert Syst. J. Knowl. Eng., 2010

Welcome to Volume 27, Issue 1.

[BibT_eX]

[DOI]

Expert Syst. J. Knowl. Eng., 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

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

The polychronic economy.

[BibT_eX]

[DOI]

Expert Syst. J. Knowl. Eng., 2009

34957+70764=105621.

[BibT_eX]

[DOI]

Expert Syst. J. Knowl. Eng., 2009

A singular intelligence.

[BibT_eX]

[DOI]

Expert Syst. J. Knowl. Eng., 2009

Beachbrains.

[BibT_eX]

[DOI]

Expert Syst. J. Knowl. Eng., 2009

1983 and all that.

[BibT_eX]

[DOI]

Expert Syst. J. Knowl. Eng., 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

Special issue on applications and advances in problem frames.

[BibT_eX]

[DOI]

Expert Syst. J. Knowl. Eng., 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

Relating problem oriented engineering to current development processes: a research agenda.

[BibT_eX]

[DOI]

Dariusz W. Kaminski

Michel Wermelinger

Proceedings of the 3rd International Workshop on Applications and Advances of Problem Frames, 2008

Requirements and architectures: two sides of the same coin.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Sharing and Reusing Architectural Knowledge, 2008

Towards Mining for Influence in a Multi Agent Environment.

[BibT_eX]

Robert Logie

Kevin G. Waugh

Proceedings of the IADIS European Conference on Data Mining 2008, 2008

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

Safety Process Improvement with POSE and Alloy.

[BibT_eX]

[DOI]

Derek Mannering

Proceedings of the Computer Safety, 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

Deriving specifications from requirements through problem reduction.

[BibT_eX]

[DOI]

IEE Proc. Softw., 2006

Introducing Regulatory Compliance Requirements Engineering.

[BibT_eX]

[DOI]

Shahbaz Ali

Proceedings of the ISSE 2006, 2006

Developer requirements in the PF approach.

[BibT_eX]

[DOI]

Thein Than Tun

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

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

[BibT_eX]

[DOI]

Proceedings of the 2006 International Workshop on Advances and Applications of Problem Frames, 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

Relating software requirements and architectures.

[BibT_eX]

[DOI]

IEE Proc. Softw., 2005

Developing critical systems with PLD components.

[BibT_eX]

[DOI]

Proceedings of the 10th international workshop on Formal methods for industrial critical systems, 2005

Reactive Food Gathering.

[BibT_eX]

[DOI]

Robert Logie

Kevin G. Waugh

Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, 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

High-Integrity Interfacing to Programmable Logic with Ada.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 2004

2003

A Reference Model for Requirements Engineering.

[BibT_eX]

[DOI]

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

FPGAs in critical hardware/software systems.

[BibT_eX]

[DOI]

Gemma Townson

Proceedings of the ACM/SIGDA International Symposium on Field Programmable Gate Arrays, 2003

2002

Refining specifications to programmable logic.

[BibT_eX]

[DOI]

Proceedings of the BCS FACS Refinement Workshop 2002, 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

2001

Educational JavaBeans: a Requirements Driven Architecture.

[BibT_eX]

Proceedings of WebNet 2001, 2001

2000

Software architectures - advances and applications.

[BibT_eX]

[DOI]

Leonor Barroca

Patrick Hall

Springer, ISBN: 978-1-85233-636-3, 2000

1998

A Strategic Profiler for Glasgow Parallel Haskell.

[BibT_eX]

[DOI]

David J. King

Philip W. Trinder

Proceedings of the Implementation of Functional Languages, 10th International Workshop, 1998

Towards an Operational Semantics for a Parallel Non-Strict Functional Language.

[BibT_eX]

[DOI]

Clement A. Baker-Finch

Philip W. Trinder

David J. King

Proceedings of the Implementation of Functional Languages, 10th International Workshop, 1998

1997

<i>W</i> Reconstructed.

[BibT_eX]

[DOI]

Andrew P. Martin

Proceedings of the ZUM '97: The Z Formal Specification Notation, 1997

1996

A Model for a Causal Logic for Requirements Engineering.

[BibT_eX]

[DOI]

Jonathan D. Moffett

Andrew Charles Coombes

John A. McDermid

Requir. Eng., 1996

ERTL: An Extension to RTL for the Specification, Analysis, and Verification of Hybrid Systems.

[BibT_eX]

[DOI]

Rogério de Lemos

Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, 1996

1995

Extended RTL in the Specification and Verification of an Industrial Press.

[BibT_eX]

[DOI]

Rogério de Lemos

Proceedings of the Hybrid Systems III: Verification and Control, 1995

1994

Towards a Z Method: Axiomatic Specification in Z.

[BibT_eX]

[DOI]

John A. McDermid

Proceedings of the Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings, 1994

1992

A basic-net algebra for program semantics and its application to OCCAM.

[BibT_eX]

[DOI]

Richard P. Hopkins

Oliver Botti

Proceedings of the Advances in Petri Nets 1992, The DEMON Project, 1992

The box calculus: a new causal algebra with multi-label communication.

[BibT_eX]

[DOI]

Eike Best

Raymond R. Devillers