( en | de | ru )

 

Disambiguation of "Amálio, Nuno"

Author of the publication

copydeleteadd this publication to your clipboard
Modular Design by Contract Visually and Formally Using VCL.

, and . VL/HCC, page 227-234. IEEE Computer Society, (2010)

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

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)Using VCL as an Aspect-Oriented Approach to Requirements Modelling., , , and . LNCS Trans. Aspect Oriented Softw. Dev., (2010)Modular Design by Contract Visually and Formally Using VCL., and . VL/HCC, page 227-234. IEEE Computer Society, (2010)Modelling a cardiac pacemaker visually and formally., and . VL/HCC, page 257-258. IEEE, (2012)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)Suspicion-Driven Formal Analysis of Security Requirements.. SECURWARE, page 217-223. IEEE Computer Society, (2009)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)VCL, a Visual Language for Modelling Software Systems Formally., and . Diagrams, volume 6170 of Lecture Notes in Computer Science, page 282-284. Springer, (2010)Formal Proof from UML Models., , and . ICFEM, volume 3308 of Lecture Notes in Computer Science, page 418-433. Springer, (2004)From platform-independent to platform-specific models using democles., , , and . OOPSLA Companion, page 795-796. ACM, (2009)