Norihisa Doi

Learn More
The reverse execution of programs is a function where programs are executed backward in time. A reversible debugger is a debugger that provides such a functionality. In this paper, we propose a novel reversible debugger that enables reverse execution of programs written in the C language. Our approach takes the <i>virtual machine based approach</i>. In this(More)
A|istract An extension of tile notion of "cen-tering" is described for illt erl)rcting zero-|)rOIlO[lllS ~llld OVOFL l)l'O[IOl[llS in lia, Lll-r;dly oCcllrring Japanese l:exl,, hi l)rcvi-ous work, Oile ZeFO-[)l'OllOIlll (~llcodo,q the t)ackward-looking center, with i)rollOllllS a, nd other zero-pronouns ha.ndh;d as if they were overtly expressed. All(More)
This paper proposes a new model-driven framework that allows developers to model and program domain-specific concepts (ideas and mechanisms specific to a particular business or technology domain) and to transform them toward the final (compi-lable) source code. The proposed framework provides an abstraction to represent domain-specific concepts at both(More)
HoME is a version of Smalltalk which can be efficiently executed on a multiprocessor and can be executed in parallel by combining a Smalltalk process with a Mach thread and executing the process on the thread. HoME is nearly the same as ordinary Smalltalk except that multiple processes may execute in parallel. Thus, almost all applications running on(More)
  • Hiroshi Wada, Junichi Suzuki, Katsuya Oba, Shingo Takada, Norihisa Doi
  • 2006
This paper describes and empirically evaluates a new model-driven framework, called Modeling Turnpike (or mTurnpike), which allows developers to effectively model and program domain concepts (ideas and mechanisms specific to a particular business or technology domain). By leveraging UML metamodeling and attribute-oriented programming, mTurnpike provides an(More)
This paper proposes a new model-driven framework that allows developers to model and program domain-specific concepts (ideas and mechanisms specific to a particular domain) and to transform them toward the final (compi-lable) source code in a seamless manner. The proposed framework provides an abstraction to represent domain-specific concepts at both(More)