Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Checking the Conformance of Java Classes Against Algebraic Specifications.

I. Nunes, A. Lopes, V. Vasconcelos, J. Abreu, and L. Reis. ICFEM, volume 4260 of Lecture Notes in Computer Science, page 494-513. Springer, (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. You can also use the button next to the name to display some publications already assigned to the person.

Antonia Roso University of Stuttgart

Antonia Gronle University of Stuttgart

Antonia Josefa Krahl University of Stuttgart

Maria Valeria Torres Lopes Rauck University of Stuttgart

Other publications of authors with the same name

Superposing Connectors.M. Wermelinger, A. Lopes, and J. Fiadeiro. IWSSD, page 87-94. IEEE Computer Society, (2000)A Model-Driven Approach to Variability Management in Product-Line Engineering.A. Santos, K. Koskimies, and A. Lopes. Nord. J. Comput., 13 (3): 196-213 (2006)Gentzen-Type System for Verification in Conceptual Modeling.C. Sernadas, P. Gouveia, and A. Lopes. FMLDO, volume 91/3 of Informatik-Berichte des IfI, page 215-228. Technische Universität Clausthal, (1991)Automated Domain-Specific Modeling Languages for Generating Framework-Based Applications.A. Santos, K. Koskimies, and A. Lopes. SPLC, page 149-158. IEEE Computer Society, (2008)Coordination for Distributed Business Systems.L. Andrade, J. Fiadeiro, A. Lopes, and M. Wermelinger. CAiSE Workshops, volume 75 of CEUR Workshop Proceedings, CEUR-WS.org, (2003)Self-Management of Adaptable Component-Based Applications.L. Rosa, L. Rodrigues, A. Lopes, M. Hiltunen, and R. Schlichting. IEEE Trans. Software Eng., 39 (3): 403-421 (2013)Adaptation impact and environment models for architecture-based self-adaptive systems.J. Cámara, A. Lopes, D. Garlan, and B. Schmerl. Sci. Comput. Program., (2016)Algebraic Semantics of Design Abstractions for Context-Awareness.A. Lopes, and J. Fiadeiro. WADT, volume 3423 of Lecture Notes in Computer Science, page 79-93. Springer, (2004)A Compositional Approach to Connector Construction.A. Lopes, M. Wermelinger, and J. Fiadeiro. WADT, volume 2267 of Lecture Notes in Computer Science, page 201-220. Springer, (2001)Preservation and Reflection in Specification.A. Lopes, and J. Fiadeiro. AMAST, volume 1349 of Lecture Notes in Computer Science, page 380-394. Springer, (1997)