5434 search results - page 324 / 1087 » Tool support for MOLA |
160
click to vote
IRI
2007
IEEE
16 years 1 months ago
2007
IEEE
As design complexities increase exponentially, automotive designers need integrated tool environments enabling system-level analyses of alternative architectural solutions. Hence,...
181
click to vote
SEFM
2005
IEEE
16 years 8 days ago
2005
IEEE
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on t...
197
click to vote
UML
2005
Springer
16 years 5 days ago
2005
Springer
Understanding and maintenance of complex information spaces is often supported through visual interfaces. These interfaces must be highly flexible in order to adapt to both the u...
191
click to vote
AOSE
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. In this paper we introduce an approach for defining semantics for AUML agent interaction protocol diagrams using Petri net code structures. This approach is based on the...
202
click to vote
IWSOC
2003
IEEE
15 years 12 months ago
2003
IEEE
CAD tools support is essential in the success of today digital system design methodologies. Unfortunately, most of the classical design tools do not take into account the possibil...