1137 search results - page 162 / 228 » Disciplined Methods of Software Specification: A Case Study |
CAV
2009
Springer
15 years 10 months ago
2009
Springer
A new static analyzer is described, based on the analyzer Fluctuat. Its goal is to synthetize invariants for hybrid systems, encompassing a continuous environment described by a sy...
SAC
2004
ACM
15 years 3 months ago
2004
ACM
The quality of courseware development is affected by four factors: content and instructional issues; management; technical and graphical issues; and concerns of the customer. In ...
IWPC
2003
IEEE
15 years 3 months ago
2003
IEEE
Traditional approaches for program comprehension use static program analysis or dynamic program analysis in the form of execution traces. Our approach, however, makes use of runti...
APSEC
2007
IEEE
15 years 1 months ago
2007
IEEE
Code implementing a crosscutting concern spreads over many parts of the Linux code. Identifying these code automatically can benefit both the maintainability and evolvability of Li...
100
click to vote
PEPM
2000
ACM
15 years 1 months ago
2000
ACM
Transforming recursion into iteration eliminates the use of stack frames during program execution. It has been studied extensively. This paper describes a powerful and systematic ...