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 × Austria
1 × France
1 × Germany
1 × Italy
1 × Spain
1 × Switzerland
1 × The Netherlands
Collaborated with:
J.A.d.l.Puente J.Zamorano M.A.d.Miguel A.Alvarez J.Amador B.d.Vincente E.Salazar J.F.Briones J.P.Silva J.A.Pulido R.López T.Vardanega J.L.Fernández
Talks about:
ada (4) softwar (3) develop (3) integr (3) time (3) system (2) safeti (2) execut (2) design (2) model (2)

Person: Alejandro Alonso

DBLP DBLP: Alonso:Alejandro

Contributed to:

Ada-Europe 20132013
IET Software, 20082008
Ada-Europe 20042004
Ada-Europe 20032003
Ada-Europe 20022002
Ada-Europe 19961996
Ada-Europe 19921992
ESEC 19911991

Wrote 8 papers:

AdaEurope-2013-SalazarAMP #ada #framework #modelling #realtime #safety
A Model-Based Framework for Developing Real-Time Safety Ada Systems (ES, AA, MAdM, JAdlP), pp. 127–142.
ATEM-J-2006-MiguelBSA #analysis #development #integration #modelling #safety
Integration of safety analysis in model-driven software development (MAdM, JFB, JPS, AA), pp. 260–280.
AdaEurope-2004-ZamoranoAPP #ada #implementation
Implementing Execution-Time Clocks for the Ada Ravenscar Profile (JZ, AA, JAP, JAdlP), pp. 132–143.
AdaEurope-2003-AlonsoPZ #development #testing
A Test Environment for High Integrity Software Development (AA, JAdlP, JZ), pp. 359–267.
AdaEurope-2002-AlonsoLVP #case study #object-oriented #using
Using Object Orientation in High Integrity Applications: A Case Study (AA, RL, TV, JAdlP), pp. 357–366.
AdaEurope-1996-PuenteAA #ada #design #library
Mapping HRT-HOOD ® Designs to Ada 95 Hierarchical Libraries (JAdlP, AA, AA), pp. 78–88.
AdaEurope-1992-PuenteZAF #ada #realtime #reuse
Reusable Executives for Hard Real-Time Systems in Ada (JAdlP, JZ, AA, JLF), pp. 104–115.
ESEC-1991-AmadorVA #design
Dynamically Replaceable Software: A Design Method (JA, BdV, AA), pp. 210–228.

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.