16206 search results - page 19 / 3242 » Software Engineering is Not Enough |
138
click to vote
SOFTWARE
2002
14 years 9 months ago
2002
Software's increasingly critical role in systems of widespread significance presents new challenges for the education of software engineers. Not only is our dependence on sof...
SEW
2006
IEEE
2006
IEEE
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker
15 years 3 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...
ICSE
2003
IEEE-ACM
15 years 9 months ago
2003
IEEE-ACM
ICSE
2008
IEEE-ACM
15 years 9 months ago
2008
IEEE-ACM
108
click to vote
SERP
2007
14 years 11 months ago
2007
- Since the advent of model driven software engineering (MDSE) it has become necessary to develop techniques and tools for model evolution. In this paper we examine two issues and ...