9507 search results - page 660 / 1902 » Time-based language models |
204
click to vote
ESOP
2006
Springer
15 years 11 months ago
2006
Springer
Model fields are specification-only fields that encode abstractions of the concrete state of a data structure. They allow specifications to describe the behavior of object-oriented...
201
click to vote
SIMUTOOLS
2008
15 years 8 months ago
2008
As its name promises, the Unified Modeling Language (UML) provides a collection of diagrammatic modeling styles. To the early class/objects and use-case diagrams were almost immed...
190
click to vote
SPLC
2008
15 years 8 months ago
2008
Model-driven software product lines are an emerging topic in research and industry, as they promise higher development speed and easier adaptability to customer needs. The generat...
141
click to vote
CCE
2008
15 years 7 months ago
2008
Easy Java Simulations (Ejs) and Sysquake are two software tools specifically intended for implementation of virtual-labs. They allow easy definition of the virtuallab view (i.e., ...
187
Voted
ECEASST
2008
15 years 7 months ago
2008
: Model transformations play a significant role in model based software development, and the correctness of the transformation is crucial to the success of the development effort. ...