9626 search results - page 1381 / 1926 » Invariant Based Programming |
235
click to vote
TEX
2004
Springer
16 years 13 days ago
2004
Springer
This paper summarizes experiences in converting METAFONT fonts to PostScript fonts with TEXtrace and mftrace, based on programs of autotracing bitmaps (AutoTrace and potrace), and...
160
click to vote
XPU
2004
Springer
16 years 13 days ago
2004
Springer
One of the key elements in describing a software development method is the roles that are assigned to the members of the software team. This article describes our experience in ass...
162
click to vote
XPU
2004
Springer
16 years 13 days ago
2004
Springer
Outsourcing is common for software development, and is the context for many projects using agile development processes. This paper presents two case studies concentrating on the cu...
192
click to vote
CLUSTER
2003
IEEE
16 years 11 days ago
2003
IEEE
This paper presents a concurrent object model based on distributed recursive sets for data intensive applications that use complex, recursive data layouts. The set abstraction is ...
179
click to vote
COMPSAC
2003
IEEE
16 years 11 days ago
2003
IEEE
Testing is the most commonly used approach to the assurance of software quality and reliability. The testing of object-oriented software is much more complex than that of conventi...