2878 search results - page 485 / 576 » Analyzing the Uses of a Software Modeling Tool |
157
click to vote
MMS
2008
15 years 6 months ago
2008
CLAM is a C++ framework that offers a complete development and research platform for the audio and music domain. om offering an abstract model for audio systems, it also includes ...
169
click to vote
NAR
2008
15 years 6 months ago
2008
The Gene Ontology (GO) project (http://www.gene ontology.org/) provides a set of structured, controlled vocabularies for community use in annotating genes, gene products and seque...
170
click to vote
CSL
2009
Springer
16 years 28 days ago
2009
Springer
For programs whose data variables range over boolean or finite domains, program verification is decidable, and this forms the basis of recent tools for software model checking. I...
166
click to vote
DATE
2007
IEEE
16 years 21 days 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...
190
click to vote
IJES
2006
15 years 6 months ago
2006
Model-driven development (MDD) is an emerging paradigm that uses domain-specific modeling languages (DSMLs) and generative technologies to provide "correct-by-construction&quo...