Buscar
Mostrando ítems 11-20 de 253114
An evolutionary approach to translating operational specifications into declarative specifications
(Elsevier Science, 2019-05)
Various tools for program analysis, including run-time assertion checkers and static analyzers such as verification and test generation tools, require formal specifications of the programs being analyzed. Moreover, many ...
Specific Heat Measurements by a Thermal Relaxation Method: Influence of Convection and Conduction
(International Journal of Thermophysics, 2013-01-16)
Specific Heat Measurements by a Thermal Relaxation Method: Influence of Convection and Conduction
(International Journal of Thermophysics, 2013-01-16)
Applying MDE tools to defining domain specific languages for model management
(Sociedad Argentina de Informática e Investigación Operativa, 2013-09)
In the model driven engineering (MDE), modeling languages play a central role. They range from the most generic languages such as UML, to more individual ones, called domain-specific modeling languages (DSML). These languages ...
Kinetic characterization of a membrane-specific ATPase from rat osseous plate and its possible significance on endochondral ossification
(Elsevier B.V., 1998-01-05)
Treatment with phosphatidylinositol-specific phospholipase C of rat osseous plate membranes released up to 90-95% of alkaline phosphatase, but a specific ATPase activity (optimum pH = 7.5) remained bound to the membrane. ...
Kinetic characterization of a membrane-specific ATPase from rat osseous plate and its possible significance on endochondral ossification
(Elsevier B.V., 1998-01-05)
Treatment with phosphatidylinositol-specific phospholipase C of rat osseous plate membranes released up to 90-95% of alkaline phosphatase, but a specific ATPase activity (optimum pH = 7.5) remained bound to the membrane. ...
Improving lazy abstraction for SCR specifications through constraint relaxation
(John Wiley & Sons Ltd, 2018-03)
Formal requirements specifications, eg, software cost reduction (SCR) specifications, are challenging to analyse using automated techniques such as model checking. Since such specifications are meant to capture requirements, ...
A Taxonomy of Domain-Specific Aspect Languages
(Assoc Computing Machinery, 2015)
Domain-Specific Aspect Languages (DSALs) are Domain-Specific Languages (DSLs) designed to express crosscutting concerns. Compared to DSLs, their aspectual nature greatly amplifies the language design space. We structure ...