SEW
2006
IEEE
13 years 10 months ago
2006
IEEE
SEW
2006
IEEE
13 years 10 months ago
2006
IEEE
It is widely held that programming language extensions that support separation of concerns and that are also integrative benefit development, maintenance and reuse of software de...
SEW
2006
IEEE
13 years 10 months ago
2006
IEEE
Established software development processes focus on delivering software within time and budget according to a set of requirements. However, practical experiences show that neither...
SEW
2006
IEEE
2006
IEEE
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker
13 years 10 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...
SEW
2006
IEEE
13 years 10 months ago
2006
IEEE
Acquisition of “quantitative” models of sufficient accuracy to enable effective analysis of requirements tradeoffs is hampered by the slowness and difficulty of obtaining su...
SEW
2006
IEEE
13 years 10 months ago
2006
IEEE
Pseudo-exhaustive testing uses the empirical observation that, for broad classes of software, a fault is likely triggered by only a few variables interacting. The method takes adv...
SEW
2006
IEEE
13 years 10 months ago
2006
IEEE
SEW
2006
IEEE
13 years 10 months ago
2006
IEEE
SEW
2006
IEEE
13 years 10 months ago
2006
IEEE
SEW
2006
IEEE
13 years 10 months ago
2006
IEEE