16725 search results - page 529 / 3345 » Engineering Software Correctness |
160
click to vote
ICSE
1992
IEEE-ACM
15 years 11 months ago
1992
IEEE-ACM
This paper describes a language-independent program representation--the program dependence graph--and discusses how program dependence graphs, together with operations such as pro...
204
click to vote
GRC
2008
IEEE
15 years 8 months ago
2008
IEEE
Granulation is an important component of Granular Computing (GrC) as a problem solving paradigm. Specification and regulation of granulation are necessary in helping researchers a...
191
click to vote
UML
2005
Springer
16 years 15 days ago
2005
Springer
Use cases have achieved wide use as specification tools for systems observable behavior, but there still remains a large gap between specifying behavior and determining the softwar...
216
click to vote
ISESE
2005
IEEE
2005
IEEE
Dialog-based protocol: an empirical research method for cognitive activities in software engineering
16 years 18 days ago
This paper proposes dialog-based protocol for the study of the cognitive activities during software development and evolution. The dialog-based protocol, derived from the idea of ...
177
click to vote
EUROMICRO
2003
IEEE
16 years 9 days ago
2003
IEEE
Accurate and timely information is a key motivator in the widespread adoption of CBSE technology in Europe. Although there are overlaps and informal communications between researc...