1454 search results - page 19 / 291 » Stateful traits and their formalization |
91
Voted
FMCAD
2008
Springer
15 years 2 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 ...
CONTEXT
2007
Springer
15 years 6 months 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...
105
Voted
FORMATS
2008
Springer
15 years 2 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...
112
click to vote
UML
2001
Springer
15 years 4 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...
116
click to vote
FASE
2005
Springer
15 years 6 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...