( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formal specifications design, evolution and reuse.

, и . CASCON, стр. 184-193. IBM, (1993)

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.

Ferhat Derman

Sami Ferhat Tezer

Saadet Ferhat-Akat

 

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

Bridging the gap between requirements and design: An approach based on Problem Frames and SysML., , и . J. Syst. Softw., 85 (3): 717-745 (2012)MAPLE: An Integrated Environment for Process Modelling and Enactment for NFV Systems., , , и . ECMFA, том 10890 из Lecture Notes in Computer Science, стр. 164-178. Springer, (2018)TURTLE-P: a UML profile for the formal validation of critical and distributed systems., , и . Softw. Syst. Model., 5 (4): 449-466 (2006)Resolving inconsistencies of runtime configuration changes through change propagation and adjustments., , и . CoRR, (2022)Methods for Live Testing of Cloud Services., , и . ICTSS, том 12543 из Lecture Notes in Computer Science, стр. 201-216. Springer, (2020)A Method for Component Evaluation for Live Testing of Cloud Systems., , и . ISSRE Workshops, стр. 87-92. IEEE, (2022)Towards an Integrated Model for Functional and User Interface Requirements., , и . HCSE, том 6409 из Lecture Notes in Computer Science, стр. 214-221. Springer, (2010)A Reuse Case Perspective on Documenting Frameworks., , и . APSEC, стр. 94-101. IEEE Computer Society, (1998)Enriching Use Cases with CTTs., , и . ICECCS, стр. 262-263. IEEE Computer Society, (2010)A Dynamic Evolution for the Specifications of Distributed Systems., и . ASIAN, том 1179 из Lecture Notes in Computer Science, стр. 287-298. Springer, (1996)