Specifying and analyzing early requirements in Tropos

• 1 May 2004
• journal article
• Published by Springer Nature in Requirements Engineering
• Vol. 9  (2) , 132-150
• https://doi.org/10.1007/s00766-004-0191-7

Abstract

Keywords

• EARLY REQUIREMENTS SPECIFICATIONS
• FORMAL TROPOS
• FORMAL METHODS
• EARLY REQUIREMENT
• EARLY REQUIREMENTS SPECIFICATION
• FORMAL TROPOS SPECIFICATION
• TROPOS SPECIFICATION
• RICH TEMPORAL SPECIFICATION LANGUAGE
• MODEL CHECKING.
• FORMAL ANALYSIS TOOL
• FORMAL ANALYSIS TECHNIQUE
• FORMAL ANALYSIS
• FORMAL VERIFICATION
• SPECIFICATION LANGUAGE
• FORMAL METHOD
• MODEL CHECKING