Based on a well defined synchronization model and a generic architecture for continuous/discrete simulation models, this framework enables easy specification and automatic generation of simulation models.
The key components of V-SAT include EXPRESSION, a language for specification of the architecture, SIMPRESS, a simulator generator for analysis/evaluation of the architecture, and the V-SAT GUI front-end for easy specification and detailed analysis.
The large diffusion of concurrent and distributed systems has spawned in recent years a variety of new formalisms, equipped with features for supporting an easy specification of such systems.
This XML-based representation, called JavaML, is more natural for tools and permits easy specification of numerous software-engineering analyses by leveraging the abundance of XML tools and techniques.
Cavalieri allows to manage the huge digital models produced with 3D scanning devices and supports easy specification of orthographic drawings and cut-through sections, which are given in output as very high-resolution images (with user-selected reproduction scale and printer resolution).
We have implemented the polydispersity feature in a minimally invasive way and provided means to allow easy specification of an arbitrary particle size distribution function, which also enables the user to easily handle an arbitrary number of solid phases, each possessing a distinct arbitrary particle-size distribution.
Unfortunately, there is no thorough, accurate, and easy specification of what either the Figure 1 or Figure 2 model tests test.
Nevertheless, these results can be used to guide the analysis of new data, and AA-ALIGNER allows for the easy specification of these parameters.
On the other hand, DCL 2.0 tries to promote reuse, not only by allowing an easier specification of the formal architecture, but also by providing modular and hierarchical specifications that can be used in other systems.
While there is more than one Generic Interval for any given chromatic interval, this is needed to to permit easy chromatic specification of Interval objects.
As we can see it is easy to reuse specifications to other systems, since they are decoupled from the software project.
