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.

 

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

Model-based verification of quantitative non-functional properties for software product lines., и . Inf. Softw. Technol., 55 (3): 508-524 (2013)Compiler Testing using a Sentence Generator., , , , , и . Softw. Pract. Exp., 10 (11): 897-918 (1980)RESTful Service Architectures for Pervasive Networking Environments., , и . REST: From Research to Practice, Springer, (2011)Software Qualities and Principles., , и . The Computer Science and Engineering Handbook, CRC Press, (1997)Executing Formal Specifications: The ASTRAL to TRIO Translation Approach., и . Symposium on Testing, Analysis, and Verification, стр. 112-122. ACM, (1991)ubiREST: A RESTful Service-Oriented Middleware for Ubiquitous Networking, , , и . Advanced Web Services, Springer, New York, (2013)Supporting Configuration Management for Virtual Workgroups in a Peer-to-Peer Setting, , и . SEKE~'02: Proceedings of the 14th international conference on Software engineering and knowledge engineering, стр. 507--511. ACM, ACM Press, (июля 2002)Using Graph Transformation Systems to Specify and Verify Data Abstractions, , , и . Proceedings of the Seventh International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008), том X из Electronic Communications of the EASST, стр. 277--290. EASST, European Association of Software Science and Technology, (марта 2008)Optimizing Service Selection and Allocation in Situational Computing Applications., , , и . IEEE Trans. Serv. Comput., 6 (3): 414-428 (2013)Towards Agile Verification., , и . Perspectives on the Future of Software Engineering, стр. 31-47. Springer, (2013)