• Publications
  • Influence
Bridging the Gap between Fault Trees and UML State Machine Diagrams for Safety Analysis
TLDR
We propose an algorithm to transform the hazard from a fault tree to a state machine diagram, which bridges the gap between hazard analysis and system specification. Expand
  • 27
  • 2
  • PDF
Recent Catastrophic Accidents: Investigating How Software was Responsible
TLDR
This paper reviews 14 recent accidents, several of which resulted in the loss of life in addition to time and money, and identifies the role(s) that software played as an important causative factor. Expand
  • 34
  • 1
  • PDF
Total synthesis of pareitropone via radical anion coupling.
A concise (9-step) synthesis of the tropoloisoquinoline alkaloid pareitropone has been achieved starting from 2-bromoisovanillin. The key step features oxidative cyclization of a readily availableExpand
  • 8
Substitution of ethambutol with linezolid during the intensive phase of treatment of pulmonary tuberculosis: a prospective, multicentre, randomised, open-label, phase 2 trial.
BACKGROUND Linezolid improves the treatment outcomes of multidrug-resistant tuberculosis substantially. We investigated whether use of linezolid instead of ethambutol increases the proportion ofExpand
  • 8
Change Impact Analysis of a Software Process Using Process Slicing
TLDR
A software process needs to be changed for various reasons such as new tools to support software development, needs for process improvement, process tailoring, and unexpected situations. Expand
  • 8
Substitution of ethambutol with linezolid during the intensive phase of treatment of pulmonary tuberculosis: study protocol for a prospective, multicenter, randomized, open-label, phase II trial
BackgroundLinezolid, an oxazolidinone, substantially improves treatment outcomes of multidrug-resistant tuberculosis and extensively drug-resistant tuberculosis. We started a trial to test whetherExpand
  • 5
Developing a software process simulation model using SPEM and analytical models
TLDR
We propose an approach to develop an SPSM using UML based on the Software Process Engineering Metamodel (SPEM) and widely adopted analytical models. Expand
  • 11
Developing a Simulation Model Using a SPEM-Based Process Model and Analytical Models
TLDR
We propose an approach to deriving a simulation model from a descriptive process model and widely adopted analytical models. Expand
  • 8
Deriving Data Dependence from/for UML State Machine Diagrams
TLDR
Slicing is a well-known reduction technique in many areas such as debugging, maintenance, and testing, and thus, there has been considerable research in the application of slicing techniques to models at the design level. Expand
  • 5
Identifying properties of UML state machine diagrams that affect data and control dependence
TLDR
We show why the unique properties of UML state machine diagrams are important to consider when retrieving data and control dependence information, by virtue of an illustrative example. Expand
  • 1