3052 search results - page 472 / 611 » Engineers Don't Search |
KBSE
1997
IEEE
14 years 1 months ago
1997
IEEE
Deduction-based software component retrieval uses preand postconditions as indexes and search keys and an automated theorem prover (ATP) to check whether a component matches. This...
ICFEM
1997
Springer
14 years 1 months ago
1997
Springer
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
TAPSOFT
1997
Springer
14 years 1 months ago
1997
Springer
The goal of this paper is to analyse semantics of algorithms with explicit continuous time with further aim to nd approaches to automatize model checking in high level, easily unde...
APSEC
2007
IEEE
14 years 1 months ago
2007
IEEE
Maintaining software systems becomes more difficult as their size and complexity increase. One factor that makes software maintenance more difficult is the presence of code clones...
REFSQ
2010
Springer
14 years 1 months ago
2010
Springer
Product managers in software companies are confronted with a continuous stream of incoming requirements. Due to limited resources they have to make a selection of those that can be...