Matches in SemOpenAlex for { <https://semopenalex.org/work/W89008082> ?p ?o ?g. }
Showing items 1 to 49 of
49
with 100 items per page.
- W89008082 abstract "Welcome to Portland and to HILT 2014, this year's annual international conference of the ACM Special Interest Group on the Ada Programming (SIGAda). This year we are pleased to be colocated with the SPLASH 2014 conference, enabling even more chances for interactions with colleagues in industry, academia, and government.HILT 2014 features a top-quality technical program focused on the issues associated with high integrity software -- where a failure could cause loss of human life or have other unacceptable consequences -- and on the solutions provided by language technology. Language technology here encompasses not only programming languages but also languages for expressing specifications, program properties, domain models, and other attributes of the software or the overall system.HILT 2014 consists of two days of tutorials, and two days of conference sessions. The tutorials cover a wide range of topics: Ada 2012, SPARK 2014, High-Integrity OOP, AADLv2, and the Rust language. The conference program includes keynote and invited presentations from internationally recognized experts: Christine Anderson (Spaceport America) on From Ada9X to Spaceport America: Going Where No One Has Gone Before;Peter Feiler (Software Engineering Institute /Carnegie Mellon University), on AADL and Model-Based Engineering; andTom Ball (Microsoft Research), on Correctness via Compilation to Logic.HILT 2014 conference sessions deal with a range of topics associated with safe, secure and reliable software: enhancing and evolving embedded systems languages for safety; behavioral modeling and code generation; practical use of assertions and formal methods in industry; and safe programming languages for the multicore era. You will learn the latest developments in model and program verification technologies, and hear industrial presentations from practitioners. The accompanying exhibits will give you the opportunity to meet our corporate sponsors and find out about their latest offerings. Sponsors include AdaCore (Platinum Level); Microsoft Research (Gold Level); Ellidiss (Silver Level).At HILT 2014 you will learn about both the challenges confronting high integrity software and the solutions available to address them. Perhaps just as important are the social interactions that you get at a live conference, this year co-located with the SPLASH 2014 conference: the chance to meet and talk with researchers and practitioners in industry, academia, and government, to ask them questions, and to explain your own work and interests. These renewed and new associations can be as valuable as the technical program at professional conferences, and their benefits will continue to reward you well after you return home." @default.
- W89008082 created "2016-06-24" @default.
- W89008082 creator A5030610345 @default.
- W89008082 creator A5072364706 @default.
- W89008082 date "2014-10-18" @default.
- W89008082 modified "2023-09-27" @default.
- W89008082 title "Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology" @default.
- W89008082 hasPublicationYear "2014" @default.
- W89008082 type Work @default.
- W89008082 sameAs 89008082 @default.
- W89008082 citedByCount "0" @default.
- W89008082 crossrefType "journal-article" @default.
- W89008082 hasAuthorship W89008082A5030610345 @default.
- W89008082 hasAuthorship W89008082A5072364706 @default.
- W89008082 hasConcept C115903868 @default.
- W89008082 hasConcept C199360897 @default.
- W89008082 hasConcept C41008148 @default.
- W89008082 hasConcept C55439883 @default.
- W89008082 hasConceptScore W89008082C115903868 @default.
- W89008082 hasConceptScore W89008082C199360897 @default.
- W89008082 hasConceptScore W89008082C41008148 @default.
- W89008082 hasConceptScore W89008082C55439883 @default.
- W89008082 hasLocation W890080821 @default.
- W89008082 hasOpenAccess W89008082 @default.
- W89008082 hasPrimaryLocation W890080821 @default.
- W89008082 hasRelatedWork W110040400 @default.
- W89008082 hasRelatedWork W119296369 @default.
- W89008082 hasRelatedWork W1538403847 @default.
- W89008082 hasRelatedWork W1594911123 @default.
- W89008082 hasRelatedWork W161232907 @default.
- W89008082 hasRelatedWork W1983666985 @default.
- W89008082 hasRelatedWork W1991850538 @default.
- W89008082 hasRelatedWork W268823443 @default.
- W89008082 hasRelatedWork W28495930 @default.
- W89008082 hasRelatedWork W2911987612 @default.
- W89008082 hasRelatedWork W2913380816 @default.
- W89008082 hasRelatedWork W2914006797 @default.
- W89008082 hasRelatedWork W2914016672 @default.
- W89008082 hasRelatedWork W2914073335 @default.
- W89008082 hasRelatedWork W2915156852 @default.
- W89008082 hasRelatedWork W2915932037 @default.
- W89008082 hasRelatedWork W2916525049 @default.
- W89008082 hasRelatedWork W2917410253 @default.
- W89008082 hasRelatedWork W44785157 @default.
- W89008082 hasRelatedWork W265631401 @default.
- W89008082 isParatext "false" @default.
- W89008082 isRetracted "false" @default.
- W89008082 magId "89008082" @default.
- W89008082 workType "article" @default.