Software engineering as the design theoretic transformation of software problems-Reference-Cited by-同舟云学术

Software engineering as the design theoretic transformation of software problems

Published:2011-12-29 Issue:3 Volume:8 Page:175-193
ISSN:1614-5046
Container-title:Innovations in Systems and Software Engineering
language:en
Short-container-title:Innovations Syst Softw Eng

Author:

Hall Jon G.,Rapanotti Lucia

Publisher

Springer Science and Business Media LLC

Subject

Software

Link

http://link.springer.com/content/pdf/10.1007/s11334-011-0171-2.pdf

Reference58 articles.

1. Apple (2011) Apple XCode template for document-based application in iOS

2. AssWS (2004) Workshop on assurance cases: best practices, possible obstacles and future opportunities. Co-located with the international conference on dependable systems and networks, Florence, Italy

3. Back RJ, von Wright J (1994) Trace refinement of action systems. In: International conference on concurrency theory, pp 367–384. http://citeseer.nj.nec.com/back94trace.html

4. Balzer R (1981) Transformation implementation: an example. IEEE Trans Softw Eng SE-7(1): 3–14

5. Bird RS (1988) Lectures on constructive functional programming. Technical monograph PRG-69, Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD, UK

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A design theory for software engineering;Information and Software Technology;2017-07

2. Safety engineering with COTS components;Reliability Engineering & System Safety;2017-04

3. A theory of distances in software engineering;Information and Software Technology;2016-02

4. Towards a Design-Theoretic Characterisation of Software Development Process Models;2015 IEEE/ACM 4th SEMAT Workshop on a General Theory of Software Engineering;2015-05

5. Theorizing about software development practices;Science of Computer Programming;2015-04