1886 search results - page 151 / 378 » Modeling and Enacting Software Processes Using VRPML |
144
click to vote
TACAS
2010
Springer
15 years 2 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
154
click to vote
IJCNN
2007
IEEE
15 years 11 months ago
2007
IEEE
— Pulsed neurons are suitable for processing time series data, like sound signals, and can be easy implemented in hardware. In this paper, we propose an aural information process...
154
click to vote
ICWE
2007
Springer
15 years 11 months ago
2007
Springer
WE practices lack an impact on industry, partly due to a WE field that is not quality-aware. In fact, it is difficult to find WE methodologies that pay explicit attention to qualit...
136
click to vote
ECOWS
2006
Springer
15 years 8 months ago
2006
Springer
A broader use of e-services for cross enterprise collaboration requires the services to be analysed and designed with a clear business focus. From a business perspective, the e-se...
134
click to vote
DAGSTUHL
2006
15 years 6 months ago
2006
The methodology of aspect-oriented software engineering has been proposed to factor out concerns that are orthogonal to the core functionality of a system. In particular, this is a...