3040 search results - page 292 / 608 » Synergetic Tool Environments |
162
click to vote
XPU
2004
Springer
16 years 14 hour ago
2004
Springer
Abstract. Different kinds of unit testing activities are used in practice. Organised unit testing (regression testing or test-first activities) are very popular in commercial pract...
214
click to vote
MEMOCODE
2003
IEEE
15 years 12 months ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
169
click to vote
ICDCSW
2002
IEEE
15 years 11 months ago
2002
IEEE
In the development of agent applications, interactions are an important issue, which must be faced with appropriate methodologies and tools. A separation of concerns between the a...
189
click to vote
ICCS
2001
Springer
15 years 11 months ago
2001
Springer
GRM and PROVE were originally designed and implemented as part of the P-GRADE graphical parallel program development environment running on clusters. In the framework of the bigges...
166
click to vote
LSO
2001
Springer
15 years 11 months ago
2001
Springer
Skills, knowledge, and motivation of the software engineering workforce are essential prerequisites for maturing software development. But lack of human resources has become an obs...