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 × Spain
1 × Switzerland
1 × United Kingdom
2 × Italy
Collaborated with:
T.Vardanega M.Panunzio S.Puri T.Tsiodras M.Perrotin E.Richa E.Borde L.Pautet J.F.Ruiz
Talks about:
integr (4) model (4) system (3) driven (3) high (3) transform (2) construct (2) time (2) real (2) precondit (1)

Person: Matteo Bordin

DBLP DBLP: Bordin:Matteo

Contributed to:

AMT 20142014
ASE 20082008
Ada-Europe 20082008
Ada-Europe 20072007
Ada-Europe 20052005

Wrote 5 papers:

AMT-2014-RichaBPBR #algebra #graph transformation #model transformation #testing #towards #using
Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Transformation (ER, EB, LP, MB, JFR), pp. 34–43.
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-2008-BordinTP #experience #integration #modelling
Experience in the Integration of Heterogeneous Models in the Model-driven Engineering of High-Integrity Systems (MB, TT, MP), pp. 171–184.
AdaEurope-2007-BordinV #approach #correctness #metamodelling #realtime
Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach (MB, TV), pp. 114–127.
AdaEurope-2005-BordinV #ada
A New Strategy for the HRT-HOOD to Ada Mapping (MB, TV), pp. 51–66.

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.