Describing and analyzing behaviours over tabular specifications using (Dyn)alloy

Mostrar todas las versiones(3)

We propose complementing tabular notations used in requirements specifications, such as those used in the SCR method, with a formalism for describing specific, useful, subclasses of computations, i.e., particular combinations of the atomic transitions specified within tables. This provides the speci...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Aguirre, N.M., Frias, M.F., Moscato, M.M., Maibaum, T.S.E., Wassyng, A.
Formato: SER
Materias:
Atomic transition
Autopilot systems
Dynamic logic
Example based
Operational languages
Requirements specifications
SAT-solving
Tabular expressions
Tabular notation
Tabular specifications
Test harness
Alloy languages
Computer software
Linguistics
Specifications
Cerium alloys
Software engineering
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_03029743_v5503_n_p155_Aguirre
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares