Exploring Architectural Model Checking with Declarative Specifications

In this work we explore the FVS language in the context of architectural behavior model checking. FVS holds desirable characteristics for this particular domain. Its flexible notation enables the possibility of performing behavioral exploration when denoting the properties to be satisfied. In additi...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Asteasuain, Fernando, Tarulla, Francisco
Formato:	Objeto de conferencia
Lenguaje:	Inglés
Publicado:	2017
Materias:	Ciencias Informáticas Software Architectures Model checking Requirements/Specifications
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/63796
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Elaborating requirements using model checking and inductive learning
por: Alrajeh, D., et al.

Elaborating requirements using model checking and inductive learning
Publicado: (2013)

Learning from vacuously satisfiable scenario-based specifications
por: Alrajeh, D., et al.
Publicado: (2012)

Learning from vacuously satisfiable scenario-based specifications
por: Alrajeh, D., et al.

Learning from vacuously satisfiable scenario-based specifications
por: Alrajeh, D., et al.
Publicado: (2012)

Learning from vacuously satisfiable scenario-based specifications
Publicado: (2012)

Declaratively building behavior by means of scenario clauses
por: Asteasuain, Fernando, et al.
Publicado: (2016)

Model checking RAISE applicative specifications
por: Perna, Juan I., et al.
Publicado: (2006)

A semi-automatic verification tool for software requirements specification documents
por: Konig, Fabio, et al.
Publicado: (2017)

Model checking legal documents
por: Gorín, Daniel Alejandro, et al.
Publicado: (2010)

Towards the verification of RAISE specifications through Model Checking
por: Perna, Juan Ignacio, et al.
Publicado: (2006)

Model checking legal documents
por: Gorín, D., et al.

FVS: A declarative aspect oriented modeling language
por: Asteasuain, Fernando, et al.
Publicado: (2011)

Un enfoque declarativo para modelar el comportamiento en sistemas reactivos
por: Asteasuain, Fernando
Publicado: (2010)

Regular hedge model checking
por: D'Orso, Julien, et al.
Publicado: (2006)

Checking semantics in UML models: use cases diagrams
por: Gómez, Rodolfo, et al.
Publicado: (2002)

Declaratively building behavior by means of scenario clauses
por: Asteasuain, F., et al.

Branching data structures for real-time model checking not as good as thought
por: Pérez, Gervasio, et al.
Publicado: (2012)

Quality properties evaluation for software requirements specifications : an exploratory analysis
por: Ale, Mariel Alejandra, et al.
Publicado: (2018)

Improving requirements with NLP techniques
por: Rago, Alejandro
Publicado: (2014)

Specification Patterns: Formal and Easy
por: Asteasuain, F., et al.

Inteligencia Artificial en Ingeniería de Software : Etapas de elicitación y análisis de requerimientos
por: Panigo, Ailén, et al.
Publicado: (2024)

Reducción de orden parcial en model checking probabilista simbólico
por: Ferrer Fioriti, Luis María.
Publicado: (2011)

Reducción de orden parcial en model checking probabilista simbólico
por: Ferrer Fioriti, Luis María
Publicado: (2011)

Specification patterns can be formal and still easy
por: Asteasuain, F., et al.

Uso de modelos de negocios y de requisitos en desarrollos basados en MDA
por: Leonardi, María Carmen, et al.
Publicado: (2004)

Una perspectiva de ingeniería del software para definir sistemas avanzados de planificación de empresas
por: Vidoni, Melina C., et al.
Publicado: (2015)

Software Requirements Quality Evaluation: State of the art and research challenges
por: Saavedra, Roxana, et al.
Publicado: (2013)

Mining Architectural Responsibilities and Components from Textual Specifications Written in Natural Language
por: Casamayor, A., et al.
Publicado: (2011)

Mining Architectural Responsibilities and Components from Textual Specifications Written in Natural Language
por: Casamayor, Agustín, et al.
Publicado: (2010)

Ingeniería de requisitos para proyectos CRM
por: Kaplan, Gladys, et al.
Publicado: (2017)

Classifying software requirement prioritization approaches
por: Martínez Carod, Nadina, et al.
Publicado: (2005)

Learning operational requirements from goal models
por: Alrajeh, D., et al.

Learning operational requirements from goal models
Publicado: (2009)

Exploring Model-to-Model Transformations for RIA Architectures by means of a Systematic Mapping Study
por: Bonhaure Falcón, Daniel Pierre, et al.
Publicado: (2017)

Requirement specifications for electronic voting systems
por: Pesado, Patricia Mabel, et al.
Publicado: (2005)

Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds
por: Ponzio, Pablo Daniel, et al.
Publicado: (2021)

Specifying event-based systems with a counting fluent temporal logic
por: Regis, G., et al.

Specifying event-based systems with a counting fluent temporal logic
Publicado: (2015)

Algebraic specifications and refinement for component-based development using RAISE
por: Estévez, Elsa Clara, et al.
Publicado: (2002)