1116 search results - page 167 / 224 » An Eclipse-based tool framework for software model managemen... |
155
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
Transforming models is a critical activity in Model Driven Engineering (MDE). With the expected adoption of the OMG QVT standard for model transformation language it is anticipate...
144
click to vote
DATE
2007
IEEE
15 years 11 months ago
2007
IEEE
An emerging common trend in model-based design of embedded software and systems is the adoption of Domain-Specific Modeling Languages (DSMLs). While syntax metamodeling enables th...
148
click to vote
SIMULATION
2010
14 years 11 months ago
2010
We introduce and describe a novel network simulation tool called NeSSi (Network Security Simulator). NeSSi incorporates a variety of features relevant to network security distingu...
164
click to vote
FASE
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
151
click to vote
VLSID
2003
IEEE
16 years 5 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...