Specification of Non-Functional Requirements: A Hybrid Approach.

Unnati S. Shah Sankita Patel Devesh Jinwala

Published in: REFSQ Workshops (2016)

Keyphrases

high level
specification language
formal specification
real world
genetic algorithm
conceptual model
artificial intelligence
knowledge base
special case
formal methods
state machine
reactive systems