2493 search results - page 106 / 499 » Tool Support for Design by Contract |
ICALT
2003
IEEE
15 years 3 months ago
2003
IEEE
Analysis of collaborative problem solving involves analysis of dialogue and interaction, analysis of tasks and social roles through ethnographic and other field studies. Use of to...
IPPS
2006
IEEE
15 years 4 months ago
2006
IEEE
In this paper we show how high-level UML models of mobile computing applications can be analysed for classical performance measures such as throughput. The approach proceeds by co...
109
click to vote
ATVA
2008
Springer
14 years 12 months ago
2008
Springer
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...
SCAM
2007
IEEE
15 years 4 months ago
2007
IEEE
SUDS is a powerful infrastructure for creating dynamic bug detection tools. It contains phases for both static analysis and dynamic instrumentation allowing users to create tools ...
ITCC
2002
IEEE
15 years 2 months ago
2002
IEEE
Software tools used to administer databases are vendor specific, proprietary, and require extensive prior database knowledge on the part of the database professional. We present d...