Combinatorial enumeration problems are to find all combinations of items (solutions) that satisfy given constraints. There are many applications to various problems that are closely related to real-life such as power distribution network analysis. Recent researches have paid attention to a generic framework for computing various combinatorial enumeration problems through the method of efficiently constructing the data structure, ZDD, for all solutions of those problems in a top-down fashion, which is thus called top-down ZDD construction. The paper focuses on this subject and provides a comprehensive survey on algorithms that the construction is based on, an extended method for efficiently handling complicated constraints, the basics of the programming tool, TdZdd, that allows us to easily develop top-down construction-based programs, and practical programming examples of some applied problems.
Test input generation techniques play a key role in improving test design efficiency. We present a survey of these techniques by systematically investigating research papers from five premium international conferences of software engineering and software testing held in the past decade. In this survey we categorize the papers by their purpose and also introduce each paper with a summary.
Tablet devices have become popular and various note-taking applications are now available. We can manipulate those applications through handwriting inputs. When we use those applications, we want to take notes naturally as if we are using a real pen and paper notebook. Though we have tried several applications, we felt a sense of incongruities with a series of menu manipulations. With regard to natural manipulations, menus on existing note-taking applications have signaled some drawbacks. In order to reveal the drawbacks, first we clarify criteria of menus for note-taking applications. Secondly, we research touch interactions, which we can assign into menu manipulations on tablet devices, and review how we invoke and select menus. Finally, we evaluate current menus and discuss what the suitable menus of note-taking applications are.
August 28, 2017 There had been a service stop from Aug 28‚ 2017‚ 1:50 to Aug 28‚ 2017‚ 10:08(JST) (Aug 27‚ 2017‚ 16:50 to Aug 28‚ 2017‚ 1:08(UTC)) . The service has been back to normal.We apologize for any inconvenience this may cause you.
July 31, 2017 Due to the end of the Yahoo!JAPAN OpenID service, My J-STAGE will end the support of the following sign-in services with OpenID on August 26, 2017: -Sign-in with Yahoo!JAPAN ID -Sign-in with livedoor ID * After that, please sign-in with My J-STAGE ID.
July 03, 2017 There had been a service stop from Jul 2‚ 2017‚ 8:06 to Jul 2‚ 2017‚ 19:12(JST) (Jul 1‚ 2017‚ 23:06 to Jul 2‚ 2017‚ 10:12(UTC)) . The service has been back to normal.We apologize for any inconvenience this may cause you.
May 18, 2016 We have released “J-STAGE BETA site”.
May 01, 2015 Please note the "spoofing mail" that pretends to be J-STAGE.