979 search results - page 103 / 196 » Automated Environment Generation for Software Model Checking |
133
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
Software comprehension (understanding software structure and behavior) is essential for developing, maintaining, and improving software. This is particularly true of agent-based s...
151
click to vote
ICDIM
2010
IEEE
15 years 8 days ago
2010
IEEE
Data mining aims at extraction of previously unidentified information from large databases. It can be viewed as an automated application of algorithms to discover hidden patterns a...
143
Voted
LPAR
2010
Springer
15 years 22 days ago
2010
Springer
The Inst-Gen-Eq method is an instantiation-based calculus which is complete for first-order clause logic modulo equality. Its distinctive feature is that it combines first-order ...
107
Voted
ECMDAFA
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. In this paper we report on a feasibility study in reengineering legacy systems towards a model-driven architecture (MDA). Steps in our approach consist of (1) parsing the...
205
click to vote
SIGMOD
2005
ACM
16 years 2 months ago
2005
ACM
Nearly all components that comprise modern information technology, such as Computer Aided Software Engineering (CASE) tools, Enterprise Application Integration (EAI) environments,...