3256 search results - page 239 / 652 » Applications of Formal Methods to System Design and Verifica... |
172
click to vote
ECMDAFA
2005
Springer
16 years 2 days ago
2005
Springer
This article presents a control flow analysis methodology based on UML 2.0 sequence diagrams (SD). In contrast to the conventional code-based control flow analysis techniques, thi...
146
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper proposes a new technique called CORBAas-needed to improve the performance of distributed CORBA applications. CORBA-as-needed allows distributed CORBA applications to ...
171
click to vote
ICECCS
2006
IEEE
16 years 17 days ago
2006
IEEE
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
160
click to vote
ITICSE
2003
ACM
15 years 11 months ago
2003
ACM
Because the concept of program correctness is generally taught as an activity independent of the programming process, most introductory computer science (CS) students perceive it ...
166
click to vote
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
A three-year study collected information bearing on the question of whether studying mathematics improves programming skills. An analysis of the data revealed significant differen...