2105 search results - page 149 / 421 » Decoupling in Object Orientation |
130
click to vote
FORTEST
2008
15 years 6 months ago
2008
Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testin...
171
click to vote
FMOODS
2007
15 years 6 months ago
2007
Abstract. A session type is an abstraction of a sequence of heterogeneous values sent over one channel between two communicating processes. Session types have been introduced to gu...
136
click to vote
FMOODS
2007
15 years 6 months ago
2007
Abstract. This paper gives an overview of the KeY approach and highlights the main features of the KeY system. KeY is an approach (and a system) for the deductive verification of ...