Saurabh Tiwari

Learn More
A software is associated with certain modes of failure. Occurrence of such failures may be hazardous for the regular functioning of the software. Majority of these failures occur because of the unforeseen faults that manifest themselves during the execution of the software. The contemporary trends in the software industry indicate dedicated efforts to(More)
BACKGROUND AND AIMS General anaesthesia (GA) may cause post-operative impairment of cognition and memory. This is of importance where time to discharge after anaesthesia is short as after laparoscopic cholecystectomy. This study was conducted to compare the effects of propofol and sevoflurane on cognitive function in the post-operative period. METHODS(More)
Use case models, that include use case diagrams along with their documentations, are typically used to specify the functional requirements of the software systems. Use cases are usually semi-structured and documented using some natural language hence issues like ambiguity, inconsistency, and incompleteness are inevitably introduced in the specifications.(More)
Software Fault Tree Analysis (SFTA) and Software Failure Modes and Effects Analysis (SFMEA) are the techniques used to improve the reliability of software systems. SFTA is a top down deductive approach while SFMEA is a bottom up inductive approach to do risk analysis. In this paper, we present a formal approach to analyze and validate the functional(More)
Test driven development, an agile programming approach, has been advocated as a promising approach for developing quality code. This approach aims at developing minimal, non-redundant code accepting only one test case at a time. However, not much has been deliberated in the literature on how to systematically generate test cases for incremental coding. In(More)
An office document mashup called 'Dual Forms' is presented to demonstrate the feasibility and advantages of imbuing an office document with intelligent interaction capabilities, access to web services of a service-oriented architecture (SOA), digital signatures for legally binding contractual agreements, and a self-submission capability that allows the(More)
In this paper, we present an approach of validating functional requirements modeled as a set of use cases. In this approach, we perform requirement analysis both at use case level as well as system level. The approach consists of two steps. In step one, each use case is independently modeled by a UML Statechart, which is then analyzed for any state-specific(More)
In this paper, we propose an approach for transforming use case requirements into actor-oriented activity charts. In this approach, we first specify requirements using a relatively more formalized use case template. Next, we generate actor-oriented activity charts by identifying various interactions of an actor with the system and the events sequenced(More)