Context Use cases have been widely accepted and acknowledged as a specification tool for
specifying the functional requirements of a software system. Many variations of use cases …

Business process modeling has become an important tool for managing organizational
change and for capturing requirements of software. A central problem in this area is the fact …

In this work, a Model-Based Systems Engineering approach based on SysML is proposed.
This approach is used for the capture and the definition of functional requirements in …

Acceptance testing is a validation activity performed to ensure the conformance of software
systems with respect to their functional requirements. In safety critical systems, it plays a …

In safety critical domains, system test cases are often derived from functional requirements in
natural language (NL) and traceability between requirements and their corresponding test …

Use case modeling, including use case diagrams and use case specifications (UCSs), is
commonly applied to structure and document requirements. UCSs are usually structured but …

Going from requirements analysis to design phase is considered as one of the most complex
and difficult activities in software development. Errors caused during this activity can be quite …

Large corporations increasingly utilize business process models for documenting and
redesigning their operations. The extent of such modeling initiatives with several hundred …

The logic construction of a double-edge-triggered (DET) flip-flop, which can receive input
signal at two levels of the clock, is analyzed and a new circuit design of CMOS DET flip-flop …

The transition from an informal requirements specification in natural language to a
structured, precise specification is an important challenge in practice. It is particularly so for …