Sentence examples for collection of definitions from inspiring English sources
A component is a collection of definitions that allow inclusion of usage assumptions and verification conditions along with a specification in a single construct.
An established illustrator had originally been considered for the assignment, but when he was shown simply a collection of definitions, he felt that there was no book in them at all.
Labeo is reputed to have written 400 books, including commentaries on the Law of the Twelve Tables, the praetorian edicts and pontifical law, collections of law cases (Epistulae and Responsa), and the Pithana, a collection of definitions and axiomatic legal propositions.
This interesting 2007 collection of definitions acts rather like a marksmanship target in which no single definition hits the bulls-eye, yet their clustering suggests they were all aiming at the same spot.
CMLLite is a collection of definitions and processes which provide strong and flexible validation for a document in Chemical Markup Language (CML).
Creativity has a collection of definitions, many of which highlight two factors: Novelty and value.
Regular evaluations took place throughout the abstraction period to identify any problems in data collection, interpretation of definitions, and application of study criteria.
GenApp builds fully functioning science gateways and standalone GUI applications from collections of definition files and libraries of code fragments.
Widely diverse aspects are dealt with, including: (1) a collection of conceptual definitions, (2) bibliometric details, (3) the present situation and evolution of codes and design recommendations, (4) quantification of robustness, (5) assessing the risk of progressive collapse, (6) experimental tests, (7) numerical modelling, and (8) research needs.
"The biggest mistake most people make is thinking threat intelligence is a collection of virus definitions in a shared database.
This book is a collection of 57 definitions, the bulk of which are paraphrases and quotes (often without attribution) of various passages of al-Kindi.
