3376 search results - page 427 / 676 » Analyzing Software Evolvability |
166
click to vote
ISSTA
2004
ACM
16 years 4 days ago
2004
ACM
Constraints in predicate or relational logic can be translated into boolean logic and solved with a SAT solver. For faster solving, it is common to exploit the typing of predicate...
197
click to vote
CBSE
2004
Springer
16 years 3 days ago
2004
Springer
A crucial issue in the design of Component-Based (CB) applications is the ability to early guarantee that the system under development will satisfy its Quality of Service requireme...
189
click to vote
APSEC
2003
IEEE
16 years 10 hour ago
2003
IEEE
We propose a new requirements elicitation method in such a domain of ERP, CRM, and SCM by using specifications of several existing package software. We have analyzed the requirem...
197
click to vote
IEEEARES
2010
IEEE
15 years 12 months ago
2010
IEEE
Spyware represents a serious threat to confidentiality since it may result in loss of control over private data for computer users. This type of software might collect the data and...
206
click to vote
WCRE
2002
IEEE
15 years 11 months ago
2002
IEEE
Machine code disassembly routines form a fundamental component of software systems that statically analyze or modify executable programs. The task of disassembly is complicated by...