6581 search results - page 127 / 1317 » Formalizing Design Patterns |
105
click to vote
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Ceremonies are a useful tool to establish trust in scenarios where protocols operate. They describe a greater range of issues not taken into account by protocol designers. We ta...
105
click to vote
FMICS
2008
Springer
15 years 4 months ago
2008
Springer
There has been relatively little work on the implementability of timing requirements. We have previously provided definitions of fundamental timing operators that explicitly consid...
138
click to vote
ICFEM
1998
Springer
15 years 6 months ago
1998
Springer
Open component architectures, such as CORBA, allow software systems to be composed of independent components. The behavior of components is described with a mixture of an interfac...
112
click to vote
ICSE
1993
IEEE-ACM
15 years 7 months ago
1993
IEEE-ACM
Over the past 15 years there has been increasing recognition that careful attention to the design of a system’s software architecture is critical to satisfying its requirements ...
176
click to vote
AISC
2010
Springer
15 years 7 months ago
2010
Springer
General purpose theorem provers provide sophisticated proof methods, but lack some of the advanced structuring mechanisms found in specification languages. This paper builds on pr...