Context: In Taiwan, the supply of software engineers provided by universities has suffered
from both a quantity problem and a quality problem. An effort to change the software …

This study examined how undergraduate engineering students form career goals. We
hypothesized that a student's development of an engineering identity might be correlated …

Formal Methods has been recognized as a rigorous development methodology for hardware
and software systems. In particular, model checking is well accepted as an effective …

Education of cloud engineers will be crucial for the continued development of cloud
technologies. We have developed an open-source software platform called edubase Cloud …

In order to make practical use of formal methods, it is not sufficient for engineers to obtain
general, fundamental knowledge of the methods and tools. Actually, it is also necessary for …

This paper details the validation of a comprehensive teaching model for security
requirements engineering which ensures that security is built into the software from its …

Formal methods play essential roles in education and training of software engineering.
Besides the fact that formal methods themselves can be direct solutions to problems in …

Model checking is a powerful technique for verifying the correctness of a systempsilas
specification. But even when the specification has been verified to be correct, there is still the …

This paper is the preliminary report of a joint research project on developing a body of
knowledge on model checking. The project is being carried out by four organizations that …

Because an information system is used in different activities simultaneously today, we have
to analyze usages of the system in the existing activities and to-be usages in an intended …