Sciweavers

2878 search results - page 27 / 576
» Analyzing the Uses of a Software Modeling Tool
Sort
View
CIKM
2009
Springer
14 years 2 months ago
A query language for analyzing networks
With more and more large networks becoming available, mining and querying such networks are increasingly important tasks which are not being supported by database models and query...
Anton Dries, Siegfried Nijssen, Luc De Raedt
CBSE
2006
Springer
13 years 11 months ago
A Prototype Tool for Software Component Services in Embedded Real-Time Systems
Abstract. The use of software component models has become popular during the last decade, in particular in the development of software for desktop applications and distributed info...
Frank Lüders, Daniel Flemström, Anders W...
ICFEM
2005
Springer
14 years 1 months ago
An Evidential Tool Bus
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
John M. Rushby
WSC
1997
13 years 9 months ago
WITNESS Simulation Software: A Flexible Suite of Simulation Tools
Over time, simulation tools have found use in most manufacturing enterprises. Due to the increased flexibility and openness of the tools available today, simulation can now begin ...
Pam Laney Markt, Michael H. Mayer
IJET
2008
77views more  IJET 2008»
13 years 8 months ago
Social Software for Lifelong Competence Development: Challenges and Infrastructure
Within the TENCompetence project we aim to develop and integrate models and tools into an open source infrastructure for the creation, storage and exchange of learning objects, sui...
Ivana Marenzi, Elena Demidova, Wolfgang Nejdl, Dan...