Find link

language:

Find link is a tool written by Edward Betts.

searching for Specification language 91 found (221 total)

alternate case: specification language

Ontology language (344 words) [view diff] no match in snippet view article find links to article

In computer science and artificial intelligence, ontology languages are formal languages used to construct ontologies. They allow the encoding of knowledge

Autonomic computing (2,213 words) [view diff] case mismatch in snippet view article find links to article

Dynamically Self Configuring Automotive Systems ASSL (Autonomic System Specification Language) : A Framework for Specification, Validation and Generation of Autonomic

SAMSON (1,055 words) [view diff] exact match in snippet view article find links to article

develop e.g., adaptive simulation algorithms. SAMSON has a node specification language (NSL) that users may employ to select data graph nodes based on

B-Method (1,623 words) [view diff] no match in snippet view article find links to article

The B method is a method of software development based on B, a tool-supported formal method based on an abstract machine notation, used in the development

Tim Shallice (491 words) [view diff] exact match in snippet view article find links to article

and Human-Computer Interaction. The project developed an existing specification language for cognitive modelling and resulted to a prototype COGENT system

Temporal logic of actions (548 words) [view diff] exact match in snippet view article find links to article

concurrent and distributed systems. It is the logic underlying the specification language TLA+. Statements in the temporal logic of actions are of the form

Executable UML (1,782 words) [view diff] case mismatch in snippet view article find links to article

Shlaer–Mellor Action Language (SMALL), Action Specification Language (ASL), Model Action Specification Language (MASL), That Action Language (TALL), Starr's

PlusCal (200 words) [view diff] exact match in snippet view article find links to article

PlusCal (formerly called +CAL) is a formal specification language created by Leslie Lamport, which transpiles to TLA+. In contrast to TLA+'s action-oriented

UsiXML (147 words) [view diff] exact match in snippet view article find links to article

language for defining user interfaces on computers. UsiXML is a specification language for user interface design. It allows the designer to describe a

MCRL2 (108 words) [view diff] exact match in snippet view article find links to article

mCRL2 is a specification language for describing concurrent discrete event systems. It is accompanied with a toolset, that facilitates tools, techniques

JSyn (191 words) [view diff] exact match in snippet view article find links to article

ancillary libraries, including JMSL (a Java update to the HMSL music specification language) and JScore (a staff notation editor and library), which adds a

Limor Fix (199 words) [view diff] exact match in snippet view article find links to article

formal specification language, ForSpec, later donated by Intel to Accellera/IEEE. ForSpec influenced the IEEE 1850-Property Specification Language standard

USB 3.0 (6,278 words) [view diff] case mismatch in snippet view article find links to article

the letters 'SS' (which stands for SuperSpeed) attached. "USB 3.1 Specification Language Usage Guidelines from USB-IF" (PDF). USB.org. USB Implementers Forum

Activity diagram (582 words) [view diff] exact match in snippet view article find links to article

Arthur H.M. Ter Hofstede. "UML activity diagrams as a workflow specification language." ≪ UML≫ 2001—The Unified Modeling Language. Modeling Languages

Nick Didkovsky (610 words) [view diff] case mismatch in snippet view article find links to article

and went on to develop a Java music API called JMSL (Java Music Specification Language). JMSL is a toolbox for algorithmic composition and performance

NONMEM (459 words) [view diff] exact match in snippet view article find links to article

models. NONMEM models are written in NMTRAN, a dedicated model specification language that is translated into FORTRAN, compiled on the fly and executed

ESC/Java (925 words) [view diff] exact match in snippet view article find links to article

ESC/Java2, an extended version of ESC/Java that processes the JML specification language through 2004. From 2004 to 2009, ESC/Java2 development was managed

JAPE (linguistics) (208 words) [view diff] case mismatch in snippet view article

natural language parsers. JAPE is a version of CPSL – Common Pattern Specification Language. A JAPE grammar consists of a set of phases, each of which consists

