Skip to main content
SpringerLink
Log in

New Challenges in Future Software Engineering

  • Conference paper
Future Information Technology

Part of the book series: Lecture Notes in Electrical Engineering ((LNEE,volume 309))

Abstract

Traditional Software Engineering focuses its main attention on software reliability. However, today, in this insecure, complex, changing world, the design, development, operation, and maintenance of any information/software system have to consider information security issues carefully and seriously. This position paper discusses intrinsic differences between Software Reliability Engineering and Information Security Engineering, presents some new quality evaluation criteria and related challenges in future advanced Software Engineering, and shows that Ada 2012 will play an important role in future advanced Software Engineering.

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 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 219.99
Price excludes VAT (USA)
  • Durable hardcover 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, R.J.: Security Engineering: A Guide to Building Dependable Distributed Systems, 2nd edn. Wiley Publishing (2008)

    Google Scholar 

  2. Barnes, J.: Rationale for Ada 2012: The Language, The Standard Libraries. LNCS, vol. 8338. Springer, Heidelberg (2013)

    Book  Google Scholar 

  3. Boehm, B.: A View of 20th and 21st Century Software Engineering. In: Proc. 28th International Conference on Software Engineering, pp. 12–29. ACM, New York (2006)

    Google Scholar 

  4. Cheng, J.: Temporal Relevant Logic as the Logical Basis of Anticipatory Reasoning-Reacting Systems. In: Dubois, D.M. (ed.) Computing Anticipatory Systems: CASYS 2003. AIP Conference Proceedings, vol. 718, pp. 362–375. AIP, Melville (2004)

    Google Scholar 

  5. Cheng, J.: Comparing Persistent Computing with Autonomic Computing. In: Proc. 11th International Conference on Parallel and Distributed Systems, vol. II, pp. 428–432. IEEE Computer Society Press, New York (2005)

    Google Scholar 

  6. Cheng, J.: Autonomous and Continuous Evolution of Information Systems. In: Khosla, R., Howlett, R.J., Jain, L.C. (eds.) KES 2005, Part I. LNCS (LNAI), vol. 3681, pp. 758–767. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  7. Cheng, J.: Persistent Computing Systems as Continuously Available, Reliable, and Secure Systems. In: Proc. 1st International Conference on Availability, Reliability and Security, pp. 631–638. IEEE Computer Society Press, New York (2006)

    Google Scholar 

  8. Cheng, J.: Adaptive Prediction by Anticipatory Reasoning Based on Temporal Relevant Logic. In: Proc. 8th International Conference on Hybrid Intelligent Systems, pp. 410–416. IEEE Computer Society Press, New York (2008)

    Google Scholar 

  9. Cheng, J.: Computing Intentions Dynamically in a Changing World by Anticipatory Relevant Reasoning. In: Nguyen, N.T., Attachoo, B., Trawiński, B., Somboonviwat, K. (eds.) ACIIDS 2014, Part II. LNCS, vol. 8398, pp. 361–371. Springer, Heidelberg (2014)

    Chapter  Google Scholar 

  10. Dubois, D.M.: Mathematical Foundations of Discrete and Functional Systems with Strong and Weak Anticipations. In: Butz, M.V., Sigaud, O., Gérard, P. (eds.) Anticipatory Behavior in Adaptive Learning Systems. LNCS (LNAI), vol. 2684, pp. 110–132. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  11. Ganek, A.G., Corbi, T.A.: The Dawning of the Autonomic Computing Era. IBM Systems Journal 42(1), 5–18 (2003)

    Article  Google Scholar 

  12. IEEE: IEEE Standard 610, IEEE Standard Computer Dictionary – A Compilation of IEEE Standard Computer Glossaries. IEEE, New York (1990)

    Google Scholar 

  13. ISO/IEC: SO/IEC 8652:2012 (E): Information Technology – Programming Languages – Ada (2012)

    Google Scholar 

  14. Kephart, J., Chess, D.: The Vision of Autonomic Computing. Computer 36(1), 41–50 (2003)

    Article  MathSciNet  Google Scholar 

  15. Nadin, M.: Anticipatory Computing. ACM Ubiquity, Views 1(40) (2000)

    Google Scholar 

  16. Naur, P., Randell, B.: Software Engineering: Report of a conference sponsored by the NATO Science Committee, Garmisch, Germany, October 7-11. Scientific Affairs Division, NATO (1969)

    Google Scholar 

  17. Rosen, R.: Anticipatory Systems - Philosophical, Mathematical and Methodological Foundations. Pergamon Press, Oxford (1985), 2nd edn. Springer, New York (2012)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Information and Computer Sciences, Saitama University, Saitama, Japan

    Jingde Cheng

Authors
  1. Jingde Cheng
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jingde Cheng .

Editor information

Editors and Affiliations

  1. Department of Computer Science and Engineering, Seoul National University of Science & and Technology (SeoulTech), Seoul, Korea, Republic of (South Korea)

    James J. (Jong Hyuk) Park

  2. Department of Computer Science, Georgia State University, Atlanta, Georgia, USA

    Yi Pan

  3. Digital Media Engineering, Anyang University, Anyang, Korea, Republic of (South Korea)

    Cheon-Shik Kim

  4. Information & Communication Technologies, Swinburne University of Technology, Melbourne, Victoria, Australia

    Yun Yang

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cheng, J. (2014). New Challenges in Future Software Engineering. In: Park, J., Pan, Y., Kim, CS., Yang, Y. (eds) Future Information Technology. Lecture Notes in Electrical Engineering, vol 309. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-55038-6_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-55038-6_5

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-55037-9

  • Online ISBN: 978-3-642-55038-6

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation