979 search results - page 97 / 196 » Automated Environment Generation for Software Model Checking |
ICSEA
2006
IEEE
14 years 3 months ago
2006
IEEE
— It is through our mental models of the world that we understand it. Advances in science are nothing more than improvements to the model. This paper presents the development and...
OOPSLA
1998
Springer
14 years 1 months ago
1998
Springer
Dynamic information collected as a software system executes can help software engineers perform some tasks on a system more effectively. To interpret the sizable amount of data ge...
ICCBR
1999
Springer
14 years 1 months ago
1999
Springer
Abstract. For the improvement of software quality and productivity, organizations need to systematically build up and reuse software engineering know-how, promoting organizational ...
JOT
2007
13 years 8 months ago
2007
In order to integrate requirements into the current Model-Driven Engineering (MDE) approach, the traditional document-based requirements specification process should be changed in...
LAWEB
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—The World Wide Web offers easy sharing of information, but provides only few options for the protection of sensitive information and other sensitive resources. Tradition...