269 search results - page 15 / 54 » Reversible structures |
DCFS
2011
12 years 7 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
14 years 1 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
14 years 2 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
14 years 27 days 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
14 years 2 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...