7404 search results - page 565 / 1481 » New Tools in Education |
189
click to vote
COMPSAC
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper presents behavior contracts as a new assertion mechanism and a tool that uses such contracts to support the testing of Object-Oriented (OO) systems. A behavior contract...
214
click to vote
ICSM
2005
IEEE
16 years 25 days ago
2005
IEEE
Program flow analysis has many applications in software tools for program understanding, restructuring, verification, testing and reverse engineering. There are two important re...
224
click to vote
ISOLA
2004
Springer
16 years 18 days ago
2004
Springer
Petri net community has suffered with the lack of a standard format to represent Petri net models. This situation led to an undesirable tool incompatibility. In order to solve thi...
184
click to vote
WCRE
2003
IEEE
16 years 15 days ago
2003
IEEE
Reverse Engineering is a process fraught with imperfections. The importance of dealing with non-precise, possibly inconsistent data explicitly when interacting with the reverse en...
215
click to vote
LCPC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Current hardware trends place increasing pressure on programmers and tools to optimize scientific code. Numerous tools and techniques exist, but no single tool is a pana...