| Description |
1 online resource (xv, 271 pages) : illustrations |
| Series |
Lecture notes in computer science, 0302-9743 ; 3555 |
|
Lecture notes in computer science ; 3555. 0302-9743
|
| Contents |
Applications -- Design and scheduling issues -- Formal methods -- Ada and education -- Certification and verification -- Distributed systems -- Language issues -- Ravenscar technology |
| Summary |
Started on the inspired initiative of Prof. Alfred Strohmeier back in 1996, and spawned from the annual Ada-Europe conference that had previously run for 16 consecutive years, the International Conference on Reliable Software Technologies celebrated this year its tenth anniversary by going to York, UK, where the?rst series of technical meetings on Ada were held in the 1970s. Besides being a beautiful and historical place in itself, York also hosts the Depa- ment of Computer Science of the local university, whose Real-Time Group has been tremendously in?uential in shaping the Ada language and in the progress on real-time computing worldwide. This year's conference was therefore put together under exc- lent auspices, in a very important year for the Ada community in view of the forthc- ing completion of the revision process that is upgrading the language standard to face the challenges of the new millennium. The conference took place on June 20-24, 2005. It was as usual sponsored by Ada-Europe, the European federation of national Ada societies, in cooperation with ACM SIGAda. The conference was organized by selected staff of the University of York teamed up with collaborators from various places in Europe, in what turned out to be a very effective instance of distributed collaborative processing. The conference also enjoyed the generous support of 11 industrial sponsors |
| Analysis |
informatiesystemen |
|
information systems |
|
programmeren |
|
programming |
|
systemen |
|
systems |
|
computerwetenschappen |
|
computer sciences |
|
computernetwerken |
|
computer networks |
|
programmeertalen |
|
programming languages |
|
software engineering |
|
Information and Communication Technology (General) |
|
Informatie- en communicatietechnologie (algemeen) |
| Bibliography |
Includes bibliographical references and index |
| Notes |
Print version record |
| In |
OhioLINK electronic book center |
|
SpringerLink |
| Subject |
Computer software -- Reliability -- Congresses
|
|
Ada (Computer program language) -- Congresses
|
|
Logiciels -- Fiabilité.
|
|
Informatique.
|
|
Ada (Computer program language)
|
|
Computer software -- Reliability.
|
|
Fiabilité du logiciel.
|
| Genre/Form |
Conference papers and proceedings.
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Vardanega, T. (Tullio)
|
|
Wellings, Andrew J.
|
| LC no. |
2005927232 |
| ISBN |
9783540316664 |
|
3540316663 |
|
3540262865 |
|
9783540262862 |
|
