Correct Software in Web Applications and Web Services (Texts & Monographs in Symbolic Computation)
暫譯: 網路應用程式與網路服務中的正確軟體 (符號計算文本與專著)

  • 出版商: Springer
  • 出版日期: 2015-06-25
  • 售價: $2,130
  • 貴賓價: 9.5$2,024
  • 語言: 英文
  • 頁數: 332
  • 裝訂: Hardcover
  • ISBN: 3319171119
  • ISBN-13: 9783319171111
  • 海外代購書籍(需單獨結帳)

商品描述

The papers in this volume aim at obtaining a common understanding of the challenging research questions in web applications comprising web information systems, web services, and web interoperability; obtaining a common understanding of verification needs in web applications; achieving a common understanding of the available rigorous approaches to system development, and the cases in which they have succeeded; identifying how rigorous software engineering methods can be exploited to develop suitable web applications; and at developing a European-scale research agenda combining theory, methods and tools that would lead to suitable web applications with the potential to implement systems for computation in the public domain.

商品描述(中文翻譯)

本卷中的論文旨在獲得對於網路應用程式中挑戰性研究問題的共同理解,這些問題包括網路資訊系統、網路服務和網路互操作性;獲得對於網路應用程式中驗證需求的共同理解;實現對於可用的嚴謹系統開發方法的共同理解,以及這些方法成功的案例;識別如何利用嚴謹的軟體工程方法來開發合適的網路應用程式;並制定一個歐洲規模的研究議程,結合理論、方法和工具,以促進合適的網路應用程式,並具備在公共領域實施計算系統的潛力。