( en | de | ru )

 

Disambiguierung von "Amálio, Nuno"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Platform-Variant Applications from Platform-Independent Models via Templates.

, , , und . WGT@ETAPS, Volume 279 von Electronic Notes in Theoretical Computer Science, Seite 3-25. Elsevier, (2011)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Edward Kweku Nunoo

Beatrice Nunold

Nuno Amaálio

Nuno Gaspar

Amalio Fernandez-Pacheco

 

Weitere Publikationen von Autoren mit dem selben Namen

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