Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Han-Myung Chang"'
Autor:
Peter Gorm Larsen, Tomohiro Oda, Han-Myung Chang, Yasuhiro Yamamoto, Hiroshi Sako, Keijiro Araki, Kumiyo Nakakoji
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030549961
FM Workshops (2)
FM Workshops (2)
An obstacle to applying formal specification techniques to industrial projects is that stakeholders with little engineering background may experience difficulty comprehending the specification. Forming a common understanding of a specification is ind
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4aeb4a4e639c591f79ad151a94c9d02a
https://doi.org/10.1007/978-3-030-54997-8_19
https://doi.org/10.1007/978-3-030-54997-8_19
Publikováno v:
APSEC
Explicit description of design decisions together with architecture design becomes an important basis for constructing and evolving quality systems. However since most of the architecture decisions remain implicit and undocumented, architecture docum
Publikováno v:
COMPSAC
TCP/IP applications have become increasingly important in this network generation. Their development, however, is troublesome in practice since reusable components are usually system-call-level service routines. We describe an application framework w
Publikováno v:
COMPSAC
One of the most important problems in software development using CASE tools is that it is impossible to verify semantical consistency between data and procedure descriptions expressed in structured diagrams. We introduce formal methods into the CASE
Publikováno v:
Proceedings 26th Annual International Computer Software & Applications; 2002, p627-634, 8p
Publikováno v:
Proceedings of 20th International Computer Software & Applications Conference: COMPSAC '96; 1996, p261-269, 9p
Autor:
Tomohiro Oda, Keijiro Akari, Yasuhiro Yamamoto, Kumiyo Nakakoji, Han-Myung Chang, Peter Gorm Larsen
Publikováno v:
Aarhus University
Oda, T, Akari, K, Yamamoto, Y, Nakakoji, K, Chang, H-M & Larsen, P G 2021, Specifying Abstract User Interface in VDM-SL . in J Fitzgerald, T Oda & H D Macedo (eds), Proceedings of the 18th International Overture Workshop . pp. 5-20, 18th International Overture Workshop, 07/12/2020 . < https://arxiv.org/pdf/2101.07261.pdf >
Oda, T, Akari, K, Yamamoto, Y, Nakakoji, K, Chang, H-M & Larsen, P G 2021, Specifying Abstract User Interface in VDM-SL . in J Fitzgerald, T Oda & H D Macedo (eds), Proceedings of the 18th International Overture Workshop . pp. 5-20, 18th International Overture Workshop, 07/12/2020 . < https://arxiv.org/pdf/2101.07261.pdf >
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ec43fb7813e7d6bed267d53d6691545e
https://pure.au.dk/portal/en/publications/specifying-abstract-user-interface-in-vdmsl(a5204ce8-83fc-4bb0-84fc-009d47bd34b0).html
https://pure.au.dk/portal/en/publications/specifying-abstract-user-interface-in-vdmsl(a5204ce8-83fc-4bb0-84fc-009d47bd34b0).html
Publikováno v:
Aarhus University
Oda, T, Araki, K, Sahara, S, Chang, H-M & Larsen, P G 2021, Refactoring for Exploratory Specification in VDM-SL . in H D Macedo, C Thule & K Pierce (eds), Proceedings of the 19th International Overture Workshop . pp. 21-35, 19th International Overture Workshop, Aarhus, Denmark, 22/10/2021 . < https://arxiv.org/abs/2110.09371 >
Oda, T, Araki, K, Sahara, S, Chang, H-M & Larsen, P G 2021, Refactoring for Exploratory Specification in VDM-SL . in H D Macedo, C Thule & K Pierce (eds), Proceedings of the 19th International Overture Workshop . pp. 21-35, 19th International Overture Workshop, Aarhus, Denmark, 22/10/2021 . < https://arxiv.org/abs/2110.09371 >
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e65a3ac14b1f18f974cb37eee0aad5bf
https://pure.au.dk/portal/en/publications/refactoring-for-exploratory-specification-in-vdmsl(e8508abf-32d4-4a24-978a-9c7c26c7860a).html
https://pure.au.dk/portal/en/publications/refactoring-for-exploratory-specification-in-vdmsl(e8508abf-32d4-4a24-978a-9c7c26c7860a).html
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.