PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Ferrari, Alberto"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
SoftContract: an Assertion-Based Software Development Process that Enables Design-by-Contract.

, , , , und . DATE, Seite 358-363. IEEE Computer Society, (2004)

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.

Hector Alberto Fernandez Bobadilla University of Stuttgart

Alberto Ramón Gallardo Rico University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Type Inference, Abstract Interpretation and Strictness Analysis., und . Theor. Comput. Sci., 121 (1&2): 113-143 (1993)A Contract-based Formalism for the Specification of Heterogeneous Systems (invited)., , , , , und . FDL, Seite 142-147. IEEE, (2008)Formalization and completeness of evolving requirements using Contracts., , und . SIES, Seite 120-129. IEEE, (2013)Composing hybrid systems., , , und . CDC, Seite 4693-4699. IEEE, (2008)Time and memory tradeoffs in the implementation of AUTOSAR components., , , , und . DATE, Seite 864-869. IEEE, (2009)Efficient embedded software design with synchronous models., , , und . EMSOFT, Seite 187-190. ACM, (2005)Semantics-Preserving Design of Embedded Control Software from Synchronous Models., , , und . IEEE Trans. Software Eng., 33 (8): 497-509 (2007)Inter-operator reliability and prediction bands of a novel protocol to measure the coordinated movements of shoulder-girdle and humerus in clinical settings., , , , , , und . Med. Biol. Engineering and Computing, 47 (5): 475-486 (2009)A Wearable System for Gait Training in Subjects with Parkinson's Disease., , , , , und . Sensors, 14 (4): 6229-6246 (2014)An Application of SMC to continuous validation of heterogeneous systems., , , , , , , und . EAI Endorsed Trans. Indust. Netw. & Intellig. Syst., 4 (11): e2 (2017)