Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- short-paperOctober 2010
Real-time system development in ada using LEGO® mindstorms® NXT
ACM SIGAda Ada Letters (SIGADA), Volume 30, Issue 3Pages 37–40https://doi.org/10.1145/1879097.1879077In this paper, we describe a set of tools to fully develop a real-time application under Linux using as target the LEGO® Mindstorms® NXT robotics kit. These tools provide Real-Time & Embedded systems teachers with an alternative to conventional software ...
Also Published in:
SIGAda '10: Proceedings of the ACM SIGAda annual international conference on SIGAda: ISBN 9781450300278 - research-articleNovember 2009
A robotics API dialect for type-safe robots: translating Myro to Ada
ACM SIGAda Ada Letters (SIGADA), Volume 29, Issue 3Pages 91–102https://doi.org/10.1145/1653616.1647442In this paper, we present an Ada robotics API designed to be used in teaching undergraduate-level computer science. Our API is inspired by Myro, a Python-based API, but we improve upon Myro's usability, readability, modularity, and documentation by ...
Also Published in:
SIGAda '09: Proceedings of the ACM SIGAda annual international conference on Ada and related technologies: ISBN 9781605584751 - short-paperNovember 2009
Use of SPARK in a resource constrained embedded system
ACM SIGAda Ada Letters (SIGADA), Volume 29, Issue 3Pages 87–90https://doi.org/10.1145/1653616.1647441We are constructing a remote sensing buoy that will be deployed on the Arctic sea ice north of Alaska. The buoy will gather environmental data and transmit that data back to home base via the Iridium satellite network. This data will then be used (by ...
Also Published in:
SIGAda '09: Proceedings of the ACM SIGAda annual international conference on Ada and related technologies: ISBN 9781605584751 - research-articleOctober 2008
Ada and software engineering education: one professor's experiences
ACM SIGAda Ada Letters (SIGADA), Volume 28, Issue 3Pages 91–96https://doi.org/10.1145/1454497.1454490How do you select a programming language for your project? Few developers have the luxury of coding the same design in multiple languages to compare language merits. For over twenty years my undergraduate students have implemented the same large (10-15K ...
Also Published in:
SIGAda '08: Proceedings of the 2008 ACM annual international conference on SIGAda annual international conference: ISBN 9781605582740 - articleNovember 2007
Using SPARK for a beginner's course on reasoning about imperative programs
ACM SIGAda Ada Letters (SIGADA), Volume XXVII, Issue 3Pages 75–78https://doi.org/10.1145/1315607.1315599Teaching beginners predicate transformer semantics for imperative languages is not a trivial task. For Computer Science majors, the teaching of the theoretical material must be supported by suitable practical course work. For this, we need a suitable ...
Also Published in:
SIGAda '07: Proceedings of the 2007 ACM international conference on SIGAda annual international conference: ISBN 9781595938763 - articleApril 2006
How Ada 2005 impacts CS1/2
ACM SIGAda Ada Letters (SIGADA), Volume XXVI, Issue 1Pages 18–24https://doi.org/10.1145/1131411.1131413Ada 2005 is the second revision of the Ada standard. It makes changes to the language definition in a number of areas. We summarize which changes have the greatest impact on introductory computer science classes that use Ada.
- articleSeptember 2001
Using Ada 95 in a compiler course
ACM SIGAda Ada Letters (SIGADA), Volume XXI, Issue 4Pages 79–80https://doi.org/10.1145/507546.507593In this extended abstract, we describe the use of Ada 95 in a Compiler Construction Course.
Also Published in:
SIGAda '01: Proceedings of the 2001 annual ACM SIGAda international conference on Ada: ISBN 1581133928 - articleSeptember 2001
Teaching computer science with robotics using Ada/Mindstorms 2.0
ACM SIGAda Ada Letters (SIGADA), Volume XXI, Issue 4Pages 73–78https://doi.org/10.1145/507546.507592We present one approach to teaching basic computer science concepts with robotics, using an Ada interface to Lego Mindstorms™. We show simple problems put to students with no programming experience, discuss the solutions, and for each concept explain ...
Also Published in:
SIGAda '01: Proceedings of the 2001 annual ACM SIGAda international conference on Ada: ISBN 1581133928 - articleNovember 1998
A comparison of Ada and Pascal in an introductory computer science course
ACM SIGAda Ada Letters (SIGADA), Volume XVIII, Issue 6Pages 75–80https://doi.org/10.1145/301687.289535Also Published in:
SIGAda '98: Proceedings of the 1998 annual ACM SIGAda international conference on Ada: ISBN 1581130333 - articleJanuary 1996
Using Ada and C++ in computer science education
ACM SIGAda Ada Letters (SIGADA), Volume XVI, Issue 1Pages 58–69https://doi.org/10.1145/218580.218598Undergraduate students of Computer Science or Software Engineering must become familiar with imperative programming languages, due to the extensive use of these languages in industry. Perhaps the two most interesting imperative languages, from a ...
- articleMay 1987
An environment for Ada software development based on formal specification
This report gives an overview of the current status and plans to construct a prototype environment of advanced tools for software and hardware development based on the use of wide-spectrum languages. The wide-spectrum languages include Anna (ANNotated ...
- articleJanuary 1987