Results 11 to 20 of about 109,966 (284)
Using Built-In Domain-Specific Modeling Support to Guide Model-Based Test Generation [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 We present a model-based testing approach to support automated test generation with domain-specific concepts. This includes a language expert who is an expert at building test models and domain experts who are experts in the domain of the system under ...
Teemu Kanstrén, Olli-Pekka Puolitaival
doaj +1 more source
UML Transformation to Java-based Software Product Lines
Jurnal Ilmu Komputer dan Informasi, 2022 Software product line engineering (SPLE) is an emerging approach that enables variability management in software development. SPLE offers tremendous benefits, but lack of tool support becomes a barrier in the adoption of SPLE.
Falah Prasetyo Waluyo +2 more
doaj +1 more source
Provably correct Java implementations of Spi Calculus security protocols specifications [PDF]
, 2010 Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi Calculus and a translation function are formally defined, in order to ...
Abadi +16 more
core +1 more source
PENGEMBANGAN APLIKASI PERMAINAN SCRABBLE DUA BAHASA MENGGUNAKAN JAVA
CommIT Journal, 2010 Game applications are favored by many computer users. The population of Indonesia, especially common people do not like playing games in a foreign language. Yet such games can be a fun learning media for foreign languages , especially English.
Fajar Masya, Elvina Elvina
doaj +1 more source
{JML}-based Verification of Liveness Properties on a Class in isolation [PDF]
, 2006 International audienceThis paper proposes a way to verify temporal properties of a Java class in an extension of JML (Java Modeling Language) called JTPL (Java Temporal Pattern Language). We particularly address the verification of liveness properties by
Groslambert, Julien +2 more
core +2 more sources
A Language Model of Java Methods with Train/Test Deduplication
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023 4 pages + 2 references + 2 appendix. No captioned tables.
Chia-Yi Su +4 more
openaire +2 more sources
Generic Model Refactorings [PDF]
, 2009 Many modeling languages share some common concepts and principles. For example, Java, MOF, and UML share some aspects of the concepts\ud of classes, methods, attributes, and inheritance.
B.C.D.S. Oliveira +17 more
core +6 more sources
PENGEMBANGAN SISTEM PEMBELAJARAN BAHASA JEPANG BERBASIS ANDROID
SINTECH (Science and Information Technology) Journal, 2019 In this study, the authors built a system for developing Japanese language learning based on Android. The expected benefits of this research are helping users to master Japanese. The method used in this study is the prototype method. The research begins
Musfirah Putri Lukman +2 more
doaj +1 more source
Experimental Research on Evolution of E-commerce Ecosystem Based on Multi-Agent Modeling [PDF]
Jisuanji gongcheng, 2016 Based on the characteristics of e-commerce ecosystem,this paper applies multi-Agent modeling technology and Java language to construct the model of e-commerce ecosystem on the RePast platform,and uses the method of computational experiment to conduct ...
SUN Hao,XUE Xiao
doaj +1 more source
NLOMJ—Natural Language Object Model in Java [PDF]
, 2006 In this paper we present NLOMJ--a natural language object model in Java with English as the experiment language. It describes the grammar elements of any permissible expression in a natural language and their complicated relations with each other with the concept "Object" in OOP.
Jiyou Jia, Youfu Ye, Klaus Mainzer
openaire +1 more source