Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar

Autili, Marco; Grunske, Lars; Lumpe, Markus; Pelliccione, Patrizio; Tang, Antony

dc.contributor.author	Autili, Marco
dc.contributor.author	Grunske, Lars
dc.contributor.author	Lumpe, Markus
dc.contributor.author	Pelliccione, Patrizio
dc.contributor.author	Tang, Antony
dc.date.accessioned	2022-03-23T08:59:13Z
dc.date.available	2022-03-23T08:59:13Z
dc.date.issued	2015
dc.identifier.issn	0098-5589
dc.identifier.uri	http://repository.usthb.dz//xmlui/handle/123456789/9139
dc.description	620-638 p. ; 5.477 ko.	en_US
dc.language.iso	en	en_US
dc.publisher	Institute of electrical and electronics engineers	en_US
dc.subject	Génie du logiciel	en_US
dc.subject	Systèmes logiciels : raisonnement mathématique	en_US
dc.subject	PSP Wizard	en_US
dc.subject	PSPFramework	en_US
dc.subject	Ingénieurs système	en_US
dc.title	Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar	en_US
dc.type	Article	en_US