( en | de | ru )

 

Disambiguation of "Amálio, Nuno"

Author of the publication

copydeleteadd this publication to your clipboard
Platform-Variant Applications from Platform-Independent Models via Templates.

, , , and . WGT@ETAPS, volume 279 of Electronic Notes in Theoretical Computer Science, page 3-25. Elsevier, (2011)

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.

Edward Kweku Nunoo

Beatrice Nunold

Nuno Amaálio

Nuno Gaspar

Amalio Fernandez-Pacheco

 

Other publications of authors with the same name

VCL, a Visual Language for Modelling Software Systems Formally., and . Diagrams, volume 6170 of Lecture Notes in Computer Science, page 282-284. Springer, (2010)Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity., , and . ABZ, volume 5238 of Lecture Notes in Computer Science, page 323-336. Springer, (2008)Using VCL as an Aspect-Oriented Approach to Requirements Modelling., , , and . LNCS Trans. Aspect Oriented Softw. Dev., (2010)Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z., and . ZB, volume 2651 of Lecture Notes in Computer Science, page 339-358. Springer, (2003)Modular Design by Contract Visually and Formally Using VCL., and . VL/HCC, page 227-234. IEEE Computer Society, (2010)Specifying Structural Properties and Their Constraints Formally, Visually and Modularly Using VCL., , and . BMMDS/EMMSAD, volume 50 of Lecture Notes in Business Information Processing, page 261-273. Springer, (2010)Modelling a cardiac pacemaker visually and formally., and . VL/HCC, page 257-258. IEEE, (2012)Suspicion-Driven Formal Analysis of Security Requirements.. SECURWARE, page 217-223. IEEE Computer Society, (2009)Formal Proof from UML Models., , and . ICFEM, volume 3308 of Lecture Notes in Computer Science, page 418-433. Springer, (2004)An experimental scrutiny of visual design modelling: VCL up against UML+OCL., , and . Empir. Softw. Eng., 25 (2): 1205-1258 (2020)