460 search results - page 43 / 92 » Translating Software Designs for Model Checking |
ISSTA
2004
ACM
15 years 3 months ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...
ICSE
2010
IEEE-ACM
14 years 8 months ago
2010
IEEE-ACM
Integrating several legacy software systems together is commonly performed with multiple applications of the Adapter Design Pattern in oo languages such as Java. The integration i...
PPDP
2009
Springer
15 years 4 months ago
2009
Springer
Many recent research projects focus on language support for behavioral software contracts, that is, assertions that govern the boundaries between software building blocks such as ...
MOMM
2009
ACM
15 years 2 months ago
2009
ACM
This paper proposes a new approach for modelling, testing and prototyping pervasive, possibly mobile, and distributed applications. It describes a set of tools aimed at supporting...
COMPUTER
2008
14 years 9 months ago
2008
We describe the informatics requirements of translational biomedical research projects and how e-Science tools can be used to address them. We use pattern templates to describe the...