2836 search results - page 51 / 568 » Model Checking for Software Architectures |
134
click to vote
ICFEM
2009
Springer
15 years 10 months ago
2009
Springer
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...
146
Voted
WWW
2005
ACM
16 years 4 months ago
2005
ACM
A software design is often modeled as a collection of unified Modeling Language (UML) diagrams. There are different aspects of the software system that are covered by many differe...
88
Voted
SOCO
2008
Springer
15 years 3 months ago
2008
Springer
104
Voted
ECSA
2007
Springer
15 years 9 months ago
2007
Springer