( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verification for Reliable Product Lines.

, , , , , и . CoRR, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Manutschehr Amirfeyz

Mahmud Amirian-Khaffadjeh

Iradj Amirzadeh-Asl

Mansoor Anwer Ismail Amir

Belal Amireh

 

Другие публикации лиц с тем же именем

LOVER: Light-Weight fOrmal Verification of adaptivE Systems at Run Time., и . FACS, том 7684 из Lecture Notes in Computer Science, стр. 170-187. Springer, (2012)Dealing with Non-Functional Requirements for Adaptive Systems via Dynamic Software Product-Lines., и . Software Engineering for Self-Adaptive Systems, том 7475 из Lecture Notes in Computer Science, стр. 191-213. Springer, (2010)Models for Self-Adaptive Systems.. ECSA Workshops, стр. 24:1-24:5. ACM, (2015)On requirement verification for evolving Statecharts specifications., , , и . Requir. Eng., 19 (3): 231-255 (2014)Features meet scenarios: modeling and consistency-checking scenario-based product line specifications., , , и . Requir. Eng., 18 (2): 175-198 (2013)7th International Workshop on Principles of Engineering Service-Oriented and Cloud Systems (PESOS 2015)., , , , и . ICSE (2), стр. 987-988. IEEE Computer Society, (2015)ISBN 978-1-4799-1934-5 (Vol. I + II ???).Efficient consistency checking of scenario-based product-line specifications., , , и . RE, стр. 161-170. IEEE Computer Society, (2012)Model-based verification of quantitative non-functional properties for software product lines., и . Inf. Softw. Technol., 55 (3): 508-524 (2013)Requirements Verification of Variability-Intensive Systems.. Polytechnic University of Milan, Italy, (2014)Towards Agile Verification., , и . Perspectives on the Future of Software Engineering, стр. 31-47. Springer, (2013)