( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Integrating UML and B Specification Techniques.

, и . GI Jahrestagung (1), том 157 из Schriftenreihe der Österreichischen Computer-Gesellschaft, стр. 641-648. Konstanz UVK-Verl.-Ges., (2001)

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.

Jeanine Greim

Jeanine Bucherer

Jeanine Staber

Jeanine Engelhardt

Jeanine Gareiß

 

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

A "Coming and Going" Approach to Specification Construction: A Scenario., и . IWSSD, стр. 155-158. IEEE Computer Society, (1996)A method and a language for constructing iterative programs., и . Sci. Comput. Program., 5 (2): 201-218 (1985)A Systematic Approach to Transform OMT Diagrams to a B Specification., и . World Congress on Formal Methods, том 1708 из Lecture Notes in Computer Science, стр. 875-895. Springer, (1999)Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation., , , , и . SEFM, том 10886 из Lecture Notes in Computer Science, стр. 54-69. Springer, (2018)A Heuristic Algorithm to Detect Feature Interactions in Requirements., и . FIREworks, стр. 143-162. Springer, (2000)Contributions for Modelling UML State-Charts in B., и . IFM, том 2335 из Lecture Notes in Computer Science, стр. 109-127. Springer, (2002)Description of specification developments., и . RE, стр. 216-223. IEEE Computer Society, (1993)Integrating UML and B Specification Techniques., и . GI Jahrestagung (1), том 157 из Schriftenreihe der Österreichischen Computer-Gesellschaft, стр. 641-648. Konstanz UVK-Verl.-Ges., (2001)Bridging the Gap Between Requirements Document and Formal Specifications using Development Patterns., и . RE Workshops, стр. 116-122. IEEE, (2019)Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B., и . APSEC, стр. 495-. IEEE Computer Society, (2002)