A predictive biophysical model that integrates protein-DNA structures and sequences to accurately determine genomic binding sites and affinities of DNA-binding proteins.

In this paper, we present the formal semantics of sequence diagrams. The semantics of a sequence diagram is interpreted as a consecutive execution of steps in UTP. The semantics clearly captures the ...

Simulating real world applications containing many functionalities using programs tend to become very complex in structure and behaviour. Validating such programs for its correctness require correct ...

This repository contains a course project for Software Specification and Modeling, focused on the analysis and design of a software system. It includes functional and non-functional requirements, use ...