1925 search results - page 291 / 385 » Documenting software systems with views |
124
click to vote
SIGSOFT
2003
ACM
16 years 5 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 ...
140
click to vote
ICSE
2010
IEEE-ACM
15 years 2 months ago
2010
IEEE-ACM
Detailed knowledge about implemented concerns in the source code is crucial for the cost-effective maintenance and successful evolution of large systems. Concern mining techniques...
138
click to vote
CADE
2006
Springer
16 years 5 months ago
2006
Springer
This paper presents new classes of tree automata combining automata with equality test and automata modulo equational theories. We believe that these classes have a good potential ...
129
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
We present a programming language for implementing multiagent systems consisting of a set of individual agents that interact with a computational organization specified in terms ...
141
click to vote
WCRE
2008
IEEE
15 years 11 months ago
2008
IEEE
Static views of object-oriented source code as presented in a development environment (IDE) do not provide explicit representations of dynamic collaboration to describe how source...