HILT
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Highly Reliable Language Technology (HILT)

1 × Austria
1 × Belgium
1 × Denmark
4 × France
3 × Germany
1 × Greece
2 × Italy
1 × Portugal
3 × Spain
2 × Sweden
2 × Switzerland
1 × The Netherlands
26 × USA
4 × United Kingdom
627 ×#ada
118 ×#realtime
106 ×#using
90 ×#named
76 ×#development
75 ×#distributed
74 ×#implementation
71 ×#design
67 ×#object-oriented
56 ×#modelling

4 brands:

Ada EuropeAda Europe
HILTHILT
SIGAdaSIGAda
TRI-AdaTRI-Ada

1206 papers in 55 issues:

2015
AdaEuropeProceedings of the 20th Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 2015)
2014
AdaEuropeProceedings of the 19th Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 2014)
HILTProceedings of the ACM SIGAda Annual Conference on High Integrity Language Technology (HILT 2014)
2013
AdaEuropeProceedings of the 18th Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 2013)
HILTProceedings of the ACM SIGAda Annual Conference on High Integrity Language Technology (HILT 2013)
2012
AdaEuropeProceedings of the 17th Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 2012)
HILTProceedings of the ACM Conference on High Integrity Language Technology (HILT 2012)
2011
AdaEuropeProceedings of the 16th Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 2011)
AdaProceedings of the Annual ACM SIGAda International Conference on Ada (SIGAda 2011)
2010
AdaEuropeProceedings of the 15th Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 2010)
AdaProceedings of the Annual ACM SIGAda International Conference on Ada (SIGAda 2010)
2009
AdaEuropeProceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 2009)
AdaProceedings of the Annual ACM SIGAda International Conference on Ada (SIGAda 2009)
2008
AdaEuropeProceedings of the 13th Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 2008)
AdaProceedings of the Annual ACM SIGAda International Conference on Ada (SIGAda 2008)
2007
AdaEuropeProceedings of the 12th Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 2007)
AdaProceedings of the Annual ACM SIGAda International Conference on Ada (SIGAda 2007)
2006
AdaEuropeProceedings of the 11th Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 2006)
AdaProceedings of the Annual ACM SIGAda International Conference on Ada, Albuquerque (SIGAda 2006)
2005
AdaEuropeProceedings of the 10th Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 2005)
AdaProceedings of the Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies (SIGAda 2005)
2004
AdaEuropeProceedings of the Ninth Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 2004)
AdaProceedings of the Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies (SIGAda 2004)
2003
AdaEuropeProceedings of the Eighth Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 2003)
AdaProceedings of the Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies (SIGAda 2003)
2002
AdaEuropeAda Deutschland Tagung 2002: Software für sicherheitskritische Systeme, 6. bis 8. März 2002, Jena, Friedrich-Schiller-Universität (Ada Deutschland Tagung 2002)
AdaEuropeProceedings of the Seventh Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 2002)
AdaProceedings of the Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies (SIGAda 2002)
2001
AdaEuropeProceedings of the Sixth Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 2001)
AdaProceedings ACM SIGAda Annual International Conference (SIGAda 2001) (SIGAda 2001)
2000
AdaEuropeProceedings of the Fifth Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 2000)
AdaProceedings of the ACM SIGAda Annual International Conference on Ada Technology (SIGAda 2000)
1999
AdaEuropeProceedings of the Fourth Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 1999)
AdaProceedings of the ACM SIGAda Annual International Conference on Ada Technology (SIGAda 1999)
1998
AdaEuropeProceedings of the Third Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 1998)
AdaProceedings of the ACM SIGAda Annual International Conference on Ada Technology (SIGAda 1998)
1997
AdaEuropeProceedings of the Second Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 1997)
AdaThe Annual Meeting of the Ada Programming World (TRI-Ada 1997)
1996
AdaEuropeProceedings of the First Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 1996)
AdaThe Annual Meeting of the Ada Programming World (TRI-Ada 1996)
1995
AdaEuropeProceedings of the Second International Eurospace/Ada-Europe Symposium (Ada-Europe 1995)
AdaTutorial Proceedings on Ada’s Role in Global Markets: Solutions for a Changing Complex World (TRI-Ada 1995)
1994
AdaEuropeProceedings of the First International Eurospace/Ada-Europe Symposium (Ada-Europe 1994)
AdaProceedings of the TRI-Ada Conference (TRI-Ada 1994)
1993
AdaEuropeProceedings of the 12th Ada-Europe International Conference: Ada Sans Frontières (Ada-Europe 1993)
AdaConference Proceedings on TRI-Ada 1993 (TRI-Ada 1993)
1992
AdaEuropeProceedings of the 11th Ada-Europe International Conference: Moving Towards 2000 (Ada-Europe 1992)
AdaConference Proceedings on TRI-Ada 1992 (TRI-Ada 1992)
AdaTutorial Proceedings on TRI-Ada 1992, Volume 1 (TRI-Ada 1992)
AdaTutorial Proceedings on TRI-Ada 1992, Volume 2 (TRI-Ada 1992)
1991
AdaEuropeProceedings of the Ada-Europe International Conference: The Choice for ’92 (Ada-Europe 1991)
1986
AdaProceedings of the CRAI Workshop on Software Factories and Ada (Software Development and Ada 1986)
1983
AdaProceedings of the Workshop on Ada Software Tools Interfaces (Ada Software Tools Interfaces 1983)
1980
AdaTowards a Formal Description of Ada (Towards a Formal Description of Ada 1980)
1976
AdaProceeding of the DoD Sponsored Workshop on Design and Implementation of Programming Languages (Design and Implementation of Programming Languages 1976)

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.