5407 search results - page 800 / 1082 » The Software Engineering Global Model |
226
click to vote
VAMOS
2007
Springer
16 years 1 months ago
2007
Springer
Aspect-oriented software development has recently emerged as a new paradigm for systematic modularization and representation of the crosscutting concern. Because the variability i...
179
click to vote
CSMR
2006
IEEE
16 years 1 months ago
2006
IEEE
As size and complexity of software systems increase, preserving the design and specification of their implementation structure gains importance in order to maintain the evolvabil...
158
click to vote
ISSTA
2006
ACM
16 years 1 months ago
2006
ACM
Finite-state verification techniques are often hampered by the stateexplosion problem. One proposed approach for addressing this problem is assume-guarantee reasoning. Using rece...
173
click to vote
SEFM
2005
IEEE
16 years 24 days ago
2005
IEEE
Memory consumption policies provide a means to control resource usage on constrained devices, and play an important role in ensuring the overall quality of software systems, and i...
203
click to vote
MIDDLEWARE
2005
Springer
16 years 21 days ago
2005
Springer
We present WildCAT, an extensible Java framework to ease the creation of context-aware applications. WildCAT provides a simple yet powerful dynamic model to represent an applicati...