From post

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.

 

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

From timed scenarios to SDL: specification, implementation and testing of real-time systems., , и . SDL Forum, стр. 67-. Elsevier, (1999)Resolving inconsistencies of runtime configuration changes through change propagation and adjustments., , и . CoRR, (2022)Incremental Construction Approach for Distributed System Specifications., и . FORTE, том C-22 из IFIP Transactions, стр. 87-102. North-Holland, (1993)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)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)A Method for Component Evaluation for Live Testing of Cloud Systems., , и . ISSRE Workshops, стр. 87-92. IEEE, (2022)Methods for Live Testing of Cloud Services., , и . ICTSS, том 12543 из Lecture Notes in Computer Science, стр. 201-216. Springer, (2020)