411 search results - page 42 / 83 » Algebraic Imperative Specifications |
120
click to vote
ECLIPSE
2007
ACM
15 years 7 months ago
2007
ACM
In this paper we detail the design and implementation of an Eclipse plug-in that supports construction, analysis and elaboration of Modal Transition Systems. The plug-in supports ...
153
click to vote
SPLC
2008
15 years 5 months ago
2008
This paper builds on product line CCS (PL-CCS), an algebraic approach to modeling the behavior of software product lines. The semantics of PL-CCS specifications is given in terms ...
VIP
2001
15 years 5 months ago
2001
Spiral Architecture is a relatively new and powerful approach to general purpose machine vision system. It contains very useful geometric and algebraic properties. Two algebraic o...
123
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
This paper illustrates a technique for specifying the detailed timing, logical operation, and compositional circuit design of digital circuits in terms of ordinary state machines w...
132
click to vote
CORR
2006
Springer
15 years 3 months ago
2006
Springer
We describe several technical tools that prove to be efficient for investigating the rewrite systems associated with an equational specification. These tools consist in introducing...