914 search results - page 68 / 183 » Knowledge Management in Software Engineering - Describing th... |
153
Voted
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
154
Voted
IJAOSE
2008
15 years 3 months ago
2008
: Multiagent Systems (MAS) are open, heterogeneous and distributed software systems of autonomous agents. The management of exception differs in MAS from what is known in usual eng...
127
click to vote
ISPASS
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract— Network processing is becoming an increasingly important paradigm as the Internet moves towards an architecture with more complex functionality inside the network. Mode...
136
click to vote
ICSE
1998
IEEE-ACM
15 years 7 months ago
1998
IEEE-ACM
An essential characteristic of large scale software development is parallel development by teams of developers. How this parallel development is structured and supported has a pro...
127
Voted
ICSE
2008
IEEE-ACM
16 years 3 months ago
2008
IEEE-ACM
Several tools and methods for source code quality assurance based on static analysis finally reached a state when they are applicable in practice and recognized by the industry. H...