Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar
Autili, Marco ; Grunske, Lars ; Lumpe, Markus ; Pelliccione, Patrizio ; Tang, Antony
IEEE transactions on software engineering, 2015-07, Vol.41 (7), p.620-638 [Periódico revisado por pares]New York: IEEE
Texto completo disponível