عنوان

Engineering trustworthy software systems :

شابک

303002928X

شابک

9783030029289

شابک اشتباه

9783030029272

عنوان اصلي

Engineering trustworthy software systems :

نام عام مواد

[Book]

ساير اطلاعات عنواني

third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial lectures /

نام نخستين پديدآور

Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.).

محل نشرو پخش و غیره

Cham, Switzerland :

نام ناشر، پخش کننده و غيره

Springer,

تاریخ نشرو بخش و غیره

2018.

نام خاص و کميت اثر

1 online resource (xvii, 219 pages) :

ساير جزييات

illustrations (some color)

عنوان فروست

Lecture notes in computer science ;

عنوان فروست

LNCS sublibrary. SL 2, Programming and software engineering

مشخصه جلد

11174

متن يادداشت

Includes author index.

متن يادداشت

A Guide to Rely/Guarantee Thinking -- An Illustrated Guide to the Model Theory of Supertype Abstraction and Behavioral Subtyping -- Formalizing Hoare Logic in PVS -- Modeling Concurrency in Dafny -- Software Is Not Soft: Challenges and Approaches to Dynamic Software Update -- Challenges for Formal Semantic Description: Responses from the Main Approaches.

بدون عنوان

0

متن يادداشت

This volume contains a record of some of the lectures and seminars delivered at the Third International School on Engineering Trustworthy Software Systems (SETSS 2017), held in April 2017 at Southwest University in Chongqing, China. The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have been distilled from six original courses delivered at the school on topics such as: rely/guarantee thinking; Hoare-style specification and verification of object-oriented programs with JML; logic, specification, verification, and interactive proof; software model checking with Automizer; writing programs and proofs; engineering self-adaptive software-intensive systems; and with an additional contribution on the challenges for formal semantic description. The material is useful for postgraduate students, researchers, academics, and industrial engineers, who are interested in the theory and practice of methods and tools for the design and programming of trustworthy software systems.

منبع سفارش / آدرس اشتراک

Springer Nature

شماره انبار

com.springer.onix.9783030029289

شماره استاندارد بين المللي کتاب و موسيقي

9783030029272

شماره استاندارد بين المللي کتاب و موسيقي

9783030029296

عنوان اصلي به زبان ديگر

SETSS 2017

موضوع مستند نشده

Computer security, Congresses.

موضوع مستند نشده

Computer software, Congresses.

موضوع مستند نشده

Software engineering, Congresses.

موضوع مستند نشده

Computer programming-- software development.

موضوع مستند نشده

Computer security.

موضوع مستند نشده

Computer software.

موضوع مستند نشده

Computers-- General.

موضوع مستند نشده

Computers-- Hardware-- Handheld Devices.

موضوع مستند نشده

Computers-- Programming-- General.

موضوع مستند نشده

Computers-- Programming Languages-- General.

موضوع مستند نشده

Computers-- Software Development & Engineering-- General.

موضوع مستند نشده

Information technology: general issues.

موضوع مستند نشده

Programming & scripting languages: general.

موضوع مستند نشده

Software engineering.

موضوع مستند نشده

Software Engineering.

موضوع مستند نشده

Systems analysis & design.

موضوع مستند نشده

COM051230

موضوع مستند نشده

UMZ

موضوع مستند نشده

UMZ

شماره

ويراست

شماره رده

مستند نام اشخاص تاييد نشده

Bowen, J. P., (Jonathan Peter),1956-

مستند نام اشخاص تاييد نشده

Liu, Zhiming,1961-

مستند نام اشخاص تاييد نشده

Zhang, Zili, (Senior lecturer)

مستند نام تنالگان تاييد نشده

SETSS (International school)(3rd :2017 :, Chongqing, China)

تاريخ عمليات

20200823074752.0

قواعد فهرست نويسي ( بخش توصيفي )

pn

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y