Lista de obras - Stefania Gnesi - Dominio Público Uruguay

A Guidelines framework for understandable BPMN models

artículo científico publicado en 2018

A Model Checking Approach for Verifying COWS Specifications

article

A Model-Checking Approach for Service Component Architectures

artículo científico publicado en 2009

A logical verification methodology for service-oriented computing

article

A state/event-based model-checking approach for the analysis of abstract system properties

artículo científico publicado en 2011

An Abstract, on the Fly Framework for the Verification of Service-Oriented Systems

artículo científico publicado en 2011

Business process flexibility - a systematic literature review with a software systems perspective

artículo científico publicado en 2016

CMC-UMC

artículo científico publicado en 2009

Demonstration of a model checker for the analysis of product variability

artículo científico publicado en 2012

Design and validation of variability in product lines

artículo científico publicado en 2011

Detecting requirements defects with NLP patterns: an industrial experience in the railway domain

artículo científico publicado en 2018

Formal Modelling and Verification of an Asynchronous Extension of SOAP

artículo científico publicado en 2006

Formal verification of an automotive scenario in service-oriented computing

artículo científico publicado en 2008

From Featured Transition Systems to Modal Transition Systems with Variability Constraints

artículo científico publicado en 2015

Graph-Based Design and Analysis of Dynamic Software Architectures

article by Roberto Bruni et al published 2008 in Lecture Notes in Computer Science

Improving the quality of business process descriptions of public administrations

Model Checking Value-Passing Modal Specifications

artículo científico publicado en 2015

Requirements elicitation and refinement in collaborative research projects

artículo científico publicado en 2018

Research challenges in business process adaptability

artículo científico publicado en 2014

Lista de obras de Stefania Gnesi

A Guidelines framework for understandable BPMN models

A Model Checking Approach for Verifying COWS Specifications

A Model-Checking Approach for Service Component Architectures

A logical verification methodology for service-oriented computing

A state/event-based model-checking approach for the analysis of abstract system properties

An Abstract, on the Fly Framework for the Verification of Service-Oriented Systems

Business process flexibility - a systematic literature review with a software systems perspective

CMC-UMC

Demonstration of a model checker for the analysis of product variability

Design and validation of variability in product lines

Detecting requirements defects with NLP patterns: an industrial experience in the railway domain

Formal Modelling and Verification of an Asynchronous Extension of SOAP

Formal verification of an automotive scenario in service-oriented computing

From Featured Transition Systems to Modal Transition Systems with Variability Constraints

Graph-Based Design and Analysis of Dynamic Software Architectures

Improving the quality of business process descriptions of public administrations

Model Checking Value-Passing Modal Specifications

Requirements elicitation and refinement in collaborative research projects

Research challenges in business process adaptability

The Sensoria Approach Applied to the Finance Case Study

The industrialization of formal methods