skip to main content
Ngôn ngữ:
Giới hạn tìm kiếm: Giới hạn tìm kiếm: Dạng tài nguyên Hiển thị kết quả với: Hiển thị kết quả với: Chỉ mục

Software that meets its Intent

Huisman, Marieke ; Bos, Herbert ; Brinkkemper, Sjaak ; van Deursen, Arie ; Groote, Jan Friso ; Lago, Patricia ; van de Pol, Jaco ; Visser, Eelco ; Margaria, Tiziana ; Steffen, Bernhard; Faculty of Electrical Engineering, Mathematics & Computer Science

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016, pp.609-625 [Tạp chí có phản biện]

ISBN: 978-3-319-47168-6 ; ISBN: 978-3-319-47169-3

Toàn văn sẵn có

Trích dẫn Trích dẫn bởi
  • Nhan đề:
    Software that meets its Intent
  • Tác giả: Huisman, Marieke ; Bos, Herbert ; Brinkkemper, Sjaak ; van Deursen, Arie ; Groote, Jan Friso ; Lago, Patricia ; van de Pol, Jaco ; Visser, Eelco ; Margaria, Tiziana ; Steffen, Bernhard
  • Faculty of Electrical Engineering, Mathematics & Computer Science
  • Chủ đề: Ir-104113 ; Ewi-27670
  • Là 1 phần của: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016, pp.609-625
  • Mô tả: Software is widely used, and society increasingly depends on its reliability. However, software has become so complex and it evolves so quickly that we fail to keep it under control. Therefore, we propose intents: fundamental laws that capture a software systems’ intended behavior (resilient, secure, safe, sustainable, etc.). The realization of this idea requires novel theories, algorithms, tools, and techniques to discover, express, verify, and evolve software intents. Thus, future software systems will be able to verify themselves that they meet their intents. Moreover, they will be able to respond to deviations from intents through self-correction. In this article we propose a research agenda, outlining which novel theories, algorithms and tools are required.
  • Ngôn ngữ: English
  • Số nhận dạng: ISBN: 978-3-319-47168-6 ; ISBN: 978-3-319-47169-3

Đang tìm Cơ sở dữ liệu bên ngoài...