Skip to main content
SpringerLink
Log in

Deciphering the Main Research Themes of Software Validation – A Bibliographical Study

  • Conference paper
Advances in Computer Science and Information Technology (CCSIT 2011)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 131))

  • 1048 Accesses

Abstract

Software validation is an important issue since software is embedded in various devices and these devices are ubiquitous in our daily life nowadays. Software validation is an attempt to ensure the software product fulfills its specific intended purpose. As software is getting more complex, the software validation process is getting more complicated and time consuming. The study of software validation is an important active research field with voluminous publications. The sheer volume of software validation related literatures hinders our comprehending of its content and context. We therefore utilize the intellectual structure construction and knowledge domain visualization techniques developed by the information scientist to ease the task of understanding the main themes of this important research domain. Base on our analysis, we can see the research themes of software validation may be divided into three main groups: the first one deals with systems with interweaving hardware and software related issues, such as real-time systems, parallel systems; the second one deals with model checking related issues, including automata theory and temporal logic; the third one deals the modeling and simulation of concurrent and distributed systems.

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 139.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 179.00
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. Sommerville, I.: Software Engineering, 8th edn. Addison-Wesley, Reading (2007)

    MATH  Google Scholar 

  2. Team C. P.: CMMI for Development, version 1.2, CMMI-DEV v1. 2. Technical Report SEI-2006-TR-008 (2006)

    Google Scholar 

  3. Garfield, E., Sher, I., Torpie, R.: The Use of Citation Data in Writing the History of Science. Institute for Scientific Information (1964)

    Google Scholar 

  4. Chen, T., Xie, L.: Identifying Critical Focuses in Research Domains. 9th International Conference on Information Visualisation - IV 2005, 135–142 (2005)

    Google Scholar 

  5. Small, H.: Co-citation in the Scientific Literature: a New Measure of the Relationship between Two Documents. Journal of the American society for information science 24, 265–269 (1973)

    Article  Google Scholar 

  6. Garfield, E., Malin, M., Small, H.: Citation Data as Science Indicators. In: Toward a Metric of Science: the Advent of Science Indicators, New York, pp. 179–207 (1978)

    Google Scholar 

  7. Keim, D.A.: Visual Exploration of Large Data Sets. Communications of the ACM 44, 38–44 (2001)

    Article  Google Scholar 

  8. Chen, T., Yen, D.: Technical Research Themes of the Mobile Ubiquitous Computing. In: Eighth International Conference on Mobile Business, pp. 221–226 (2009)

    Google Scholar 

  9. Chen, T., Lee, M.: Ubiquitous Computing in Prospect: a Bibliographic Study. In: Ubiquitous Multimedia Computing, pp. 57–62 (2008)

    Google Scholar 

  10. Borner, K., Chen, C., Boyack, K.: Visualizing Knowledge Domains. Annual Review of Information Science and Technology 37, 179–255 (2003)

    Article  Google Scholar 

  11. Chen, C.: Domain Visualization for Digital Libraries. In: IEEE Fourth International Conference on Information Visualisation (IV 2000), pp. 261–267 (2000)

    Google Scholar 

  12. Giles, C.L., Bollacker, K.D., Lawrence, S.: CiteSeer: An Automatic Citation Indexing System. In: The Third ACM Conference on Digital Libraries, pp. 89–98 (1998)

    Google Scholar 

  13. Schvaneveldt, R.W.: Pathfinder associative networks: studies in knowledge organization. Ablex Publishing Corp. Norwood (1990)

    MATH  Google Scholar 

  14. Stevens, J.: Applied Multivariate Statistics for the Social Sciences. Lawrence Erlbaum Associates, New Jersey (1999)

    MATH  Google Scholar 

  15. Alur, R., Henzinger, T.A.: A Really Temporal Logic. J. ACM 41, 181–203 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  16. Ball, T., Horwitz, S.: Slicing Programs with Arbitrary Control Flow. In: Adsul, B. (ed.) AADEBUG 1993. LNCS, vol. 749, pp. 206–222. Springer, Heidelberg (1993)

    Chapter  Google Scholar 

  17. Dijkstra, E.W.: Solution of a Problem in Concurrent Programming Control. Commun. ACM 8, 569 (1965)

    Article  Google Scholar 

  18. Faulk, S., Finneran, L., Kirby Jr, J., Shah, S., Sutton, J.: Experience Applying the CoRE Method to the Lockheed C-130J Software Requirements. In: Ninth Annual Conference on Computer Assurance, Gaithersburg, MD, pp. 3–8 (1994)

    Google Scholar 

  19. Heninger, K.: Specifying Software Requirements for Complex Systems: New Techniques and Their Application. IEEE Transactions on Software Engineering 6, 2–13 (1980)

    Article  Google Scholar 

  20. Emerson, E.: Model-Checking and the Mu-Calculus. Descriptive Complexity and Finite Models 31, 185–214 (1997)

    MathSciNet  MATH  Google Scholar 

  21. Hoare, C.A.R.: Communicating Sequential Processes. Communications of the ACM 21, 666–677 (1978)

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Information Management, National Taipei University, Taipei, Taiwan

    Tsung Teng Chen

  2. Department of Management Information Systems, National Chengchi University, Taipei, Taiwan

    Yaw Han Chiu & Yen Ping Chi

Authors
  1. Tsung Teng Chen
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yaw Han Chiu
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Yen Ping Chi
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Jackson State University, 39217, Jackson, MS, USA

    Natarajan Meghanathan

  2. Deptt. of Electronics and Computer Engg., Indian Institute of Technology, Roorkee, India

    Brajesh Kumar Kaushik

  3. Wireilla Net Solutions PTY Ltd, Melbourne, Victoria, Australia

    Dhinaharan Nagamalai

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Chen, T.T., Chiu, Y.H., Chi, Y.P. (2011). Deciphering the Main Research Themes of Software Validation – A Bibliographical Study. In: Meghanathan, N., Kaushik, B.K., Nagamalai, D. (eds) Advances in Computer Science and Information Technology. CCSIT 2011. Communications in Computer and Information Science, vol 131. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-17857-3_42

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-17857-3_42

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-17856-6

  • Online ISBN: 978-3-642-17857-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation