AI & ChatGPT searches , social queries for SPECIFICATION LANGUAGE
Search references for SPECIFICATION LANGUAGE. Phrases containing SPECIFICATION LANGUAGE
See searches and references containing SPECIFICATION LANGUAGE!
Search references for SPECIFICATION LANGUAGE. Phrases containing SPECIFICATION LANGUAGE
See searches and references containing SPECIFICATION LANGUAGE!SPECIFICATION LANGUAGE
Formal language used in computer science
A specification language is a formal language in computer science used during systems analysis, requirements analysis, and systems design to describe
Specification_language
Documentation defining a programming language
computer programming, a programming language specification (or standard or definition) is a specification language or documentation[dubious – discuss]
Programming language specification
Programming_language_specification
Declarative specification language
computer science and software engineering, Alloy is a declarative specification language for expressing complex structural constraints and behavior in a
Alloy (specification language)
Alloy_(specification_language)
Set of logic terms used to describe processes
The Process Specification Language (PSL) is a set of logic terms used to describe processes. The logic terms are specified in an ontology that provides
Process Specification Language
Process_Specification_Language
Standardized language for real-time and embedded systems
Specification and Description Language (SDL) is a specification language targeted at the unambiguous specification and description of the behaviour of
Specification and Description Language
Specification_and_Description_Language
Computer programming standard meant to be interoperable across programming languages
A language-independent specification (LIS) is a programming language specification[citation needed] providing a common interface usable for defining semantics
Language-independent specification
Language-independent_specification
Temporal logic
Property Specification Language (PSL) is a temporal logic extending linear temporal logic with a range of operators for both ease of expression and enhancement
Property Specification Language
Property_Specification_Language
Formal specification language in computer science
In computer science Language of Temporal Ordering Specification (LOTOS) is a formal specification language based on temporal ordering of events. LOTOS
Language of Temporal Ordering Specification
Language_of_Temporal_Ordering_Specification
Software design modeling notation
Process Specification Language – Set of logic terms used to describe processes Systems Modeling Language – General-purpose modeling languagePages displaying
Unified_Modeling_Language
The Common Algebraic Specification Language (CASL) is a general-purpose specification language based on first-order logic with induction. Partial functions
Common Algebraic Specification Language
Common_Algebraic_Specification_Language
Computer language for specifying stylesheets for SGML documents
The Document Style Semantics and Specification Language (DSSSL) is an international standard developed to provide stylesheets for SGML documents. DSSSL
Document Style Semantics and Specification Language
Document_Style_Semantics_and_Specification_Language
Aspect of computer science
FizzBee is a multi-paradigm specification language that allows for transition/action based specification, behavioral specifications with non-atomic transitions
Formal_specification
General-purpose modeling language
systems modeling language (SysML) is a general-purpose modeling language for systems engineering applications. It supports the specification, analysis, design
Systems_modeling_language
Formal specification language used for describing and modelling computing systems
/ˈzɛd/ is a formal specification language used for describing and modelling computing systems. It is targeted at the clear specification of computer programs
Z_notation
Programming language
Universal Test Specification Language (UTSL) is a programming language used to describe ASIC tests in a format that leads to an automated translation
Universal Test Specification Language
Universal_Test_Specification_Language
Computer language used to describe a software component's interface
C++, Dart, Go and Rust. IDL specification language: the original Interface Description Language IPL: Imandra Protocol Language JSON Web-Service Protocol
Interface description language
Interface_description_language
Software interface description language
interface description languages, IDL defined interfaces in a language- and machine- independent way, allowing the specification of interfaces between
IDL_specification_language
Domain-specific language used by Internet service providers
The Routing Policy Specification Language (RPSL) is a language commonly used by Internet service providers to describe their routing policies. The routing
Routing Policy Specification Language
Routing_Policy_Specification_Language
The ANSI/ISO C Specification Language (ACSL) is a specification language for C programs, using Hoare style pre- and postconditions and invariants, that
ANSI/ISO C Specification Language
ANSI/ISO_C_Specification_Language
Specialized computer language used to describe electronic circuits
illusion of being programming languages, when they are more precisely classified as specification languages or modeling languages. Simulators capable of supporting
Hardware_description_language
XML-based interface description language
service description languages: NASSL (Network Application Service Specification Language) from IBM and SDL (Service Description Language) from Microsoft.
Web Services Description Language
Web_Services_Description_Language
Computer language specialized to a specific set of requirements or function
kind of language, and include domain-specific markup languages, domain-specific modeling languages (more generally, specification languages), and domain-specific
Domain-specific_language
Documented requirements to be satisfied by a material, design, product, or service
A specification, colloquially spec, often refers to a set of documented requirements to be satisfied by a material, design, product, or service. A specification
Specification (technical standard)
Specification_(technical_standard)
Declarative language
now part of the UML standard. Initially, OCL was merely a formal specification language extension for UML. OCL may now be used with any Meta-Object Facility
Object_Constraint_Language
Topics referred to by the same term
mathematical means Specification language Model specification, the practice of translating theory into a statistical model Patent specification, part of a patent
Specification (disambiguation)
Specification_(disambiguation)
Logic used to describe behaviours of concurrent systems
concurrent and distributed systems. It is the logic underlying the specification language TLA+. Statements in the temporal logic of actions are of the form
Temporal_logic_of_actions
Language for controlling a computer
John C. Reynolds emphasizes that a formal specification language is a programming language as much as any language intended for execution. He argues that
Programming_language
Formal language used to construct ontologies
2006. Oscar Corcho, Asuncion Gomez-Perez, A Roadmap to Ontology Specification Languages (2000) Introduction to Description Logics – DL course by Enrico
Ontology_language
Markup language and file format
machine-readable. The World Wide Web Consortium's XML 1.0 Specification of 1998 and several other related specifications—all of them free open standards—define XML.
XML
Meta-IV (pronounced like "metaphor") was an early version of the specification language of the Vienna Development Method formal method for the development
Meta-IV (specification language)
Meta-IV_(specification_language)
Programming language
the specification of components in a form that is suitable for both static and dynamic verification. SPARK is also designed to eliminate all language constructs
SPARK_(programming_language)
List of programming languages types and the languages that meet its description
(multi-purpose language) APL BETA C++ C# Ceylon Dart Oxygene (formerly named Chrome) ChucK Cobra ColdFusion Curl D Distributed Application Specification Language (DASL)
List of programming languages by type
List_of_programming_languages_by_type
Formal method for the development of computer-based systems
group of techniques and tools based on a formal specification language—the VDM Specification Language (VDM-SL). It has an extended form, VDM++, which
Vienna_Development_Method
Specification for machine-readable interface files
OpenAPI Specification (OAS), previously known as the Swagger Specification, is a specification for a machine-readable interface definition language for describing
OpenAPI_Specification
Object-oriented programming language
in Java by Arthur van Hoff to comply strictly with the Java 1.0 language specification. With the advent of Java 2 (released initially as J2SE 1.2 in December
Java_(programming_language)
Standard for computer data connections
original on 19 February 2015. Retrieved 2 January 2014. "USB 3.1 Specification Language Usage Guidelines from USB-IF" (PDF). USB Implementers Forum. 28
USB
Software language
The Clock Constraint Specification Language or CCSL, is a software language for modeling relations among so-called clocks. It is part of the time model
Clock Constraints Specification Language
Clock_Constraints_Specification_Language
General-purpose programming language
C# 2.0 specification document only contains the new 2.0 features. For older features, use the 1.2 specification above. C# Language Specification (PDF)
C Sharp (programming language)
C_Sharp_(programming_language)
Formal specification language
TLA+ is a formal specification language developed by Leslie Lamport. It is used for designing, modelling, documentation, and verification of programs,
TLA+
Music programming language
The Hierarchical Music Specification Language (HMSL) is a music programming language written in the 1980s by Larry Polansky, Phil Burk, and David Rosenboom
Hierarchical Music Specification Language
Hierarchical_Music_Specification_Language
Specification language for Java programs
The Java Modeling Language (JML) is a specification language for Java programs, using Hoare style pre- and postconditions and invariants, that follows
Java_Modeling_Language
Dynamic programming language
language, while also originally designed for numerical/technical computing. It is also useful for low-level systems programming, as a specification language
Julia_(programming_language)
Mathematical program specifications
specification systems has been noted for years. In the ALGOL 58 report, John Backus presented a formal notation for describing programming language syntax
Formal_methods
Notation expressing information under a rule set
worsens the situation. Specification and Description Language (SDL) is a specification language targeted at the unambiguous specification and description of
Modeling_language
Programming language
high-level, wide-spectrum programming language based on the languages ML and Standard ML, covering both program specification and implementation. It extends
Extended_ML
Modern system for document annotation
needed] Some markup languages, such as the widely used HTML, have pre-defined presentation semantics, meaning that their specifications prescribe some aspects
Markup_language
Programming language
keep the language specification simple enough to hold in a programmer's head, in part by omitting features that are common in similar languages. 25 reserved
Go_(programming_language)
Method of software development
particular, there is good tool support for this. The same language is used in specification, design, and programming. Mechanisms include encapsulation
B-Method
High-level shading language
(PDF). "GLSL Language Specification, Version 3.30.6" (PDF). "GLSL Language Specification, Version 4.00.9" (PDF). "GLSL Language Specification, Version 4
OpenGL_Shading_Language
Analysis of computer programs without executing them
complete language), finding all possible run-time errors in an arbitrary program (or more generally any kind of violation of a specification on the final
Static_program_analysis
Software that provides access that hides details
level) than an eventual implementation. The Unified Modeling Language (UML) specification language, for example, allows the definition of abstract classes
Abstraction (computer science)
Abstraction_(computer_science)
Agile software development approach
A Pattern Language of Competitive Development in 1996. The name Specification by Example was coined by Martin Fowler in 2004. Specification by Example
Specification_by_example
Code to identify human languages
adopted the concept of language ranges from HTTP/1.1 to help with matching of language tags. The next revision of the specification came in September 2006
IETF_language_tag
Hardware description language
(verification language) – Hardware verification language Property Specification Language – Temporal logic Chisel – Open-source hardware description language (HDL)
Verilog
Markup language for documents
mid-1993 publication of the first proposal for an HTML specification, the "Hypertext Markup Language (HTML)" Internet Draft by Berners-Lee and Dan Connolly
HTML
Self-managing characteristics of distributed computing resources
Configuring Automotive Systems ASSL (Autonomic System Specification Language) : A Framework for Specification, Validation and Generation of Autonomic Systems
Autonomic_computing
Proving or disproving the correctness of certain intended algorithms
certain formal specification or property, using formal methods of mathematics. Formal verification is a key incentive for formal specification of systems
Formal_verification
Human-readable data serialization language
Ain't Markup Language (YAML) Version 1.2". YAML.org. Archived from the original on 2019-01-24. Retrieved 2019-05-29. "YAML specification v1.2.2 Section
YAML
Dialect of Lisp
system, allowing a split between the core language and libraries. Several drafts of the R6RS specification were released, the final version being R5.97RS
Scheme_(programming_language)
Description of an algorithm that resembles a computer program
formal specification languages include set theory notation using special characters. Examples are: Z notation Vienna Development Method Specification Language
Pseudocode
Plain text markup language
long-standing Markdown contributors released CommonMark, an unambiguous specification and test suite for Markdown.[better source needed] Markdown was inspired
Markdown
Graphical representation of a workflow
activity diagrams as a workflow specification language." ≪ UML≫ 2001—The Unified Modeling Language. Modeling Languages, Concepts, and Tools. Springer Berlin
Activity_diagram
Process of planning software solutions
for extension with a Profile (UML). Alloy (specification language) A general purpose specification language for expressing complex structural constraints
Software_design
A man–machine language (MML) is a specification language. MMLs are typically defined to standardize the interfaces for managing a telecommunications or
MML_(programming_language)
Software engineering technique
languages. Common Algebraic Specification Language Formal specification OBJ Ehrig, Hartmut; Mahr, Bernd (1989). Algebraic Specification. Academic Press. ISBN 0-201-41635-2
Algebraic_specification
Topics referred to by the same term
Description Language Architecture description language Specification and Description Language - a specification language Character Description Language - for
Description_language
Punctuation mark
repetition, such as in extended Backus–Naur form. In the Z formal specification language, braces define a set. In mathematics they delimit sets, in what
Bracket
Programming languages optimized for sound production
Hierarchical Music Specification Language (HMSL), optimized more for music than synthesis, developed in the 1980s in Forth Impromptu, a Scheme language environment
List of audio programming languages
List_of_audio_programming_languages
Temporal Ordering Specification (ISO standard 8807); formal specification language based on temporal ordering used for protocol specification in ISO OSI standards
List_of_model_checking_tools
Collaborative approach to designing and developing software
insists on a semi-formal language for behavioral specification: some formality is a requirement for being a ubiquitous language. In addition, having such
Behavior-driven_development
Modeling Language, an enriched version of Java Frama-C – An open-source analysis framework for C, based on the ANSI/ISO C Specification Language (ACSL)
List of tools for static code analysis
List_of_tools_for_static_code_analysis
Versions of a JavaScript standard
"ECMAScript 2023 Language Specification". Ecma International. June 2023. Retrieved 30 June 2023. "ECMAScript 2024 Language Specification". Ecma International
ECMAScript_version_history
Virtual machine that runs Java programs
other languages, other languages referred to as JVM languages that are also compiled to Java bytecode. The JVM is detailed by a specification that formally
Java_virtual_machine
Formal language for describing data models
1999. The RDF 1.0 specification was published in 2004, and the RDF 1.1 specification in 2014. SPARQL is a standard query language for RDF graphs. RDF
Resource Description Framework
Resource_Description_Framework
Mathematical symbol to denote a function
mathematics and in computer science to denote functions. In Z notation, a specification language used in software development, this symbol is called the maplet arrow
Maps_to
fail at runtime. The Perfect specification language used has an object-oriented style, producing code in programming languages including Java, C# and C++
Perfect_Developer
Computer science field
algorithmically, both the model of the system and its specification are formulated in some precise mathematical language. To this end, the problem is formulated as
Model_checking
Topics referred to by the same term
Loss Process Specification Language Portable Standard Lisp Probabilistic soft logic Profile Scripting Language Property Specification Language Public Suffix
PSL
World Wide Web Consortium recommendation
browsing applications. The language is intended to be easy to use by developers while supporting the accurate specification of pronunciation information
Pronunciation Lexicon Specification
Pronunciation_Lexicon_Specification
Protocol between IDEs and programming language-specific servers
restricted to programming languages. It can be used for any kind of text-based language, like specifications or domain-specific languages (DSL). When a user
Language_Server_Protocol
Third major version of the Universal Serial Bus standard
and electronic devices. It was released in November 2008. The USB 3.0 specification defined a new architecture and protocol, named SuperSpeed, which included
USB_3.0
style sheet languages. Cascading Style Sheets (CSS) Document Style Semantics and Specification Language (DSSSL) Extensible Stylesheet Language (XSL) JavaScript
List_of_style_sheet_languages
Internal code for computer graphics
incorporated in the core specification of OpenCL 2.1, the Vulkan API, and OpenGL version 4.6. SPIR-V is a high-level intermediate language, exchanged in binary
Standard Portable Intermediate Representation
Standard_Portable_Intermediate_Representation
XML-based document format
Open XML Paper Specification (also referred to as OpenXPS) is an open specification for a page description language and a fixed-document format. Microsoft
Open_XML_Paper_Specification
Specification of a conceptualization
proprietary and standards-based: Common Algebraic Specification Language is a general logic-based specification language developed within the IFIP working group
Ontology (information science)
Ontology_(information_science)
Hardware description language
Procedural Interface) (interface to C/C++ languages) and a subset of PSL (Property Specification Language). These changes should improve quality of synthesizable
VHDL
Programming language used to verify the designs of electronic circuits written in a HDL
Property Specification Language Python with cocotb Scala with ChiselTest Iman, Sasan; Joshi, Sunita (May 8, 2007). The e Hardware Verification Language (Information
Hardware verification language
Hardware_verification_language
Model and data exchange language
A Language for Process Specification (ALPS) is a model and data exchange language developed by the National Institute of Standards and Technology in the
A Language for Process Specification
A_Language_for_Process_Specification
Tool for language-oriented programming
Language workbenches were introduced and popularized by Martin Fowler in 2005. Language workbenches usually support: Specification of the language concepts
Language_workbench
General-purpose programming language
Programming Language. Known as K&R from the initials of its authors, the book served for many years as an informal specification of the language. The version
C_(programming_language)
Hardware description and hardware verification language
has its own assertion specification language, similar to Property Specification Language. The subset of SystemVerilog language constructs that serves
SystemVerilog
Method for linking XML documents together
XML Linking Language, or XLink, is an XML markup language and W3C specification that provides methods for creating internal and external links within
XLink
Formal specification language created by Leslie Lamport
PlusCal (formerly called +CAL) is a formal specification language created by Leslie Lamport, which transpiles to TLA+. In contrast to TLA+'s action-oriented
PlusCal
Standards for operating systems for using the UNIX trademark
interfaces for the C language, a command-line shell, and user commands. The core specifications of the SUS known as Base Specifications are developed and
Single_UNIX_Specification
Open specification for runtime environments
The Common Language Infrastructure (CLI) is an open specification and technical standard originally developed by Microsoft and standardized by ISO/IEC
Common Language Infrastructure
Common_Language_Infrastructure
TeleNokia Specification and Description Language (TNSDL) is based on the ITU-T Specification and Description Language (SDL)-88. It is used exclusively
TNSDL
Browser-based computing platform
browser, it is not viewed as a programming language in programming language discourse. "100 Specifications for the Open Web Platform and Counting". W3C
Web_platform
Standard of Object Management Group
Information Model (CIM) Infrastructure Specification, version 2.5.0. Common Warehouse Metamodel Domain-specific language Kermeta KM3 Metamodeling Metadata
Meta-Object_Facility
Group of computer programming languages
Development Without Programmers to refer to non-procedural, high-level specification languages. In some primitive way, early 4GLs were included in the Informatics
Fourth-generation programming language
Fourth-generation_programming_language
Routing registry for Internet networks
sometimes-conflicting, routing policy data, expressed in Routing Policy Specification Language (RPSL) syntax. The RADb was developed in the early 1990s as part
Routing_Assets_Database
SPECIFICATION LANGUAGE
SPECIFICATION LANGUAGE
Surname or Lastname
English, Welsh, German, etc.
English, Welsh, German, etc. : ultimately from the Hebrew personal name yÅÌ£hÄnÄn ‘Jehovah has favored (me with a son)’ or ‘may Jehovah favor (this child)’. This personal name was adopted into Latin (via Greek) as Johannes, and has enjoyed enormous popularity in Europe throughout the Christian era, being given in honor of St. John the Baptist, precursor of Christ, and of St. John the Evangelist, author of the fourth gospel, as well as others of the nearly one thousand other Christian saints of the name. Some of the principal forms of the personal name in other European languages are Welsh Ieuan, Evan, Siôn, and Ioan; Scottish Ia(i)n; Irish Séan; German Johann, Johannes, Hans; Dutch Jan; French Jean; Italian Giovanni, Gianni, Ianni; Spanish Juan; Portuguese João; Greek IÅannÄ“s (vernacular Yannis); Czech Jan; Russian Ivan. Polish has surnames both from the western Slavic form Jan and from the eastern Slavic form Iwan. There were a number of different forms of the name in Middle English, including Jan(e), a male name (see Jane); Jen (see Jenkin); Jon(e) (see Jones); and Han(n) (see Hann). There were also various Middle English feminine versions of this name (e.g. Joan, Jehan), and some of these were indistinguishable from masculine forms. The distinction on grounds of gender between John and Joan was not firmly established in English until the 17th century. It was even later that Jean and Jane were specialized as specifically feminine names in English; bearers of these surnames and their derivatives are more likely to derive them from a male ancestor than a female. As a surname in the British Isles, John is particularly frequent in Wales, where it is a late formation representing Welsh Siôn rather than the older form Ieuan (which gave rise to the surname Evan). As an American family name this form has absorbed various cognates from continental European languages. (For forms, see Hanks and Hodges 1988.)
Surname or Lastname
English, French, Danish, Dutch, and German
English, French, Danish, Dutch, and German : from a short form of the personal name Matthias (see Matthew) or any of its many cognates, for example Norman French Maheu.English, French, Dutch, and German : from a nickname or personal name taken from the month of May (Middle English, Old French mai, Middle High German meie, from Latin Maius (mensis), from Maia, a minor Roman goddess of fertility). This name was sometimes bestowed on someone born or baptized in the month of May; it was also used to refer to someone of a sunny disposition, or who had some anecdotal connection with the month of May, such as owing a feudal obligation then.English : nickname from Middle English may ‘young man or woman’.Irish (Connacht and Midlands) : when not of English origin (see 1–3 above), this is an Anglicized form of Gaelic Ó Miadhaigh ‘descendant of Miadhach’, a personal name or byname meaning ‘honorable’, ‘proud’.French : habitational name from any of various places called May or Le May.Jewish (Ashkenazic) : habitational name from Mayen, a place in western Germany.Americanized spelling of cognates of 1 in various European languages, for example Swedish Ma(i)j.Chinese : possibly a variant of Mei 1, although this spelling occurs more often for the given name than for the surname.Cape May, at the mouth of Delaware Bay, is named after the Dutch explorer Cornelius Jacobsen May.
Surname or Lastname
Americanized spelling of German Ludwig, Czech LudvÃk, Polish Ludwik, or cognates in other European languages.English
Americanized spelling of German Ludwig, Czech LudvÃk, Polish Ludwik, or cognates in other European languages.English : habitational name from Ludwick Hall in Bishops Hatfield, Hertfordshire, probably named from the Old English personal name Luda + Old English wÄ«c ‘outlying (dairy) farm’.
Surname or Lastname
English
English : patronymic from Matthew. In North America, this form has assimilated numerous vernacular derivatives in other languages of Latin Mat(t)hias and Matthaeus.Irish (Ulster and County Louth) : used as an Americanized form of McMahon.
Surname or Lastname
English, German, French, Jewish (Ashkenazic), Lithuanian, Czech and Slovak (Jonáš), and Hungarian (Jónás)
English, German, French, Jewish (Ashkenazic), Lithuanian, Czech and Slovak (Jonáš), and Hungarian (Jónás) : from a medieval personal name, which comes from the Hebrew male personal name Yona, meaning ‘dove’. In the book of the Bible which bears his name, Jonah was appointed by God to preach repentance to the city of Nineveh, but tried to flee instead to Tarshish. On the voyage to Tarshish, a great storm blew up, and Jonah was thrown overboard by his shipmates to appease God’s wrath, swallowed by a great fish, and delivered by it on the shores of Nineveh. This story exercised a powerful hold on the popular imagination in medieval Europe, and the personal name was a relatively common choice. The Hebrew name and its reflexes in other languages (for example Yiddish Yoyne) have been popular Jewish personal names for generations. There are also saints, martyrs, and bishops called Jonas venerated in the Orthodox Church. Ionas is found as a Greek family name.Jewish (Ashkenazic) : respelling of Yonis, with Yiddish possessive -s.
Surname or Lastname
English
English : occupational name for a Latinist, a clerk who wrote documents in Latin, from Anglo-Norman French latinier, latim(m)ier. Latin was more or less the universal language of official documents in the Middle Ages, displaced only gradually by the vernacular—in England, by Anglo-Norman French at first, and eventually by English.
Surname or Lastname
English
English : from the male personal name Manasseh, Hebrew Menashe ‘one who causes to forget’ (see Manasse), borne in the Middle Ages by Christians as well as by Jews. Hebrew Menashe and its reflexes in other Jewish languages have always been popular among Jews.English : occupational name for someone who made handles for agricultural and domestic implements, from an agent derivative of Anglo-Norman French mance ‘handle’ (Old French manche, Late Latin manicus, a derivative of manus ‘hand’).
Surname or Lastname
English, Scottish, and northern Irish
English, Scottish, and northern Irish : patronymic from Jack 1. As an American surname this has absorbed other patronymics beginning with J- in various European languages.This extremely common British name was brought over by numerous different bearers in the 17th and 18th centuries. One forebear was the father and namesake of the seventh U.S. president, Andrew Jackson, who migrated to SC from Carrickfergus in the north of Ireland in 1765. The Confederate General Thomas ‘Stonewall’ Jackson came from VA, where his great-grandfather John, likewise of Scotch–Irish stock, had settled after emigrating to America in 1748.
Surname or Lastname
English and Scottish
English and Scottish : status name or occupational name from Middle English, Old French maresc(h)al ‘marshal’. The term is of Germanic origin (compare Old High German marah ‘horse’, ‘mare’ + scalc ‘servant’). Originally it denoted a man who looked after horses, but by the heyday of medieval surname formation it denoted on the one hand one of the most important servants in a great household (in the royal household a high official of state, one with military responsibilities), and on the other a humble shoeing smith or farrier. It was also an occupational name for a medieval court officer responsible for the custody of prisoners. An even wider range of meanings is found in some other languages: compare for example Polish Marszałek (see Marszalek). The surname is also borne by Jews, presumably as an Americanized form of one or more like-sounding Jewish surnames.As the fourth chief justice of the U.S., John Marshall (1755–1835) was the principal architect in consolidating and defining the powers of the Supreme Court. He was a descendant of John Marshall of Ireland, who settled in Culpeper Co., VA, sometime before 1655.
Surname or Lastname
English and Dutch
English and Dutch : from Latin Marcus, the personal name of St. Mark the Evangelist, author of the second Gospel. The name was borne also by a number of other early Christian saints. Marcus was an old Roman name, of uncertain (possibly non-Italic) etymology; it may have some connection with the name of the war god Mars. Compare Martin. The personal name was not as popular in England in the Middle Ages as it was on the Continent, especially in Italy, where the evangelist became the patron of Venice and the Venetian Republic, and was allegedly buried at Aquileia. As an American family name, this has absorbed cognate and similar names from other European languages, including Greek Markos and Slavic Marek.English, German, and Dutch (van der Mark) : topographic name for someone who lived on a boundary between two districts, from Middle English merke, Middle High German marc, Middle Dutch marke, merke, all meaning ‘borderland’. The German term also denotes an area of fenced-off land (see Marker 5) and, like the English word, is embodied in various place names which have given rise to habitational names.English (of Norman origin) : habitational name from Marck, Pas-de-Calais.German : from Marko, a short form of any of the Germanic compound personal names formed with mark ‘borderland’ as the first element, for example Markwardt.Americanization or shortened form of any of several like-sounding Jewish or Slavic surnames (see for example Markow, Markowitz, Markovich).Irish (northeastern Ulster) : probably a short form of Markey (when not of English origin).
Surname or Lastname
English, French, and German
English, French, and German : from the vernacular form of the Hebrew personal name Yehuda ‘Judah’ (of unknown meaning). In the Bible, this is the name of Jacob’s eldest son. It was not a popular name among Christians in medieval Europe, because of the associations it had with Judas Iscariot, the disciple who betrayed Christ for thirty pieces of silver. Among Jews, however, the Hebrew name and its reflexes in various Jewish languages (such as Yiddish Yude) have been popular for generations, and have given rise to many Jewish surnames.French : name for a Jew, Old French jude (Latin Iudaeus, Greek Ioudaios, from Hebrew Yehudi ‘member of the tribe of Judah’).English : from a pet form of Jordan.
Surname or Lastname
English and Welsh
English and Welsh : patronymic from the Middle English personal name Jon(e) (see John). The surname is especially common in Wales and southern central England. In North America this name has absorbed various cognate and like-sounding surnames from other languages. (For forms, see Hanks and Hodges 1988).
Surname or Lastname
English and French (Léonard)
English and French (Léonard) : from a Germanic personal name composed of the elements leo ‘lion’ (a late addition to the vocabulary of Germanic name elements, taken from Latin) + hard ‘hardy’, ‘brave’, ‘strong’, which was taken to England by the Normans. A saint of this name, who is supposed to have lived in the 6th century, but about whom nothing is known except for a largely fictional life dating from half a millennium later, was popular throughout Europe in the early Middle Ages and was regarded as the patron of peasants and horses.Irish (Fermanagh) : adopted as an English equivalent of Gaelic Mac Giolla Fhionáin or of Langan.Americanized form of Italian Leonardo or cognate forms in other European languages.The French Léonard family were at Château Richer, Quebec, by 1698, having come from Maine, France.
Surname or Lastname
English, French, Spanish, Portuguese, Dutch, etc.
English, French, Spanish, Portuguese, Dutch, etc. : from the Latin personal name Lucas (Greek Loukas) ‘man from Lucania’. Lucania is a region of southern Italy thought to have been named in ancient times with a word meaning ‘bright’ or ‘shining’. Compare Lucio. The Christian name owed its enormous popularity throughout Europe in the Middle Ages to St. Luke the Evangelist, hence the development of this surname and many vernacular derivatives in most of the languages of Europe. Compare Luke. This is also found as an Americanized form of Greek Loukas.Scottish : reduced Anglicized form of Gaelic Mac Lùcais (see McLucas).As a French name Lucas has been recorded in Canada since 1653, taken to Trois Rivières, Quebec, by one Lucas-Lépine from Normandy.
Surname or Lastname
English and Scottish
English and Scottish : patronymic from the personal name John. As an American family name, Johnson has absorbed patronymics and many other derivatives of this name in continental European languages. (For forms, see Hanks and Hodges 1988.)Johnson is the second most frequent surname in the U.S. It was brought independently to North America by many different bearers from the 17th and 18th centuries onward.
Surname or Lastname
English
English : patronymic from Jacob. As an American surname this name has absorbed cognates from other languages, for example Danish, Norwegian, and Dutch Jacobsen and Swedish Jacobsson.
Surname or Lastname
English
English : from a pet form of the female personal name Elizabeth. Compare Hibbs 2.English : nickname for someone with very fair hair or skin, from Middle English, Old English lilie ‘lily’ (Latin lilium). The Italian equivalent Giglio was used as a personal name in the Middle Ages. In English and other languages there has also been some confusion with forms of Giles.English : habitational name from places called Lilley, in Hertfordshire and Berkshire. The Hertfordshire place was named in Old English as ‘flax-glade’, from līn ‘flax’ + lēah ‘woodland clearing’. The Berkshire name is from Old English Lillinglēah ‘wood associated with Lilla’, an Old English personal name.
Surname or Lastname
English and French
English and French : from a Germanic personal name composed of
the elements haim, heim ‘home’ + rīc ‘power’,
‘ruler’, introduced to England by the Normans in the form
Henri. During the Middle Ages this name became enormously
popular in England and was borne by eight kings. Continental forms of
the personal name were equally popular throughout Europe (German
Heinrich, French Henri, Italian Enrico and
Arrigo, Czech Jindřich, etc.). As an American family
name, the English form Henry has absorbed patronymics and many
other derivatives of this ancient name in continental European
languages. (For forms, see Hanks and Hodges 1988.) In the period in
which the majority of English surnames were formed, a common English
vernacular form of the name was Harry, hence the surnames
Harris (southern) and Harrison (northern). Official
documents of the period normally used the Latinized form
Henricus. In medieval times, English Henry absorbed an
originally distinct Old English personal name that had hagan
‘hawthorn’. Compare Hain 2 as its first element, and there has
also been confusion with Amery.Irish : Anglicized form of Gaelic Ó hInnéirghe ‘descendant of
Innéirghe’, a byname based on éirghe
‘arising’.Irish : Anglicized form of Gaelic Mac ÉinrÃ
or Mac Einri, patronymics from the personal names
ÉinrÃ, Einri, Irish forms of Henry. It is
also found as a variant of McEnery.Jewish (American) : Americanized form of various like-sounding Ashkenazic Jewish names.A bearer of the name from the Touraine region of France is
documented in Quebec city in 1667. Another (also called
Surname or Lastname
English and Scottish
English and Scottish : from the Middle English personal name Ma(t)thew, vernacular form of the Greek New Testament name Matthias, Matthaios, which is ultimately from the Hebrew personal name Matityahu ‘gift of God’. This was taken into Latin as Mat(t)hias and Matthaeus respectively, the former being used for the twelfth apostle (who replaced Judas Iscariot) and the latter for the author of the first Gospel. In many European languages this distinction is reflected in different surname forms. The commonest vernacular forms of the personal name, including English Matthew, Old French Matheu, Spanish Mateo, Italian Matteo, Portuguese Mateus, Catalan and Occitan Mateu are generally derived from the form Matthaeus. The American surname Matthew has also absorbed European cognates from other languages, including Greek Mathias and Mattheos.It is found as a personal name among Christians in India, and in the U.S. is used as a family name among families from southern India.
Surname or Lastname
Scottish (of Norman origin)
Scottish (of Norman origin) : habitational name from any of various places in northern France named with Old Norse hagi ‘enclosure’, a word with cognates in most Germanic languages. Compare Hay.English : variant spelling of Haigh.Irish (County Cavan) : reduced Anglicized form of Gaelic Mac Thaidhg (see McCaig).
SPECIFICATION LANGUAGE
SPECIFICATION LANGUAGE
Boy/Male
Hindu, Indian, Marathi
Future
Girl/Female
Muslim
Pl of Marab, Wish
Girl/Female
Indian, Punjabi, Sikh
Glorious
Boy/Male
Hindu, Indian, Malayalam, Marathi, Sanskrit
Full of Compassion
Girl/Female
Latin
Delightful.
Boy/Male
Indian, Punjabi, Sikh
Excellence of Divine Knowledge
Boy/Male
Arabic, Muslim
Light of the Right Guidance of Allah
Boy/Male
English
Son of Dick.
Boy/Male
Australian, Hindu, Indian
Graceful
Girl/Female
Arabic
Treasure
SPECIFICATION LANGUAGE
SPECIFICATION LANGUAGE
SPECIFICATION LANGUAGE
SPECIFICATION LANGUAGE
SPECIFICATION LANGUAGE
n.
The act of speechifying.
n.
The suggestion, by objects, actions, or conditions, of ideas associated therewith; as, the language of flowers.
v. t.
To communicate by language; to express in language.
n.
The act or process of adjusting or determining; composure of doubts or differences; pacification; liquidation of accounts; arrangement; adjustment; as, settlement of a controversy, of accounts, etc.
n.
Spore formation. See Spore formation (b), under Spore.
a.
Admitting specification; capable of being specified.
n.
Grossness or clownishness of manners of language; absence of refinement; coarseness.
n.
The act of specifying or determining by a mark or limit; notation of limits.
n. pl.
A Romanic people inhabiting that part of Belgium which comprises the provinces of Hainaut, Namur, Liege, and Luxembourg, and about one third of Brabant; also, the language spoken by this people. Used also adjectively.
n.
The act or process of pacifying, or of making peace between parties at variance; reconciliation.
imp. & p. p.
of Language
n.
The act of appeasing, or the state of being appeased; pacification.
a.
Having a language; skilled in language; -- chiefly used in composition.
a.
Lacking or wanting language; speechless; silent.
n.
A written statement containing a minute description or enumeration of particulars, as of charges against a public officer, the terms of a contract, the description of an invention, as in a patent; also, a single article, item, or particular, an allegation of a specific act, as in a charge of official misconduct.
n.
The vernacular, or common language.
n.
The designation of particulars; particular mention; as, the specification of a charge against an officer.
v. t.
An accusation of a wrong of offense; allegation; indictment; specification of something alleged.
n.
The vocabulary and phraseology belonging to an art or department of knowledge; as, medical language; the language of chemistry or theology.