SPARK es un lenguaje de programacion especialmente diseñado para sistemas de alta integridad Es un subconjunto anotado de Ada desarrollado por la empresa britanica Praxis High Integrity Systems, Inc que elimina ciertas caracteristicas del lenguaje consideradas peligrosas en este tipo de sistemas como las excepciones...
Spark
ok site
Jive Software finds its voice | CNET News.com
SparkNotes: Lord of the Flies
spARK
Nikola Tesla Spark of Genius
Locale a Macerata di fronte 4 Porte
the spark magazine
SPARK (SRI Procedural Agent Realization Kit) is a new agent framework, under development at the Artificial Intelligence Center of SRI International.