1454 search results - page 19 / 291 » Stateful traits and their formalization |
148
click to vote
FMCAD
2008
Springer
15 years 7 months ago
2008
Springer
Abstract-- This work presents a technology-independent synthesis optimization that is effective in reducing the total number of state elements of a design. It works by identifying ...
140
click to vote
CONTEXT
2007
Springer
16 years 6 days ago
2007
Springer
The paper focuses on a difficult problem when formalizing knowledge: What about the possible concepts that didn’t make it into the formalization? We call such concepts the uncons...
170
click to vote
FORMATS
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. In this paper, we propose a new framework for the parametric verification of time Petri nets with stopwatches controlled by inhibitor arcs. We first introduce an extensio...
178
click to vote
UML
2001
Springer
15 years 10 months ago
2001
Springer
We describe formal steps in the design of iState, a tool for translating statecharts into programming languages. Currently iState generates code in either Java, or the Abstract Mac...
178
click to vote
FASE
2005
Springer
15 years 11 months ago
2005
Springer
Modeling the dependencies between provided and required services within a software component is necessary for several reasons, such as automated component adaptation and architectu...