Jock D. Mackinlay (862 words) [view diff] exact match in snippet view article find links to article

and Hanrahan had extended Mackinlay's dissertation to a formal specification language that combines query, analysis, and visualization into a single framework

MINC (140 words) [view diff] exact match in snippet view article find links to article

MINC ("MINC is not C") is a data specification language written in the mid-1980s by a Princeton University graduate student named Lars Graf. This kind

Invariant-based programming (266 words) [view diff] exact match in snippet view article find links to article

formal semantics of program statements. A combined programming and specification language, connected to a powerful formal proof system, will generally be

Hennessy–Milner logic (647 words) [view diff] exact match in snippet view article find links to article

Holmström, Sören (1990). "Hennessy-Milner Logic with recursion as a specification language, and a refinement calculus based on it". Specification and Verification

Job Submission Description Language (280 words) [view diff] case mismatch in snippet view article find links to article

Scheduler Tivoli Workload Scheduler Resource Specification Language (See The Globus Resource Specification Language RSL v1.0) Distributed Resource Management

TimeML (939 words) [view diff] exact match in snippet view article find links to article

TimeML website, there are currently three versions of the TimeML specification language, although it is rumored that other versions exist. TimeML version

Bracket (5,753 words) [view diff] exact match in snippet view article find links to article

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

Web Services Description Language (1,251 words) [view diff] case mismatch in snippet view article find links to article

service description languages: NASSL (Network Application Service Specification Language) from IBM and SDL (Service Description Language) from Microsoft

Murφ (641 words) [view diff] exact match in snippet view article find links to article

and Han Yang, and primarily implemented by Andreas Drexler. The specification language was extensively modified and extended by David Dill, Alan Hu, C

the behavior of a digital synchronous circuit. It is said to be a specification language for this reason. Register Transfer Languages (or RTL, where the

Larry Polansky (403 words) [view diff] case mismatch in snippet view article find links to article

(a composers' collective). He co-wrote HMSL (Hierarchical Music Specification Language) with Phil Burk and David Rosenboom. There are several recordings

List of programming languages by type (6,754 words) [view diff] case mismatch in snippet view article find links to article

imperative programming) Curry Cypher Datalog Distributed Application Specification Language (DASL) (combine declarative programming and imperative programming)

Auction software (1,196 words) [view diff] exact match in snippet view article find links to article

Zhang, Dongmo (2009). From general game descriptions to a market specification language for general trading agents [Agent-mediated electronic commerce.

Daniel Gajski (446 words) [view diff] case mismatch in snippet view article find links to article

D. D. Gajski, J. Zhu, R. Doemer, A. Gerstlauer, S. Zhao, SpecC: Specification Language and Methodology, Japanese Edition, CQ Publishing, Japan, ISBN 4-7898-3353-4

Gray-box testing (1,036 words) [view diff] exact match in snippet view article find links to article

program is tested by using the assertion method. A requirement specification language is used to make it easy to understand the requirements and verify

Declarative programming (2,373 words) [view diff] exact match in snippet view article find links to article

include the yacc parser generator input language, QML, the Make build specification language, Puppet's configuration management language, regular expressions

Sonification (3,486 words) [view diff] exact match in snippet view article find links to article

and semantics of LSL: A specification language for program auralization, D. Boardman and AP Mathur, 1993. A specification language for program auralization

DMS Software Reengineering Toolkit (903 words) [view diff] case mismatch in snippet view article find links to article

surface-syntax conditioned by any extracted program facts, using DMS's Rule Specification Language (RSL). The rewrite rule engine supporting RSL handles associative

OpenType (6,222 words) [view diff] no match in snippet view article find links to article

tag, added by Microsoft for Cambria Math, has been added to the specification. Language system tags identify the language systems supported in an OpenType

Bertrand Meyer (1,187 words) [view diff] exact match in snippet view article find links to article

collaboration with Jean-Raymond Abrial and Steven Schuman) of the Z specification language. His establishment of the connection between object-oriented programming

Eclipse Che (1,295 words) [view diff] case mismatch in snippet view article find links to article

February 2024. https://microsoft.github.io/language-server-protocol/specification Language Server Protocol(LSP) http://www.eclipse.org/che/features/ Eclipse

Session Initiation Protocol (3,366 words) [view diff] exact match in snippet view article find links to article

to test interoperability of SIP implementations. The TTCN-3 test specification language, developed by a task force at ETSI (STF 196), is used for specifying

Bernd Krämer (1,242 words) [view diff] case mismatch in snippet view article find links to article

Scheepstra (1993) Concepts, Syntax and Semantics of SEGRAS. A Specification Language for Distributed Systems(Oldenbourg) by Bernd J. Krämer (1989) 2018

Jan Bergstra (898 words) [view diff] exact match in snippet view article find links to article

In cooperation with Paul Klint and Jan Heering he designed the specification language ASF (in 1984) and the related ToolBus coordination language and

Regular expression (8,860 words) [view diff] exact match in snippet view article find links to article

ANSI "GCA 101-1983") consolidated. The kernel of the structure specification language standards consists of regexes. Its use is evident in the DTD element

