2623 search results - page 40 / 525 » tools 2010 |
COMPSYSTECH
2010
13 years 10 months ago
2010
: Problem oriented project pedagogy is an alternative educational approach which often provides a strong natural motivation for the students' work. On the other hand, it requi...
IWPC
2010
IEEE
13 years 8 months ago
2010
IEEE
Many software developers use a syntactical ‘diff’ in order to perform a quick review before committing changes to the repository. Others are notified of the change by email (...
CAV
2010
Springer
14 years 1 months ago
2010
Springer
Formal specifications play an increasingly important role in system design-flows. Yet, they are not always easy to deal with. In this paper we present RATSY, a successor of the R...
JUCS
2010
13 years 4 months ago
2010
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...
HICSS
2010
IEEE
14 years 4 months ago
2010
IEEE
—The Access Policy Tool (APT) analyzes the firewall configuration in an enterprise network for compliance with global access policy, e.g., such as describes the industry’s be...