BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × Italy
1 × Spain
1 × Sweden
1 × Switzerland
Collaborated with:
T.Vardanega S.Puri E.Mezzetti M.Bordin A.Cicchetti F.Ciccozzi S.Mazzini A.Zovi
Talks about:
driven (3) model (3) time (3) ravenscar (2) develop (2) system (2) base (2) ada (2) metamodel (1) prototyp (1)

Person: Marco Panunzio

DBLP DBLP: Panunzio:Marco

Contributed to:

ASE 20122012
Ada-Europe 20122012
Ada-Europe 20102010
ASE 20082008
Ada-Europe 20072007

Wrote 5 papers:

ASE-2012-CicchettiCMPPZV #development #industrial #modelling #named
CHESS: a model-driven engineering tool environment for aiding the development of complex industrial systems (AC, FC, SM, SP, MP, AZ, TV), pp. 362–365.
AdaEurope-2012-PanunzioV #ada #component #development
Ada Ravenscar Code Archetypes for Component-Based Development (MP, TV), pp. 1–17.
AdaEurope-2010-MezzettiPV #ada
Preservation of Timing Properties with the Ada Ravenscar Profile (EM, MP, TV), pp. 153–166.
ASE-2008-BordinPP #agile #modelling #prototype #realtime #verification
Rapid Model-Driven Prototyping and Verification of High-Integrity Real-Time Systems (MB, MP, SP), pp. 491–492.
AdaEurope-2007-PanunzioV #analysis #metamodelling #modelling #process
A Metamodel-Driven Process Featuring Advanced Model-Based Timing Analysis (MP, TV), pp. 128–141.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.