979 search results - page 103 / 196 » Automated Environment Generation for Software Model Checking |
ATAL
2005
Springer
14 years 2 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...
ICDIM
2010
IEEE
13 years 7 months 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...
LPAR
2010
Springer
13 years 7 months 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 ...
ECMDAFA
2006
Springer
14 years 19 days 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...
SIGMOD
2005
ACM
14 years 9 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,...