Zobrazeno 1 - 10
of 39
pro vyhledávání: '"Yoonsik Cheon"'
Autor:
Yoonsik Cheon
Publikováno v:
Computational Science and Its Applications – ICCSA 2022 Workshops ISBN: 9783031105470
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9200e5ece686181a3635d7fc470cb61e
https://doi.org/10.1007/978-3-031-10548-7_45
https://doi.org/10.1007/978-3-031-10548-7_45
Autor:
Yoonsik Cheon
Publikováno v:
2021 IEEE International Conference on Progress in Informatics and Computing (PIC).
Autor:
Yoonsik Cheon, Carlos Chavez
Publikováno v:
2021 International Conference on Computational Science and Computational Intelligence (CSCI).
Autor:
Yoonsik Cheon
Publikováno v:
2020 International Conference on Computational Science and Computational Intelligence (CSCI).
A mobile app runs on small devices such as smartphones and tablets. Perhaps, because of this, there is a common misconception that writing a mobile app is simpler than a desktop application. In this paper, we show that this is indeed a misconception,
Autor:
Yoonsik Cheon
Publikováno v:
SERA
Software developers of today are under increasing pressure to support multiple platforms, in particular mobile platforms. However, developing a multiplatform application is difficult and challenging due to a variety of platform differences. We propos
Publikováno v:
ICSOFT
Java and Android applications can be written in the same programming language. Thus, it is natural to ask how much code can be shared between them. In this paper we perform a case study to measure quantitatively the amount of code that can be shared
Autor:
Yoonsik Cheon
Debugging is made difficult by the need to precisely describe what each piece of the software is supposed to do, and to write code to defend modules against the errors of other modules; if this is not done it is difficult to assign blame to a small p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0222b52b06ffd8430dea9a5722bc6ab6
https://doi.org/10.31274/rtd-180813-9872
https://doi.org/10.31274/rtd-180813-9872
Autor:
Yoonsik Cheon, Ashaveena Perumandla
Publikováno v:
Software Quality Journal. 15:7-25
In a pre and postcondition-style specification, it is difficult to specify the allowed sequences of method calls, referred to as protocols. The protocols are essential properties of reusable object-oriented classes and application frameworks, and the
Publikováno v:
FMCO
Specifications that are used in detailed design and in the documentation of existing code are primarily written and read by programmers. However, most formal specification languages either make heavy use of symbolic mathematical operators, which disc
Publikováno v:
Software: Practice and Experience. 35:583-599
In design by contract (DBC), assertions are typically written using program variables and query methods. The lack of separation between program code and assertions is confusing, because readers do not know what code is intended for use in the program