2813 search results - page 121 / 563 » Formalizing Architectural Connection |
144
click to vote
SSR
2001
15 years 6 months ago
2001
This paper presents experience with explicitly managing variability within a software architecture. Software architects normally plan for change and put mechanisms in the architec...
140
Voted
CADE
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...
138
Voted
DAC
1999
ACM
15 years 9 months ago
1999
ACM
Abstract We describe the use of parametric representations of Boolean predicates to encode data-space constraints and signi cantly extend the capacity of formal veri cation. The co...
175
click to vote
FORMATS
2004
Springer
15 years 8 months ago
2004
Springer
We discuss the modeling and verification of real-time systems using the SAL model checker. A new modeling framework based on event calendars enables dense timed systems to be descr...
119
Voted
ICFEM
2009
Springer
15 years 2 months ago
2009
Springer
We present the integration of refinement method of VSE verification tool, successfully used in industrial applications, in the Heterogeneous Tool Set HETS. The connection is done v...