%0 Journal Article %1 autili2015aligning %A Autili, Marco %A Grunske, Lars %A Lumpe, Markus %A Pelliccione, Patrizio %A Tang, Antony %D 2015 %I IEEE Computer Society %J IEEE transactions on software engineering %K %N 7 %P 620-638 %R 10.1109/TSE.2015.2398877 %T Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar %V 41

@article{autili2015aligning, added-at = {2023-08-31T16:35:41.000+0200}, affiliation = {Autili, M (Reprint Author), Univ Aquila, Dipartimento Ingn & Sci Informaz & Matemat, Laquila, Italy. Autili, Marco; Pelliccione, Patrizio, Univ Aquila, Dipartimento Ingn & Sci Informaz & Matemat, Laquila, Italy. Pelliccione, Patrizio, Univ Gothenburg, Chalmers Univ Technol, Dept Comp Sci & Engn, Gothenburg, Sweden. Grunske, Lars, Univ Stuttgart, Inst Software Technol, D-70569 Stuttgart, Germany. Lumpe, Markus; Tang, Antony, Swinburne Univ Technol, Hawthorn, Vic 3122, Australia.}, author = {Autili, Marco and Grunske, Lars and Lumpe, Markus and Pelliccione, Patrizio and Tang, Antony}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/22ae9cc9b649e83e2ad52fe88fcc11374/puma-wartung}, doi = {10.1109/TSE.2015.2398877}, interhash = {42137c1eaec7c293176e04e2cd0d4f4e}, intrahash = {2ae9cc9b649e83e2ad52fe88fcc11374}, issn = {{0098-5589} and {1939-3520}}, journal = {IEEE transactions on software engineering}, keywords = {}, language = {eng}, number = 7, pages = {620-638}, publisher = {IEEE Computer Society}, research-areas = {Computer Science; Engineering}, timestamp = {2023-08-31T14:35:41.000+0200}, title = {Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar}, unique-id = {ISI:000358247100001}, volume = 41, year = 2015 }