( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Design by Contract to Improve Software Vigilance.

, , и . IEEE Trans. Software Eng., 32 (8): 571-586 (2006)

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.

Loïg Jezequel

Jean-Marc Régis

Jean-Marc Schaller

Jean-Marc Chanton

Jean-Marc Leutenegger

 

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

Echidna, an estelle compiler to prototype protocols on distributed computers., и . Concurr. Pract. Exp., 4 (5): 377-397 (1992)Comparing and classifying model transformation reuse approaches across metamodels., , , , , , , , и . Softw. Syst. Model., 19 (2): 441-465 (2020)Model-driven generative development of measurement software., , , , и . Softw. Syst. Model., 10 (4): 537-552 (2011)Reasoning over time into models with DataTime., , , , и . Softw. Syst. Model., 22 (5): 1689-1712 (октября 2023)Building a global clock for observing computations in distributed memory parallel computers., и . Concurr. Pract. Exp., 8 (1): 71-89 (1996)Design by Contract: The Lessons of Ariane., и . Computer, 30 (1): 129-130 (1997)Learning input-aware performance models of configurable systems: An empirical evaluation., , , , , , и . J. Syst. Softw., (февраля 2024)Test Synthesis from UML Models of Distributed Software., , , , и . IEEE Trans. Software Eng., 33 (4): 252-269 (2007)Living with Uncertainty in Model-Based Development., , , , , , и . Composing Model-Based Analysis Tools, Springer, (2021)A UML-integrated Test Description Language for Component Testing., , , , и . pUML, том P-7 из LNI, стр. 208-223. GI, (2001)