269 search results - page 15 / 54 » Reversible structures |
DCFS
2011
13 years 9 months ago
2011
We prove Kleene theorems for two subclasses of labelled product systems which are inspired from well-studied subclasses of 1bounded Petri nets. For product T-systems we define a c...
WCRE
2005
IEEE
15 years 3 months ago
2005
IEEE
The use of design patterns in a software system can provide strong indications about the rationale behind the system’s design. As a result, automating the detection of design pa...
WCRE
2008
IEEE
15 years 4 months ago
2008
IEEE
We present a suite of small tools, implemented as a pipeline of text file manipulating scripts, that, on one hand, measure the evolution of any software structure that can be rep...
WCRE
2003
IEEE
15 years 2 months ago
2003
IEEE
This paper promotes the use of a mathematical concept lattice based upon the binary relation of accesses between methods and fields as a novel visualization of individual JAVA cl...
WCRE
2008
IEEE
15 years 4 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...