Structured Object-Oriented Formal Language and Method : 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers. [elektronicyk zdroj]

Autor: Xue, Jinyun

Externí odkaz: Kolekce e-knih KNAV (Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on request.)

Structured Object-Oriented Formal Language and Method : 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers. [elektronicky zdroj]

Autor: Tian, Cong

Externí odkaz: Kolekce e-knih KNAV (Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on requests.)

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Developing a Web Dictionary System Using the SOFL Three-Step Specification Approach.

Autor: Nagoya, Fumiko, Liu, Shaoying, Hamada, Kyousuke

Publikováno v: 2014 IEEE 11th Intl Conf on Ubiquitous Intelligence & Computing & 2014 IEEE 11th Intl Conf on Autonomic & Trusted Computing & 2014 IEEE 14th Intl Conf on Scalable Computing & Communications & Its Associated Workshops; 2014, p1-5, 5p

An Automated Approach to Specification-Based Program Inspection.

Autor: Kung-Kiu Lau, Banach, Richard, Liu, Shaoying, Nagoya, Fumiko, Chen, Yuting, Goya, Masashi, McDermid, John A.

Publikováno v: Formal Methods & Software Engineering; 2005, p421-434, 14p