Results 91 to 100 of about 294,479 (334)
IEEE Access, 2020 The improved productivity and reduced time-to-market are essential requirements for the development of modern embedded systems and, therefore, the comprehensive as well as timely design verification is critical.
Muhammad Waseem Anwar +5 more
doaj +1 more source
A Constraint and Object Oriented Fifth Generation Programming Language and its Compiler and Runtime System [PDF]
, 2022 Han Jipeng, Lichen Zhihang
openalex +1 more source
Derived classes as a basis for views in UML/OCL data models [PDF]
UML is the de facto standard language for analysis and design in object-oriented frameworks. Information systems, and in particular information systems based on databases and their applications, rely heavily on sound principles of analysis and design ...
Balsters, H.
core +1 more source
Linguistic Constraints in LFG-DOP [PDF]
, 2007 LFG-DOP (Bod and Kaplan, 1998, 2003) provides an appealing answer to the question of how probabilistic methods can be incorporated into linguistic theory.
Arnold, D, Linardaki, E
core +1 more source
Advanced Functional Materials, EarlyView.Two‐photon lithography (TPL) enables 3D magnetic nanostructures with unmatched freedom in geometry and material choice. Advances in voxel control, deposition, and functionalization open pathways to artificial spin ices, racetracks, microrobots, and a number of additional technological applications.
Joseph Askey +5 more
wiley +1 more source
OCL-BASED TEST CASE GENERATION USING CATEGORY PARTITIONING METHOD [PDF]
ICTACT Journal on Soft Computing, 2015 The adoption of fault detection techniques during initial stages of software development life cycle urges to improve reliability of a software product.
A. Jalila, D. Jeya Mala
doaj
Blockchain Ontologies: OCL and REA [PDF]
Unified Modeling Language (UML) of Object Management Group, along with Object Constraint Language (OCL), are considered as the best fit for blockchain ontology.
Sfetcu, Nicolae
core
Semantics Through Pictures: towards a diagrammatic semantics for object-oriented modelling notations [PDF]
, 1997 An object-oriented (OO) model has a static component, the set of allowable snapshots or system states, and a dynamic component, the set of filmstrips or sequences of snapshots.
Civello, Franco +4 more
core +1 more source
Integrative Approaches for DNA Sequence‐Controlled Functional Materials
Advanced Functional Materials, EarlyView.DNA is emerging as a programmable building block for functional materials with applications in biomimicry, biochemical, and mechanical information processing. The integration of simulations, experiments, and machine learning is explored as a means to bridge DNA sequences with macroscopic material properties, highlighting current advances and providing ...
Aaron Gadzekpo +4 more
wiley +1 more source
Análisis de la capacidad de OCL para generar restricciones de integridad de negocio
Revista Cubana de Ciencias Informáticas, 2013 Every system implementation most ensure that not only an operation has been applied but also that doing that does not break any information system's integrity constraints defined in the conceptual model.
José Enrique Saura Guerra +1 more
doaj