Results 111 to 120 of about 294,479 (334)
Metamodel Instance Generation: A systematic literature review [PDF]
, 2012 Modelling and thus metamodelling have become increasingly important in Software Engineering through the use of Model Driven Engineering. In this paper we present a systematic literature review of instance generation techniques for metamodels, i.e.
Monahan, Rosemary +2 more
core +3 more sources
Advanced Functional Materials, EarlyView.This study shows that lizard osteoderm capping tissue is a hyper‐mineralized hydroxyapatite layer consistently covering the superficial osteoderm surface in those species studied here, yet it varies greatly in morphology, nanostructure, and mechanical performance across species.
Adrian Rodriguez‐Palomo +10 more
wiley +1 more source
Overview of Slicing and Feedback Techniques for Efficient Verification of UML/OCL Class Diagrams
IEEE Access, 2018 Model-driven engineering is a methodology for software development that focuses on the use of models in the software development process. These models can be transformed into code, saving developers both time and effort.
Asadullah Shaikh, Uffe Kock Wiil
doaj +1 more source
Mapping Aspects to Components [PDF]
, 1999 This document defines a representation of aspects in the component model. Such a representation requires modeling the available (primitive) components, defining the composition mechanism, and representing aspects as enhancements of ...
Aksit, M. +2 more
core +1 more source
Advanced Functional Materials, EarlyView.A circular route, involving upcycling of waste surgical masks, affords a Mn‐based layered carbide with porosity, redox activity and low work function. These features enable its effective operation as positive supercapacitor electrode in an aqueous asymmetric supercapacitor delivering 213 Wh L−1 energy density.
Debabrata Nandi +7 more
wiley +1 more source
EARLY IDENTIFICATION OF SOFTWARE DEFECTS USING OCL PREDICATES TO IMPROVE SOFTWARE QUALITY [PDF]
Journal of Engineering Science and Technology, 2015 Formal specification-based testing has been used widely to assess potential faults or prove their absence in a given system at the earliest. This research work has proposed an automated fault-based testing framework to test the specification of the ...
A. JALILA, D. J. MALA, M. ESWARAN
doaj
AUnit - a testing framework for alloy [PDF]
, 2014 textWriting declarative models of software designs and analyzing them to detect defects is an effective methodology for developing more dependable software systems.
Sullivan, Allison
core
Artificial Intelligence as the Next Visionary in Liquid Crystal Research
Advanced Functional Materials, EarlyView.The functions of AI in the research laboratory are becoming increasingly sophisticated, allowing the entire process of hypothesis formulation, material design, synthesis, experimental design, and reiterative testing to be automated. In our work, we conceive how the incorporation of AI in the laboratory environment will transform the role and ...
Mert O. Astam +2 more
wiley +1 more source
Fast and Precise Type Checking for JavaScript
, 2017 In this paper we present the design and implementation of Flow, a fast and precise type checker for JavaScript that is used by thousands of developers on millions of lines of code at Facebook every day.
Chaudhuri, Avik +4 more
core +1 more source
Advanced Healthcare Materials, EarlyView.Antimicrobial peptide (AMP)‐loaded nanocarriers provide a multifunctional strategy to combat drug‐resistant Mycobacterium tuberculosis. By enhancing intracellular delivery, bypassing efflux pumps, and disrupting bacterial membranes, this platform restores phagolysosome fusion and macrophage function.
Christian S. Carnero Canales +11 more
wiley +1 more source