( en | de | ru )

 

Disambiguierung von "Sharifloo, Amir Molzam"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Model-based verification of quantitative non-functional properties for software product lines.

, und . Inf. Softw. Technol., 55 (3): 508-524 (2013)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Mahmud Amirian-Khaffadjeh

Iradj Amirzadeh-Asl

Manutschehr Amirfeyz

Borzu Amirhosseini

Mansoor Anwer Ismail Amir

 

Weitere Publikationen von Autoren mit dem selben Namen

LOVER: Light-Weight fOrmal Verification of adaptivE Systems at Run Time., und . FACS, Volume 7684 von Lecture Notes in Computer Science, Seite 170-187. Springer, (2012)Models for Self-Adaptive Systems.. ECSA Workshops, Seite 24:1-24:5. ACM, (2015)Dealing with Non-Functional Requirements for Adaptive Systems via Dynamic Software Product-Lines., und . Software Engineering for Self-Adaptive Systems, Volume 7475 von Lecture Notes in Computer Science, Seite 191-213. Springer, (2010)Features Meet Scenarios: Modeling and Consistency-checking Scenario-based Product Line Specifications, , , und . Requir. Eng., 18 (2): 175--198 (Juni 2013)7th International Workshop on Principles of Engineering Service-Oriented and Cloud Systems (PESOS 2015)., , , , und . ICSE (2), Seite 987-988. IEEE Computer Society, (2015)ISBN 978-1-4799-1934-5 (Vol. I + II ???).Efficient consistency checking of scenario-based product-line specifications., , , und . RE, Seite 161-170. IEEE Computer Society, (2012)Model-based verification of quantitative non-functional properties for software product lines., und . Inf. Softw. Technol., 55 (3): 508-524 (2013)Requirements Verification of Variability-Intensive Systems.. Polytechnic University of Milan, Italy, (2014)Towards Agile Verification., , und . Perspectives on the Future of Software Engineering, Seite 31-47. Springer, (2013)Verifying Non-functional Properties of Software Product Lines: Towards an Efficient Approach Using Parametric Model Checking., und . SPLC, Seite 170-174. IEEE Computer Society, (2011)