2878 search results - page 156 / 576 » Analyzing the Uses of a Software Modeling Tool |
140
click to vote
DATE
2007
IEEE
16 years 25 days ago
2007
IEEE
AUTOSAR is a recent specification initiative which focuses on a model-driven architecture like methodology for automotive applications. However, needed engineering steps, or how-t...
185
click to vote
SDL
2003
15 years 7 months ago
2003
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...
140
click to vote
WSC
2008
15 years 8 months ago
2008
One of the most important challenges for mining engineers is to correctly analyze and generate short-term planning schedules, or simply month mining plan. The objective is to demo...
132
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
SEESAW combines AI search tools, a Monte Carlo simulator, and some software process models. We show here that, when selecting technologies for a software project, SEESAW out-perfo...
175
click to vote
OOPSLA
2007
Springer
16 years 19 days ago
2007
Springer
DigitalAssets Discoverer is a tool that implements a group of indicators for automatic identification of software components that can be reused in the development of new applicati...