7209 search results - page 1068 / 1442 » Software Engineering for Multi-Agent Systems |
132
click to vote
ISSTA
2004
ACM
15 years 8 months ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
114
click to vote
SIGSOFT
2003
ACM
16 years 4 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
145
Voted
FASE
2006
Springer
15 years 7 months ago
2006
Springer
One of the major costs of software development is associated with testing and validation of successive versions of software systems. An important problem encountered in testing and...
153
click to vote
SE
2008
15 years 4 months ago
2008
: One of the main challenges in distributed software development is the elicitation and management of knowledge regarding system requirements. Due to spatial distribution of involv...
154
click to vote
RE
2006
Springer
15 years 3 months ago
2006
Springer
Aspect-oriented concepts are currently introduced in all phases of the software development life cycle. However, the complexity of interactions among different aspects and between...