Abstract State Machine Language (AsmL) es un lenguaje de especificación ejecutable basado en la teoría de Abstract State Machine (ASM). AsmL se utiliza para el modelado, análisis, simulación y pruebas de conformidad de sistemas.
AsmL es desarrollado por el equipo de investigación de Fundamentos de Ingeniería de Software (FSE) de Microsoft. Se integra completamente con el entorno .NET y las herramientas de desarrollo de Microsoft, incluidos Word y Visual Studio .NET.
A diferencia de una serie de lenguajes de programación especificados para la codificación y las pruebas, AsmL está orientado a comunicar el diseño de proyectos.
Además, AsmL puede usarse durante cualquier etapa de desarrollo. La ejecución de la especificación de AsmL permite la prueba de modelos, las comprobaciones de interacción de características, el cumplimiento de objetivos de diseño o la planificación de eventos imprevistos.
AsmL también se utiliza para la especificación del sistema, que proporciona a los usuarios una imagen del sistema basada en ASM, un modelo matemático del estado de tiempo de ejecución en evolución del sistema.
AsmL se diferencia de los programas tradicionales en que proporciona especificaciones mínimas que describen todo lo relacionado con los detalles seleccionados. AsmL facilita las descripciones del estado del sistema en términos de variables y operaciones que tienen sentido para el usuario.
AsmL está disponible como lenguaje de modelado de software en la herramienta Spec Explorer, que es un componente de Visual Studio 2010. Una implementación de código abierto de AsmL está disponible como lenguaje Extensible Abstract State Machines (XASM).
Relacionado
❌ React Native, crear aplicación como Netflix con Mario Díez
[no_toc] [expand title="Índice del Vídeotutorial"] 1. FlatList Horizontal 2. Componente Swiper 3. Menú Animado y Header 4. FlatList Grid 5. Más Flexbox, Tabs y Linear gradiantes 6. Reproductor de Vídeo 7. Share API 8. Animatable Header y NativeEvents 9. React Navigation 10. Header Múltiple con Animated 11. Modal con React Navigation 12. React Navigation con Redux 13. Servidor NodeJS con MongoDB para React Native 14. Conectando ¡SEGUIR LEYENDO!
❌ React Native con Mario Díez
[no_toc] [expand title="Índice del Vídeotutorial"] 1. Instalación 2. Introducción 3. Props y State 4. Fetch Data 5. ListView 6. Fech Data 2 7. Navigator IOS 8. Navigator 9. Flexbox 10. PropTypes 11. TabBarIOS 12. Formularios 13. AsyncStorage 14. Recorriendo Arrays con Map 15. Notificaciones Push 16. Notificaciones Push desde NodeJS 17. Barra de Búsqueda en ListView 18. Utilización de CameraRoll 19. Children o Props 20. Diferenciar ¡SEGUIR LEYENDO!
❌ React Native con Iván B. Trujillo
[no_toc] [expand title="Índice del Vídeotutorial"] 1. Primeros Pasos 2. Componentes, Botones y Alertas 3. Pantalla de Login, Navegador y Vistas 4. Navegación por Pestañas 5. Peticiones a API y ListView 6. Vista Detalles y Paso de Propiedades a Componente Hijo [/expand] [yotuwp type="playlist" id="PLuzQ5Ac_9_cI-ukaElfIFKXyhLsADBiJe" ] [expand title="Creador"] Editor del blog de Medium: Canarias JS [/expand]
❌ Javascript con Píldoras Informáticas
[no_toc] [expand title="Índice del Vídeotutorial"] 1. Presentación. Vídeo 1 2. Introducción. Vídeo 2 3. Sintaxis Básica I. Ubicación del código. Vídeo 3 4. Sintaxis Básica II. Estructuras Básicas. Vídeo 4 5. Sintaxis Básica III. Operadores Básicos. Vídeo 5 6. Sintaxis Básica IV. Operadores y prompt. Vídeo 6 7. Sintaxis Básica V Arrays, Matrices, Arreglos. Vídeo 7 8. Sintaxis Básica V. Arrays, Matrices, Arreglos II. Vídeo 8 ¡SEGUIR LEYENDO!
❌ Javascript con Falcon Masters
[no_toc] [expand title="Índice del Vídeotutorial"] 1. Introducción 2. Variables 3. Tipos de Dato 4. Arreglos 5. Metodos y propiedades para los Arreglos 6. Condicionales 7. Ciclo Fo 8. Ciclo While 9. Funciones 10. Ejercicio con Funciones y Formularios 11. Scope de Javascript (ámbito de las variables) 12. Metodos y propiedades para Cadenas de Texto 13. Introducción al DOM (Document Object Model) 14. Creando Nodos del DOM ¡SEGUIR LEYENDO!