( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Model-based verification of quantitative non-functional properties for software product lines.

, и . Inf. Softw. Technol., 55 (3): 508-524 (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.

Mansoor Anwer Ismail Amir

Belal Amireh

Borzu Amirhosseini

Manutschehr Amirfeyz

Iradj Amirzadeh-Asl

 

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

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)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)Verifying Non-functional Properties of Software Product Lines: Towards an Efficient Approach Using Parametric Model Checking., и . SPLC, стр. 170-174. IEEE Computer Society, (2011)Model-based verification of quantitative non-functional properties for software product lines., и . Inf. Softw. Technol., 55 (3): 508-524 (2013)Towards Agile Verification., , и . Perspectives on the Future of Software Engineering, стр. 31-47. Springer, (2013)Requirements Verification of Variability-Intensive Systems.. Polytechnic University of Milan, Italy, (2014)