Rocq (1,884 words) [view diff] exact match in snippet view article find links to article

can be extended by way of a plug-in mechanism. Rocq provides a specification language called Gallina. Programs written in Gallina have the weak normalization

DASL (58 words) [view diff] case mismatch in snippet view article find links to article

mean: Datapoint's Advanced Systems Language Distributed Application Specification Language, developed by Sun Microsystems DAV Searching and Locating, a WebDAV

USB hub (2,616 words) [view diff] case mismatch in snippet view article find links to article

stands for SuperSpeed) attached. [verification needed] "USB 3.1 Specification Language Usage Guidelines from USB-IF" (PDF). Archived from the original

List of Eclipse projects (1,532 words) [view diff] exact match in snippet view article find links to article

Application Platform. The JMLSpecs Project adds support for the JML specification language to the Java features provided by the JDT. The project currently

Jade (disambiguation) (857 words) [view diff] case mismatch in snippet view article

(DSSSL processor), a processor for the Document Style Semantics and Specification Language (DSSSL) JADE (planning system) (Joint Assistant for Development

ATLAS Transformation Language (843 words) [view diff] exact match in snippet view article find links to article

metamodel MMb.km3. The KM3 notation is a simple and neutral metamodel specification language. The ATL program itself (T1.atl here) is also a model, so it conforms

Georgios Magklaras (1,340 words) [view diff] case mismatch in snippet view article find links to article

security researchers. His work on the Insider Threat Prediction and Specification Language (ITPSL) forms the only known XML based DSL language that attempts

Attribute grammar (1,204 words) [view diff] exact match in snippet view article find links to article

SourceForge repository.) Silver is an extensible attribute grammar specification language and system from University of Minnesota. (See also the GitHub repository

General-purpose language (255 words) [view diff] exact match in snippet view article find links to article

Retrieved April 6, 2020. Mallet, Frédéric (2008). "Clock constraint specification language: specifying clock constraints with UML/MARTE" (PDF). Innovations

Linux Foundation (3,589 words) [view diff] exact match in snippet view article find links to article

TLA+ Foundation manages the development of TLA+. TLA+ is a formal specification language for modeling programs and systems, especially concurrent and distributed

Standard Portable Intermediate Representation (1,415 words) [view diff] no match in snippet view article find links to article

Visual Studio". saschawillems.de. Retrieved 24 June 2022. "SPIR-V Specification: Language Capabilities". khronos.org. Retrieved 24 June 2022. "OpenGL / OpenGL

ISO/TC 184/SC 4 (237 words) [view diff] exact match in snippet view article find links to article

18629, Industrial automation systems and integration — Process specification language (PSL) Standards and projects under the direct responsibility of

PForth (208 words) [view diff] case mismatch in snippet view article find links to article

HForth, which was used in connection with the Hierarchical Music Specification Language, a music experimentation language developed by Phil Burk, Larry

Brian Reid (computer scientist) (1,936 words) [view diff] case mismatch in snippet view article

University Digital Equipment Corporation Google Thesis Scribe: A Document Specification Language and its Compiler (1980) Doctoral advisor Bob Sproull

Fuzzy logic (6,598 words) [view diff] exact match in snippet view article find links to article

operators. The IEEE 1855, the IEEE STANDARD 1855–2016, is about a specification language named Fuzzy Markup Language (FML) developed by the IEEE Standards

Scribe (markup language) (1,124 words) [view diff] case mismatch in snippet view article

2010-04-12. Reid's 1980 doctoral dissertation, "Scribe: A Document Specification Language and its Compiler". (Note: As of April 2014[update], missing the

Enterprise interoperability (826 words) [view diff] exact match in snippet view article find links to article

CEN-ISO WD 19440—Constructs for Enterprise Modeling ISO 18629—Process specification language ISO/IEC 15414—ODP Reference Model—Enterprise Language In addition

Language interoperability (650 words) [view diff] case mismatch in snippet view article find links to article

won't be modified. Foreign function interface Language-independent specification Language binding Glue language API reuse JVM languages CLI Languages SWIG

Temporal annotation (563 words) [view diff] exact match in snippet view article find links to article

the Corpus Linguistics Conference. Pustejovsky et al. (2005), The specification language TimeML, in 'The Language of Time'. ISBN 9780199268542. UzZaman,

MINC (disambiguation) (120 words) [view diff] exact match in snippet view article

free dictionary. Minc, MINC, or MinC may refer to: MINC, a data specification language. MinC, one of three proteins encoded by the minB operon Alain Minc

Rhythmicon (1,654 words) [view diff] case mismatch in snippet view article find links to article

Didkovsky designed and programmed a virtual Rhythmicon using Java Music Specification Language and JSyn. Edmund Eagan also created a Cowell Triangles preset for

GrammaTech (894 words) [view diff] exact match in snippet view article find links to article

ISBN 0897913299. The RAISE Language Group, CORPORATE (1993). The RAISE specification language. Upper Saddle River, NJ: Prentice-Hall, Inc. ISBN 978-0-13-752833-2

Control flow (6,038 words) [view diff] exact match in snippet view article find links to article

control. a Requires Java Modeling Language (JML) behavioral interface specification language. a Requires loop variants to be integers; transfinite variants are

Per Brinch Hansen (4,443 words) [view diff] exact match in snippet view article find links to article

As with the RC 4000 project, Edison was also used as a formal specification language for the hardware. Mostek got an initial 4-node multiprocessor working

Dines Bjørner (685 words) [view diff] exact match in snippet view article find links to article

University of Denmark Known for Vienna Development Method, RAISE specification language Awards Order of the Dannebrog (1985); FME Fellowship (2021); IFIP

SPARK (programming language) (1,478 words) [view diff] exact match in snippet view article

Wayback Machine UK's Safety-Critical Systems Club Comparison with a C specification language (Frama C) Tokeneer Project Page Muen Kernel Public Release LifeFlow

Separation of mechanism and policy (1,100 words) [view diff] exact match in snippet view article find links to article

mechanism could be designed to include an interpreter for a new policy specification language. In both cases, the systems are usually accompanied by a deferred

Rosetta (disambiguation) (463 words) [view diff] exact match in snippet view article

software from the Ex Libris Group Rosetta-lang, a system-level specification language Rosetta Biosoftware, a subsidiary of Merck & Co. Rosetta Genomics

Cosmos DB (2,164 words) [view diff] exact match in snippet view article find links to article

consistency levels have been specified and verified using the TLA+ specification language, with the TLA+ model being open-sourced on GitHub. Cosmos DB's original

General game playing (3,028 words) [view diff] exact match in snippet view article find links to article

Zhang, Dongmo (2009). From general game descriptions to a market specification language for general trading agents [Agent-mediated electronic commerce.

Michael Spivey (228 words) [view diff] case mismatch in snippet view article find links to article

programming. He wrote an Oberon-2 compiler. Understanding Z: A Specification Language and its Formal Semantics, Cambridge University Press, Cambridge

Device driver synthesis and verification (3,034 words) [view diff] case mismatch in snippet view article find links to article

the drivers for each API are specified in a C like language SLIC (Specification Language for Interface Checking). The analysis engine finds all paths which

NEST (software) (1,270 words) [view diff] exact match in snippet view article

still used internally. At the same time, the simulator independent specification language PyNN was developed with support for NEST. In 2012, the NEST Initiative

Martin Henson (computer scientist) (815 words) [view diff] exact match in snippet view article

specification theories, developing the specification logic nuZ – a Z-like specification language with a monotonic schema calculus. This was first presented in a

Computation tree logic (2,913 words) [view diff] exact match in snippet view article find links to article

and many of the most successful model-checking tools use CTL as a specification language. The language of well-formed formulas for CTL is generated by the

Artifact-centric business process model (1,521 words) [view diff] exact match in snippet view article find links to article

artifact-centric process model can be found in. Gerede and Su developed a specification language ABSL to specify artifact behaviours in artifact-centric process

Ronald Stamper (1,291 words) [view diff] exact match in snippet view article find links to article

S., Mason, P. & Stamper, R. K. (1979). "LEGOL 2.0: A relational specification language for complex rules." Information Systems 4(4) 1979, pp 293–305. Stamper

SequenceL (2,395 words) [view diff] exact match in snippet view article find links to article

Primary funding was from NASA, which originally wanted to develop a specification language which was "self-verifying"; that is, once written, the requirements

PackML (1,616 words) [view diff] exact match in snippet view article find links to article

International Electrotechnical Commission IEC 60848: 2002, GRAFCET specification language for sequential function charts IEC 60050-351: 2006, International

BEAST 2 (589 words) [view diff] exact match in snippet view article find links to article

Fábio K.; Xie, Dong (2023). "LinguaPhylo: A probabilistic model specification language for reproducible phylogenetic analyses". PLOS Computational Biology

DDC-I (4,125 words) [view diff] case mismatch in snippet view article find links to article

Technologies – Ada-Europe '99. pp. 52–63. George, Chris. "The RAISE Specification Language: A Tutorial". VDM '91: Formal Software Development Methods: 4th

User interface modeling (1,219 words) [view diff] exact match in snippet view article find links to article

UsiXML (USer Interface eXtensible Markup Language) is an XML-based specification language for user interface design. It supports the description of UI for

Logic Programming Associates (1,359 words) [view diff] case mismatch in snippet view article find links to article

data-driven procedures. Flex has its own English-like Knowledge Specification Language (KSL) which means that knowledge and rules are defined in an easy-to-read

Toi (programming language) (1,822 words) [view diff] no match in snippet view article

2016-10-24. Retrieved 2016-10-23. "bannana/language". GitHub. 17 February 2021. "SPECIFICATION - language - some fools attempt at an interpreted language".

Information security indicators (638 words) [view diff] case mismatch in snippet view article find links to article

Management Architecture (IMA) and CSlang - A Common ISI Semantics Specification Language (2019-02) [7] ETSI GS ISI 007 (V1.1.1): Guidelines for building

Susan Stepney (563 words) [view diff] exact match in snippet view article find links to article

Representation of Activity, Interconnection and Loading. She used the Z specification language to develop a framework for an access control system that allowed

C Sharp syntax (10,557 words) [view diff] exact match in snippet view article find links to article

the standard implementation from Microsoft. It extends C# with specification language features and is a possible future feature to the C# language. It

Semantic Web Services Language (2,289 words) [view diff] exact match in snippet view article find links to article

ISBN 9780470464953. Shin, Kang; Kiskis (1994). "SWSL: a synthetic workload specification language for real-time systems". IEEE Transactions on Software Engineering