( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Proof-theoretic Conceptual Modeling: the NIAM Case Study.

, , , и . ISCO, стр. 1-30. North-Holland, (1989)

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.

José Luiz Rodrigues

José Luiz Piazza

Humberto Jorge José

Thomas Luiz

Nadine José Gonzalez

 

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

Connectors for Mobile Programs., и . IEEE Trans. Software Eng., 24 (5): 331-341 (1998)Describing, Structuring and Implementing Objects., и . REX Workshop, том 489 из Lecture Notes in Computer Science, стр. 274-310. Springer, (1990)Preservation and Reflection in Specification., и . AMAST, том 1349 из Lecture Notes in Computer Science, стр. 380-394. Springer, (1997)A Model-Checking Approach for Service Component Architectures., , , и . FMOODS/FORTE, том 5522 из Lecture Notes in Computer Science, стр. 219-224. Springer, (2009)A Compositional Approach to Connector Construction., , и . WADT, том 2267 из Lecture Notes in Computer Science, стр. 201-220. Springer, (2001)Algebraic Semantics of Design Abstractions for Context-Awareness., и . WADT, том 3423 из Lecture Notes in Computer Science, стр. 79-93. Springer, (2004)Revisiting the Institutional Approach to Herbrand's Theorem., и . CALCO, том 35 из LIPIcs, стр. 304-319. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Designing for Software's Social Complexity.. Computer, 40 (1): 34-39 (2007)Categories for software engineering.. Springer, (2005)On local modularity and interpolation in entailment systems., , и . Inf. Process. Lett., 82 (4): 203-211 (2002)