Search Sciweavers | Sciweavers

422 search results - page 1 / 85

» On Modal Refinement and Consistency

click to vote

CONCUR
2007
Springer

118views Distributed And Parallel Com...» more CONCUR 2007»

On Modal Refinement and Consistency

14 years 2 months ago

Download www.itu.dk

Abstract. Almost 20 years after the original conception, we revisit several fundamental questions about modal transition systems. First, we demonstrate the incompleteness of the st...

Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasows...

claim paper

Read More »

click to vote

IFM
2009
Springer

153views Formal Methods» more IFM 2009»

Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B

13 years 8 months ago

Download www.computing.surrey.ac.uk

This paper introduces action refinement in the context of CSP B. Our motivation to include this notion of refinement within the CSP B framework is the desire to increase flexibilit...

Steve Schneider, Helen Treharne

claim paper

Read More »

click to vote

SIGSOFT
2010
ACM

124views Software Engineering» more SIGSOFT 2010»

From requirements to partial behavior models: an iterative approach to incremental specification refinement

13 years 8 months ago

Download www-scf.usc.edu

In this thesis, I will improve the state-of-the-art for capturing, analyzing, and refining functional requirements by providing support for synthesizing, analyzing, and refining M...

Ivo Krka

claim paper

Read More »

click to vote

TACAS
2010
Springer

169views Algorithms» more TACAS 2010»

On Weak Modal Compatibility, Refinement, and the MIO Workbench

14 years 5 months ago