Skip to main content
SpringerLink
Log in

Structuring evolution: on the evolution of socio-technical systems

  • Chapter
Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Anderson S, Felici M (2000a). Controlling requirements evolution: An avionics case study. In Koornneef F, van der Meulen M, editors, Proceedings of the 19th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2000, LNCS 1943, pages 361–370, Rotterdam, The Netherlands. Springer-Verlag.

    Google Scholar 

  2. Anderson S, Felici M (2000b). Requirements changes risk/cost analyses: An avionics case study. In Cottam M, Harvey D, Pape R, Tait J, editors, Foresight and Precaution, Proceedings of ESREL 2000, SARS and SRA-EUROPE Annual Conference, volume 2, pages 921–925, Edinburgh, Scotland, United Kingdom. A.A.Balkema.

    Google Scholar 

  3. Anderson S, Felici M (2001). Requirements evolution: From process to product oriented management. In Bomarius F, Komi-Sirviö S, editors, Proceedings of the Third International Conference on Product Focused Software Process Improvement, PROFES 2001, LNCS 2188, pages 27–41, Kaiserslautern, Germany. Springer-Verlag.

    Google Scholar 

  4. Anderson S, Felici M (2002). Quantitative aspects of requirements evolution. In Proceedings of the Twenty-Sixth Annual International Computer Software and Applications Conference, COMPSAC 2002, pages 27–32, Oxford, England. IEEE Computer Society.

    Google Scholar 

  5. Barwise J, Moss L (1996). Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena. Number 60 in CSLI Lecture Notes. CSLI Publications.

    Google Scholar 

  6. Bergman M, King JL, Lyytinen K (2002a). Large-scale requirements analysis as heterogeneous engineering. Social Thinking-Software Practice, pages 357–386.

    Google Scholar 

  7. Bergman M, King JL, Lyytinen K (2002b). Large-scale requirements analysis revisited: The need for understanding the political ecology of requirements engineering. Requirements Engineering, 7(3):152–171.

    Article  Google Scholar 

  8. Bijker WE, Hughes TP, Pinch TJ, editors (1989). The Social Construction of Technology Systems: New Directions in the Sociology and History of Technology. The MIT Press.

    Google Scholar 

  9. Boehm BW, et al. (2000). Software Cost Estimation with COCOMO II. Prentice-Hall.

    Google Scholar 

  10. Chagrov A, Zakharyaschev M (1997). Modal Logic. Number 35 in Oxford Logic Guides. Oxford University Press.

    Google Scholar 

  11. Coakes E, Willis D, Lloyd-Jones R, editors (2000). The New SocioTech: Graffiti on the Long Wall. Computer Supported Cooperative Work. Springer-Verlag.

    Google Scholar 

  12. Edwards E (1972). Man and machine: Systems for safety. In Proceedings of British Airline Pilots Associations Technical Symposium, pages 21–36, London. British Airline Pilots Associations.

    Google Scholar 

  13. Fagin R, Halpern JY, Moses Y, Vardi MY (2003). Reasoning about Knowledge. The MIT Press.

    Google Scholar 

  14. Felici M (2004). Observational Models of Requirements Evolution. PhD thesis, Laboratory for Foundations of Computer Science, School of Informatics, The University of Edinburgh.

    Google Scholar 

  15. Fenton NE, Pfleeger SL (1996). Software Metrics: A Rigorous and Practical Approach. International Thomson Computer Press, second edition.

    Google Scholar 

  16. Fitting M, Mendelsohn RL (1998). First-Order Modal Logic. Kluwer Academic Publishers.

    Google Scholar 

  17. Gunter CA, Gunter EL, Jackson M, Zave P (2000). A reference model for requirements and specifications. IEEE Software, pages 37–43.

    Google Scholar 

  18. Halpern JY (2003). Reasoning about Uncertainty. The MIT Press.

    Google Scholar 

  19. Heinrich HW (1950). Industrial accident prevention: a scientific approach. McGraw-Hill, 3rd edition.

    Google Scholar 

  20. Hitchins DK (1992). Putting Systems to Work. John Wiley & Sons.

    Google Scholar 

  21. Hughes AC, Hughes TP, editors (2000). Systems, Experts, and Computers: The Systems Approach in Management and Engineering, World War II and After. The MIT Press.

    Google Scholar 

  22. Hull E, Jackson K, Dick J (2002). Requirements Engineering. Springer-Verlag.

    Google Scholar 

  23. Jarke M (1998). Requirements tracing. Communications of the ACM, 41(12):32–36.

    Article  Google Scholar 

  24. Laprie JC (1995). Dependable computing: Concepts, limits, challenges. In FTCS-25, the 25th IEEE International Symposium on Fault-Tolerant Computing-Special Issue, pages 42–54, Pasadena, California, USA.

    Google Scholar 

  25. Laprie JC, et al. (1998). Dependability handbook. Technical Report LAAS Report no 98-346, LIS LAAS-CNRS.

    Google Scholar 

  26. Leveson NG (1995). SAFEWARE: System Safety and Computers. Addison-Wesley.

    Google Scholar 

  27. Leveson NG (2000). Intent specifications: An approach to building human-centered specifications. IEEE Transactions on Software Engineering, 26(1):15–35.

    Article  Google Scholar 

  28. Littlewood B, Popov P, Strigini L (2001). Modelling software design diversity: a review. ACM Computing Surveys, 33(2):177–208.

    Article  Google Scholar 

  29. Littlewood B, Strigini L (2000). Software reliability and dependability: a roadmap. In Finkelstein A, editor, The Future of Software Engineering, pages 177–188. ACM Press, Limerick.

    Google Scholar 

  30. Lyu MR, editor (1996). Handbook of Sofwtare Reliability Engineering. IEEE Computer Society Press.

    Google Scholar 

  31. MacKenzie DA (1990). Inventing Accuracy: A Historical Sociology of Nuclear Missile Guidance. The MIT Press.

    Google Scholar 

  32. MacKenzie DA, Wajcman J, editors (1999). The Social Shaping of Technology. Open University Press, 2nd edition.

    Google Scholar 

  33. Perrow C (1999). Normal Accidents: Living with High-Risk Technologies. Princeton University Press.

    Google Scholar 

  34. Perry DE (1994). Dimensions of software evolution. In Proceedings of the IEEE International Conference on Software Maintenance. IEEE Computer Society Press.

    Google Scholar 

  35. Randell B (2000). Facing up to faults. Computer Journal, 43(2):95–106.

    Article  Google Scholar 

  36. Reason J (1997). Managing the Risks of Organizational Accidents. Ashgate Publishing Limited.

    Google Scholar 

  37. Rushby J (2002). Using model checking to help to discover mode confusions and other automation surprises. Reliability Engineering and System Safety, 75:167–177.

    Article  Google Scholar 

  38. Sommerville I, Sawyer P (1997). Requirements Engineering: A Good Practice Guide. John Wiley & Sons.

    Google Scholar 

  39. Stirling C (2001). Modal and Temporal Properties of Processes. Texts in Computer Science. Springer-Verlag.

    Google Scholar 

  40. Storey N (1996). Safety-Critical Computer Systems. Addison-Wesley.

    Google Scholar 

  41. Weinberg GM (1997). Quality Software Management. Volume 4: Anticipating Change. Dorset House.

    Google Scholar 

  42. Weiss KA, C.Ong E, Leveson NG (2003). Reusable specification components for model-driven development. In Proceedings of the International Conference on System Engineering, INCOSE 2003.

    Google Scholar 

  43. Williams R, Edge D (1996). The social shaping of technology. Research Policy, 25(6):865–899.

    Article  Google Scholar 

  44. Williams R, Slack R, Stewart J (2000). Social learning in multimedia. Final report, EC targeted socio-economic research, project: 4141 PL 951003, Research Centre for Social Sciences, The University of Edinburgh.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. The University of Edinburgh, Edinburgh

    Massimo Felici

Authors
  1. Massimo Felici
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Computing Science Claremont Tower, University of Newcastle upon Tyne, Newcastle upon Tyne, NE1 7RU, UK

    Denis Besnard , Cristina Gacek  & Cliff B. Jones ,  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag London Limited

About this chapter

Cite this chapter

Felici, M. (2006). Structuring evolution: on the evolution of socio-technical systems. In: Besnard, D., Gacek, C., Jones, C.B. (eds) Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective. Springer, London. https://doi.org/10.1007/1-84628-111-3_3

Download citation

  • DOI: https://doi.org/10.1007/1-84628-111-3_3

  • Publisher Name: Springer, London

  • Print ISBN: 978-1-84628-110-5

  • Online ISBN: 978-1-84628-111-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation