7 search results - page 1 / 2 » sigsoft 1994 |
SIGSOFT
1994
ACM
14 years 19 days ago
1994
ACM
This paper describes LCLint, an efficient and flexible tool that accepts as input programs (written in ANSI C) and various levels of formal specification. Using this information, ...
SIGSOFT
1994
ACM
14 years 19 days ago
1994
ACM
A dependence model for reverse engineering should treat procedures in a modular fashion and should be fine-grained, distinguishing dependences that are due to different variables....
SIGSOFT
1994
ACM
14 years 19 days ago
1994
ACM
Testing is potentially the best grounded part of software engineering, since it deals with the well defined situation of a fixed program and a test (a finite collection of input v...
SIGSOFT
1994
ACM
14 years 19 days ago
1994
ACM
As the design of software architectures emerges as a discipline within software engineering, it will become increasingly important to support architectural description and analysi...
SIGSOFT
1994
ACM
14 years 19 days ago
1994
ACM
Program slicing is a fundamental operation for many software engineering tools. Currently, the most efficient algorithm for interprocedural slicing is one that uses a program repr...