Agile-SOFL Agile Formal Engineering Method von Liu, Shaoying

DE-522
DE-634
DE-Aug4
DE-1050
DE-573
DE-M347
DE-92
DE-898
DE-859
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-384
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-824
DE-29
DE-739
URL des Erstveröffentlichers

Mathematics in software reliability and quality assurance

kostenfrei
kostenfrei

Structured object-oriented formal language and method 11th international workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, revised selected papers

Volltext

Structured object-oriented formal language and method 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016 : revised selected papers

Volltext

Structured object-oriented formal language and method 10th international workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, revised selected papers

DE-634
DE-858
DE-Aug4
DE-1050
DE-573
DE-M347
DE-92
DE-898
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-384
DE-473
DE-19
DE-703
DE-20
DE-706
DE-29
DE-739
DE-355
URL des Erstveröffentlichers

Structured object-oriented formal language and method 9th international workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, revised selected papers

DE-634
DE-Aug4
DE-573
DE-M347
DE-92
DE-898
DE-859
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-384
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-29
DE-739
URL des Erstveröffentlichers

Structured object-oriented formal language and method 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017 : revised selected papers

Volltext

Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings

Volltext

Structured object-oriented formal language and method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018 : revised selected papers

DE-634
DE-Aug4
DE-573
DE-M347
DE-92
DE-898
DE-859
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-29
DE-739
URL des Erstveröffentlichers

Formal Engineering for Industrial Software Development Using the SOFL Method von Liu, Shaoying

Inhaltsverzeichnis

Formal Engineering for Industrial Software Development Using the SOFL Method von Liu, Shaoying

DE-706
URL des Eerstveröffentlichers

Cao shu yi bu tong xing da zi dian

草书异部同形大字典　／

ICFEM 2000 York, England 4 - 6 September 2000

Structured object-oriented formal language and method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012 ; revised selected papers

Volltext
Inhaltsverzeichnis
Abstract

Structured object-oriented formal language and method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012 ; revised selected papers

Structured object-oriented formal language and method 4th international workshop, SOFL+MSVL 2014, Luxembourg, November 6, 2014 ; revised selected papers

Structured object-oriented formal language and method third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 ; revised selected papers

DE-634
DE-Aug4
DE-M347
DE-92
DE-859
DE-861
DE-91
DE-384
DE-473
DE-703
DE-20
DE-706
DE-29
DE-739
Volltext

Structured object-oriented formal language and method third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 ; revised selected papers

Formal methods and software engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27 - 31, 2008 ; proceedings

Volltext

Formal methods and software engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27 - 31, 2008 ; proceedings

Inhaltsverzeichnis