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

@article{Hall2007ProblemOS,
  title={Problem Oriented Software Engineering: A design-theoretic framework for software engineering},
  author={Jon G. Hall and Lucia Rapanotti and Michael Jackson},
  journal={Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007)},
  year={2007},
  pages={15-24}
}
A key challenge for software engineering is to learn how to reconcile the formal world of the machine and its software with the non-formal real world. In this paper, we discuss elements of problem oriented software engineering (POSE), an approach that brings both non- formal and formal aspects of software development together in a single theoretical framework for software engineering design. POSE presents development as the representation and step-wise transformation of software problems. It… CONTINUE READING
Highly Cited
This paper has 72 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 27 extracted citations

The Unending Quest for Valid, Useful Software Engineering Theories

2015 IEEE/ACM 4th SEMAT Workshop on a General Theory of Software Engineering • 2015
View 7 Excerpts
Highly Influenced

The synergies between goal sketching and enterprise architecture

2015 IEEE International Model-Driven Requirements Engineering Workshop (MoDRE) • 2015
View 2 Excerpts

Security Patterns : Comparing Modeling Approaches

N. Armstrong, HLABATSI, +13 authors AHARA
2013
View 1 Excerpt

Explaining Embedded Software Modelling Decisions

2012 IEEE International Conference on Software Science, Technology and Engineering • 2012
View 2 Excerpts

72 Citations

0102030'10'13'16'19
Citations per Year
Semantic Scholar estimates that this publication has 72 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 27 references

From requirements to specification: a formal perspective

Z. Li, J. G. Hall, L. Rapanotti
Proceedings of the 2nd International Workshop on Advances and Applications of Problem Frames, • 2006
View 1 Excerpt

Architecture-driven problem decomposition

Proceedings. 12th IEEE International Requirements Engineering Conference, 2004. • 2004
View 1 Excerpt

Similar Papers

Loading similar papers…