It is argued that traditional programming languages are not designed to be verifiable. A new language is described, L, which is deliberately designed to facilitate reasoning about its programs, and, in particular, inf...
详细信息
A number of current proposals for software functional size measurement (FSM) exist in the literature;however there is as yet little validating evidence and no model to facilitate such validation. In the absence of tai...
详细信息
software processes can be categorized in two types of approach: engineering-based processes, criticized for restraining creativity, and agile methodologies, criticized for being often unpredictable. this paper propose...
详细信息
the objective of this study is to provide an empirical analysis of the effects of learning from imbalanced and noisy software measurement data. We observe the impact of four levels of imbalance and three levels of cla...
详细信息
Despite significant investment in research, the lightweight estimation of development effort is still an unsolved problem in softwareengineering. this study proposes a new, lightweight effort estimation model aimed a...
详细信息
In this paper we present a C++ component-based framework, called CCF, for developing software with support to dynamic unanticipated evolution. the CCF is an implementation of the COMPOR Component Model Specification, ...
详细信息
Some machine learning applications are intended to learn properties of data sets where the correct answers are not already known to human users. It is challenging to test such ML software, because there is no reliable...
详细信息
Today, softwareengineering is evolving from source code to the model realm. As objects have been considered "atomic units" in software development and maintenance, models are becoming first order citizens i...
详细信息
A peculiar arm-wrestling robot recently developed in our laboratory is basically comprised of a mechanical arm and a control computer. the arm-wrestling robot detects the maximum arm-force of the user in the early sta...
详细信息
Design patterns describe good solutions to common and recurring problems. the applications of design patterns may vary in different layouts, which pose challenges for recovering and changing these design pattern insta...
详细信息
暂无评论