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

NeoIDL: A Domain Specific Language for Specifying REST Contracts Detailed Design and Extended Evaluation.

L. Lima, R. Bonifácio, E. Canedo, T. Castro, R. Fernandes, A. Palmeira, and U. Kulesza. International Journal of Software Engineering and Knowledge Engineering, 25 (9-10): 1653-1676 (2015)

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.

Lucas Lavoine University of Stuttgart

Lucas Möller University of Stuttgart

Lucas Haug University of Stuttgart

Lucas Vieira Pupim University of Stuttgart

Danielle Chagas de Lima University of Stuttgart

Other publications of authors with the same name

A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP.L. Lima, A. Tavares, and S. Nogueira. CoRR, (2019)An integrated semantics for reasoning about SysML design models using refinement.L. Lima, A. Miyazawa, A. Cavalcanti, M. Cornélio, J. Iyoda, A. Sampaio, R. Hains, A. Larkham, and V. Lewis. Softw. Syst. Model., 16 (3): 875-902 (2017)A Formal Semantics for SysML Activity Diagrams.L. Lima, A. Didier, and M. Cornélio. SBMF, volume 8195 of Lecture Notes in Computer Science, page 179-194. Springer, (2013)Inside the Right-Leaning Echo Chambers: Characterizing Gab, an Unmoderated Social System.L. Lima, J. Reis, P. Melo, F. Murai, L. Silva, P. Vikatos, and F. Benevenuto. ASONAM, page 515-522. IEEE Computer Society, (2018)Refinement Verification of Sequence Diagrams Using CSP.L. Lima, J. Iyoda, and A. Sampaio. SBMF, volume 10090 of Lecture Notes in Computer Science, page 235-252. (2016)Verifying Deadlock and Nondeterminism in Activity Diagrams.L. Lima, and A. Tavares. MoDELS (Companion), page 764-768. IEEE, (2019)Test case prioritization based on data reuse an experimental study.L. Lima, J. Iyoda, A. Sampaio, and E. Aranha. ESEM, page 279-290. IEEE Computer Society, (2009)Safe and Constructive Design with UML Components.F. Falcão, L. Lima, and A. Sampaio. SBMF, volume 11254 of Lecture Notes in Computer Science, page 234-251. Springer, (2018)Formal Models of SysML Blocks.A. Miyazawa, L. Lima, and A. Cavalcanti. ICFEM, volume 8144 of Lecture Notes in Computer Science, page 249-264. Springer, (2013)A Formal Semantics for Sequence Diagrams and a Strategy for System Analysis.L. Lima, J. Iyoda, and A. Sampaio. MODELSWARD, page 317-324. SciTePress, (2014)