3889 search results - page 320 / 778 » The Use of Program Dependence Graphs in Software Engineering |
161
Voted
IWPC
2002
IEEE
15 years 10 months ago
2002
IEEE
A means to add explicit structure to program source code is presented. XML is used to augment source code with syntactic information from the parse tree. More importantly, comment...
137
click to vote
CSMR
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper describes a case study that uses clustering to group classes of an existing objectoriented system of significant size into subsystems. The clustering process is based o...
144
Voted
ICFEM
2004
Springer
15 years 10 months ago
2004
Springer
Circus is a combination of Z, CSP, and Morgan’s refinement calculus; it has an associated refinement strategy that supports the development of reactive programs. In this work, ...
119
click to vote
OOPSLA
2007
Springer
15 years 11 months ago
2007
Springer
Live Sequence Charts (LSCs) is a scenario-based language for modeling object-based reactive systems with liveness properties. A tool called the Play-Engine allows users to create ...
132
click to vote
ECBS
1996
IEEE
15 years 9 months ago
1996
IEEE
It is widely recognized that real-time,fault-tolerant and distributed computing technologies play a key role in the deployment of many current andfuture (civilian or Defense) crit...