2700 search results - page 239 / 540 » The role of abstraction in software engineering |
177
click to vote
SIGSOFT
2006
ACM
16 years 15 days ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
163
click to vote
WCE
2007
15 years 7 months ago
2007
—Use case refactoring is one of the recent software engineering techniques that aimed at synthesising and refining use case models. Two new types of use case refactoring are prop...
175
click to vote
FOIS
2001
15 years 8 months ago
2001
The uptake in the software industry of notations for designing systems visually has been accelerated with the standardization of the Unified Modeling Language (UML). The formaliza...
168
click to vote
ARCS
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Software applications executing in highly dynamic environments are faced with the challenge of frequent and usually unpredictable changes in their execution environment. ...
168
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
This paper outlines an aspect-oriented approach to support separation and modularization of crosscutting concerns in multi-agent systems. Aspects as abstractions to capture social ...