422 search results - page 1 / 85 » On Modal Refinement and Consistency |
CONCUR
2007
Springer
13 years 9 months ago
2007
Springer
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...
IFM
2009
Springer
13 years 3 months ago
2009
Springer
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...
SIGSOFT
2010
ACM
13 years 3 months ago
2010
ACM
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...
TACAS
2010
Springer
14 years 11 days ago
2010
Springer
ICTAC
2009
Springer
13 years 12 months ago
2009
Springer