Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar
No Thumbnail Available
Files
Date
2015
Journal Title
Journal ISSN
Volume Title
Publisher
Institute of electrical and electronics engineers
Abstract
Description
620-638 p. ; 5.477 ko.
Keywords
Génie du logiciel, Systèmes logiciels : raisonnement mathématique, PSP Wizard, PSPFramework, Ingénieurs système