%0 Journal Article %1 hall08tse %A Hall, Jon %A Rapanotti, Lucia %A Jackson, Michael %D 2008 %J IEEE Transactions on Software Engineering %K formal software %N 2 %P 226--241 %R http://dx.doi.org/10.1109/TSE.2007.70769 %T Problem Oriented Software Engineering: Solving the Package Router Control Problem %U http://dx.doi.org/10.1109/TSE.2007.70769 %V 34 %X Problem Orientation is gaining interest as a way of approaching the development of software intensive systems and yet a significant example that explores its use is missing from the literature. In this paper, we present the basic elements of Problem Oriented Software Engineering (POSE) which aims to bring both non-formal and formal aspects of software development together in a single framework. We provide an example of a detailed and systematic POSE development of a software problem, that of designing the controller for a package router. The problem is drawn from the literature, but the analysis presented here is new. The aim of the example is twofold: to illustrate the main aspects of POSE and how it supports software engineering design, and to demonstrate how a non-trivial problem can be dealt with by the approach.

@article{hall08tse, abstract = {Problem Orientation is gaining interest as a way of approaching the development of software intensive systems and yet a significant example that explores its use is missing from the literature. In this paper, we present the basic elements of Problem Oriented Software Engineering (POSE) which aims to bring both non-formal and formal aspects of software development together in a single framework. We provide an example of a detailed and systematic POSE development of a software problem, that of designing the controller for a package router. The problem is drawn from the literature, but the analysis presented here is new. The aim of the example is twofold: to illustrate the main aspects of POSE and how it supports software engineering design, and to demonstrate how a non-trivial problem can be dealt with by the approach.}, added-at = {2009-02-25T21:10:01.000+0100}, author = {Hall, Jon and Rapanotti, Lucia and Jackson, Michael}, biburl = {https://www.bibsonomy.org/bibtex/26bf36d7a4beec8881be9862e4432da5c/neilernst}, citeulike-article-id = {2699679}, doi = {http://dx.doi.org/10.1109/TSE.2007.70769}, interhash = {76c4543101818f908cee3f5edda71990}, intrahash = {6bf36d7a4beec8881be9862e4432da5c}, journal = { IEEE Transactions on Software Engineering}, keywords = {formal software}, number = 2, pages = {226--241}, posted-at = {2008-04-22 13:24:44}, priority = {3}, timestamp = {2009-02-25T21:10:02.000+0100}, title = {Problem Oriented Software Engineering: Solving the Package Router Control Problem}, url = {http://dx.doi.org/10.1109/TSE.2007.70769}, volume = 34, year = 2008 }