Agile Formal Engineering Method for Software Productivity and Reliability (Shaoying Liu, SECR-2018)

Материал из 0x1.tv

(перенаправлено с «20181013AF»)
Speaker
Shaoying Liu.jpg
Shaoying Liu

In spite of the extensive efforts made by researchers and practitioners over the last fifty years, software engineering is still facing tremendous challenges. Several well-recognized software development paradigms have been studied and applied, but considerable difficulties and problems with software productivity and quality are still serious.

We present an Agile Formal Engineering Method called Agile-SOFL for achieving high software productivity and reliability, which is the result of our recent five-year KAKENHI research project involving four universities and one national research institute in Japan. We describe the overall idea of the method and discuss every activity involved in the method with examples to ensure the readability of our discussions.

Video

on youtube

Посмотрели доклад? Понравился? Напишите комментарий! Не согласны? Тем более напишите.

Slides

Agile Formal Engineering Method for Software Productivity and Reliability (Shaoying Liu, SECR-2018).pdf Agile Formal Engineering Method for Software Productivity and Reliability (Shaoying Liu, SECR-2018).pdf Agile Formal Engineering Method for Software Productivity and Reliability (Shaoying Liu, SECR-2018).pdf Agile Formal Engineering Method for Software Productivity and Reliability (Shaoying Liu, SECR-2018).pdf Agile Formal Engineering Method for Software Productivity and Reliability (Shaoying Liu, SECR-2018).pdf Agile Formal Engineering Method for Software Productivity and Reliability (Shaoying Liu, SECR-2018).pdf Agile Formal Engineering Method for Software Productivity and Reliability (Shaoying Liu, SECR-2018).pdf Agile Formal Engineering Method for Software Productivity and Reliability (Shaoying Liu, SECR-2018).pdf Agile Formal Engineering Method for Software Productivity and Reliability (Shaoying Liu, SECR-2018).pdf Agile Formal Engineering Method for Software Productivity and Reliability (Shaoying Liu, SECR-2018).pdf Agile Formal Engineering Method for Software Productivity and Reliability (Shaoying Liu, SECR-2018).pdf Agile Formal Engineering Method for Software Productivity and Reliability (Shaoying Liu, SECR-2018).pdf Agile Formal Engineering Method for Software Productivity and Reliability (Shaoying Liu, SECR-2018).pdf Agile Formal Engineering Method for Software Productivity and Reliability (Shaoying Liu, SECR-2018).pdf Agile Formal Engineering Method for Software Productivity and Reliability (Shaoying Liu, SECR-2018).pdf Agile Formal Engineering Method for Software Productivity and Reliability (Shaoying Liu, SECR-2018).pdf Agile Formal Engineering Method for Software Productivity and Reliability (Shaoying Liu, SECR-2018).pdf Agile Formal Engineering Method for Software Productivity and Reliability (Shaoying Liu, SECR-2018).pdf Agile Formal Engineering Method for Software Productivity and Reliability (Shaoying Liu, SECR-2018).pdf Agile Formal Engineering Method for Software Productivity and Reliability (Shaoying Liu, SECR-2018).pdf Agile Formal Engineering Method for Software Productivity and Reliability (Shaoying Liu, SECR-2018).pdf Agile Formal Engineering Method for Software Productivity and Reliability (Shaoying Liu, SECR-2018).pdf Agile Formal Engineering Method for Software Productivity and Reliability (Shaoying Liu, SECR-2018).pdf Agile Formal Engineering Method for Software Productivity and Reliability (Shaoying Liu, SECR-2018).pdf Agile Formal Engineering Method for Software Productivity and Reliability (Shaoying Liu, SECR-2018).pdf Agile Formal Engineering Method for Software Productivity and Reliability (Shaoying Liu, SECR-2018).pdf Agile Formal Engineering Method for Software Productivity and Reliability (Shaoying Liu, SECR-2018).pdf Agile Formal Engineering Method for Software Productivity and Reliability (Shaoying Liu, SECR-2018).pdf Agile Formal Engineering Method for Software Productivity and Reliability (Shaoying Liu, SECR-2018).pdf Agile Formal Engineering Method for Software Productivity and Reliability (Shaoying Liu, SECR-2018).pdf Agile Formal Engineering Method for Software Productivity and Reliability (Shaoying Liu, SECR-2018).pdf Agile Formal Engineering Method for Software Productivity and Reliability (Shaoying Liu, SECR-2018).pdf Agile Formal Engineering Method for Software Productivity and Reliability (Shaoying Liu, SECR-2018).pdf Agile Formal Engineering Method for Software Productivity and Reliability (Shaoying Liu, SECR-2018).pdf Agile Formal Engineering Method for Software Productivity and Reliability (Shaoying Liu, SECR-2018).pdf Agile Formal Engineering Method for Software Productivity and Reliability (Shaoying Liu, SECR-2018).pdf Agile Formal Engineering Method for Software Productivity and Reliability (Shaoying Liu, SECR-2018).pdf Agile Formal Engineering Method for Software Productivity and Reliability (Shaoying Liu, SECR-2018).pdf Agile Formal Engineering Method for Software Productivity and Reliability (Shaoying Liu, SECR-2018).pdf Agile Formal Engineering Method for Software Productivity and Reliability (Shaoying Liu, SECR-2018).pdf
Agile Formal Engineering Method for Software Productivity and Reliability (Shaoying Liu, SECR-2018)!.jpg

Links

Plays:52   Comments:0

[ Хронологический вид ]Комментарии

(нет элементов)

Войдите, чтобы комментировать.