Revisiting compatibility of input-output modal transition systems

Modern software systems are typically built of components that communicate through their external interfaces. The external behavior of a component can be effectively described using finite state automata-based formalisms. Such component models can then used for varied analyses. For example, interfac...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Krka, I., D'Ippolito, N., Medvidović, N., Uchitel, S.
Formato: SER
Materias:
Interface states
Automata-based formalisms
Component implementations
External behavior
Interface automata
Modal Transition Systems
Modeling formalisms
Requirements specifications
Software systems
Automata theory
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_03029743_v8442LNCS_n_p367_Krka
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares