6197 search results - page 46 / 1240 » Sandbridge Software Tools |
ICSE
2011
IEEE-ACM
12 years 11 months ago
2011
IEEE-ACM
Successful software systems continuously change their requirements and thus code. When this happens, some existing tests get broken because they no longer reflect the intended be...
AMAST
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. In this paper we present the ITP/OCL tool, a rewritingbased tool that supports automatic validation of UML class diagrams with respect to OCL constraints. Its implementat...
EUROMICRO
2009
IEEE
13 years 11 months ago
2009
IEEE
- Managing the product’s backlog is a major task in agile projects. This case study reports on one organization’s experiences from the transition to a backlog management tool a...
SIGSOFT
2010
ACM
13 years 6 months ago
2010
ACM
Overture is a community-based initiative that aims to develop a common open-source platform integrating a range of tools for constructing and analysing formal models of systems us...
KBSE
1997
IEEE
13 years 12 months ago
1997
IEEE
Abstract: This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over ...