Software Engineering

 


Requirements Modeling

We are working to develop tools and techniques that will enable rigorous, complete, and consistent modeling of requirements of business applications. This includes developing visual notations for specifying requirements, tools to analyze the requirements so specified, using development methods that start from requirements of applications and invent structures for storing domain knowledge, thus enabling reuse of requirements within a domain.

Focus Areas

  • Visual Specification and Analysis of Requirements: Specifying business rules and use cases visually and analyzing these specifications for consistency

  • Requirements Oriented Methods: Arriving at a development method that has stakeholders’ requirements as its focus
  • Domain Knowledge Representation: Defining a structure for storing domain knowledge that will enable efficient reuse of requirements within a domain.

Contact

FORMAL METHODS