158 search results - page 7 / 32 » A Cooperative Approach to Support Software Deployment Using ... |
EUROMICRO
2009
IEEE
14 years 2 months ago
2009
IEEE
One of the challenges in development of embedded systems is to cope with hardware and software components simultaneously. Often is their integration cumbersome due to their incomp...
SEW
2006
IEEE
2006
IEEE
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker
14 years 1 months ago
Although there exist several software model checkers that check the code against properties specified e.g. via a temporal logic and assertions, or just verifying low-level propert...
SOPR
1998
13 years 7 months ago
1998
Software engineering focuses on producing quality software products through quality processes. The attention to processes dates back to the early 70’s, when software engineers r...
AGILEDC
2006
IEEE
14 years 1 months ago
2006
IEEE
Can Agile approaches be used successfully in large organizations, where traditional methods and high levels of governance are the norm? Although the iterative, agile approaches ha...
WACC
1999
ACM
13 years 12 months ago
1999
ACM
The effort in software process support has focused so far on modeling and enacting processes. A certain amount of work has been done, but little has reached a satisfactory level o...