7139 search results - page 117 / 1428 » Language Engineering in Practice |
ISORC
2007
IEEE
15 years 9 months ago
2007
IEEE
226
Voted
POPL
2008
ACM
16 years 3 months ago
2008
ACM
The search for proof and the search for counterexamples (bugs) are complementary activities that need to be pursued concurrently in order to maximize the practical success rate of...
153
click to vote
MATES
2004
Springer
15 years 8 months ago
2004
Springer
Most of the Agent-Oriented software engineering methodologies that have been developed in the last years tend to propose a model-based approach to software development. To be put i...
145
click to vote
AGILEDC
2004
IEEE
15 years 7 months ago
2004
IEEE
Agile development practices respect tacit knowledge, make communication more effective, and thus foster the knowledge creation process. However the current agile methods, like XP,...