Resultados de la búsqueda
Apariencia
Para más opciones de búsqueda, vea Ayuda:Búsqueda.
- VHDL es un lenguaje de especificación definido por el IEEE (Institute of Electrical and Electronics Engineers) (ANSI/IEEE 1076-1993) utilizado para describir…37 kB (5097 palabras) - 14:10 3 may 2024
- Una Red de Petri es una representación matemática o gráfica de un sistema a eventos discretos en el cual se puede describir la topología de un sistema…7 kB (844 palabras) - 23:54 24 feb 2024
- En electrónica, JTAG, acrónimo de Joint Test Action Group, es el nombre comúnmente utilizado para referirse a la norma IEEE 1149.1 titulada Standard Test…11 kB (1194 palabras) - 11:34 10 mar 2024
- En el contexto de la ingeniería eléctrica, la computación y ramas afines, un lenguaje de especificación o lenguaje de descripción es un lenguaje formal…3 kB (334 palabras) - 15:34 1 mar 2020
- CSP (Comunicación de Procesos Secuenciales) es un modelo de programación de sistemas concurrentes basado en la comunicación entre procesos.[1][2] Estructuras…1 kB (143 palabras) - 16:37 3 ene 2024
- En la ciencia de computación teórica, el cálculo pi ( o π-cálculo) es una notación desarrollada originalmente por Robin Milner, Joachim Parrow y David…704 bytes (88 palabras) - 10:30 30 jul 2019
- SDL es un lenguaje de especificación formal y visual normado por la ITU-T en el estándar Z.100, así como el acrónimo de Specification and Description Language…2 kB (263 palabras) - 20:11 18 ene 2024
- El cálculo de sistemas comunicantes o CCS es un lenguaje de especificación formal basado en el álgebra de procesos, para la especificación y modelado de…3 kB (308 palabras) - 12:49 22 ene 2024
- Whiley es un lenguaje compilado multiparadigma de propósito general desarrollado por David Pearce.[1] El lenguaje combina características de los paradigmas…6 kB (761 palabras) - 16:28 8 ago 2019
- El Java Modeling Language, abreviado JML y en español «Lenguaje de Modelaje para Java» es un lenguaje de especificación para programas Java, que se sirve…8 kB (968 palabras) - 18:28 5 dic 2023
- RAISE, acrónimo inglés de Rigorous Approach to Industrial Software Engineering, en español «Enfoque Riguroso para Ingeniería de Software Industrial», fue…1 kB (104 palabras) - 18:23 24 feb 2020
- Object-Z es una extensión orientada a objetos de la notación Z y fue desarrollado en la Universidad de Queensland en Australia. Notación Z es un idioma…2 kB (305 palabras) - 08:12 16 nov 2023
- Language Of Temporal Ordering Specification (en español: Lenguaje de Especificación Ordenante Temporal) es un lenguaje de especificación formal basado…1 kB (119 palabras) - 17:12 29 ene 2024
- Meta-Object Facility (MOF) es un estándar del Object Management Group (OMG) sobre ingeniería dirigida por modelos. Su propósito es proporcionar un sistema…7 kB (860 palabras) - 13:54 5 feb 2024
- ArchiMate es un lenguaje de modelado de arquitectura de software empresarial abierto e independiente para soportar la descripción, análisis y visualización…1 kB (125 palabras) - 20:54 23 dic 2022
- En Informática, una estructura de eventos representa un Conjunto de eventos, de los cuales unos pueden ser ejecutados solamente después de otros (existe…2 kB (257 palabras) - 10:54 9 ago 2019
- Cálculo de procesos con ubicaciones para sistemas poblacionales (en Inglés, Process algebra with locations for population systems) es una extensión del…3 kB (271 palabras) - 15:19 1 feb 2022
- Programación Concurrente por Restricciones Temporizada y no Determinística (en Inglés, Non-deterministic Timed Concurrent Constraint) es un cálculo de…3 kB (291 palabras) - 21:21 8 nov 2023