D. Muthiayen

  • Citations Per Year
Learn More
Formal verification of time-dependent properties is crucial in the development of real-time reactive systems for safety-critical applications. Systems modeled in UML (Unified Modeling Language) result in graphic descriptions of the static structure and dynamic behavior of a system and its components. Generating a formal specification from the UML models(More)
Formalizing a modeling technique broaches issues including development of software specification, design, analysis, and synthesis. Software engineering methodologies should be grounded on rigorous principles and not on ad hoc approaches. Our approach is to integrate the recently published industrial standard graphic notation UML (Unified Modeling Language),(More)
  • 1