1411 search results - page 97 / 283 » Interactive Coding for Interactive Proofs |
IFM
2004
Springer
15 years 6 months ago
2004
Springer
Recent work on combining CSP and B has provided ways of describing systems comprised of components described in both B (to express requirements on state) and CSP (to express intera...
CHI
2009
ACM
16 years 1 months ago
2009
ACM
Michael Philetus Weller CoDe Lab Carnegie Mellon University Pittsburgh, PA 15213 USA philetus@cmu.edu Ellen Yi-Luen Do ACME Lab Georgia Institute of Technology Atlanta, Georgia 303...
WCRE
2008
IEEE
15 years 7 months ago
2008
IEEE
We present the metric lens, a new visualization of methodlevel code metrics atop UML class diagrams, which allows performing metric-metric and metric-structure correlations on lar...
94
Voted
VISSOFT
2005
IEEE
15 years 6 months ago
2005
IEEE
SAB is a tool for automatic generation of class diagrams from Java code. In addition to hierarchical layout, it features a wealth of user interaction facilities for dealing with c...
74
Voted
IFIP
1994
Springer
15 years 4 months ago
1994
Springer
The aim of this discussion paper is to stimulate (or perhaps to provoke) stronger interactions among theoreticians and practitioners interested in efficient problem solutions. We ...