219 search results - page 20 / 44 » Assume-Guarantee Model Checking of Software: A Comparative C... |
70
Voted
PROFES
2009
Springer
15 years 2 months ago
2009
Springer
Waterfall development is still a widely used way of working in software development companies. Many problems have been reported related to the model. Commonly accepted problems are...
ICSM
2000
IEEE
15 years 2 months ago
2000
IEEE
The research described in this paper is concerned with the application of information retrieval to software maintenance, and in particular to the problem of recovering traceabilit...
CC
2001
Springer
15 years 2 months ago
2001
Springer
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...
65
Voted
ICSE
2000
IEEE-ACM
15 years 1 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
ICSM
2009
IEEE
15 years 4 months ago
2009
IEEE
The paper proposes a new measure for the cohesion of classes in Object-Oriented software systems. It is based on the analysis of latent topics embedded in comments and identifiers...