Find link

language:

Find link is a tool written by Edward Betts.

searching for Formal specification 158 found (288 total)

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

series of video codecs developed by On2 Technologies. There is no formal specification for the VP3 bitstream format beyond the VP3 source code published

Kent Beck (629 words) [view diff] exact match in snippet view article find links to article

programming, a software development methodology that eschews rigid formal specification for a collaborative and iterative design process. Beck was one of

Robert Bruce Findler (347 words) [view diff] exact match in snippet view article find links to article

of the report. The appendix plays the same role as Standard ML's formal specification (Milner, Tofte, Harper, MacQueen) but is executable and thus can

Dansk Datamatik Center (3,636 words) [view diff] exact match in snippet view article find links to article

the formal specification and compilation of the CHILL programming language for use in telecommunication switches. The second involved the formal specification

Business rule (1,288 words) [view diff] no match in snippet view article find links to article

A business rule defines or constrains some aspect of a business. It may be expressed to specify an action to be taken when certain conditions are true

Semantic data model (1,481 words) [view diff] exact match in snippet view article find links to article

of database systems. An SDM database description can serve as a formal specification and documentation tool for a database; it can provide a basis for

Haskell (4,584 words) [view diff] exact match in snippet view article find links to article

focus the efforts of the initial Haskell working group. The last formal specification of the language was made in July 2010, while the development of GHC

Exploratory programming (238 words) [view diff] exact match in snippet view article find links to article

development projects, it makes sense to do a requirements analysis and a formal specification. For other software development projects, it makes sense to let the

PHPDoc (172 words) [view diff] exact match in snippet view article find links to article

13, 2013 the PHP Framework Interoperability Group began writing a formal specification (PSR) for PHPDoc. /** * Get all image nodes. * * @param \DOMNode

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

defined for RIFF in version 1.0, the chunk was not referenced in the formal specification of a WAV file. Many readers had trouble processing this. Consequently

Multiscale Electrophysiology Format (268 words) [view diff] exact match in snippet view article find links to article

(0xEB31D82E), which has a Hamming distance of from 4 to 114 kbits. A formal specification and source code are available online. MEF_import is an EEGLAB plugin

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

Yacc to create a formal specification of C++, but "was defeated by C's syntax". While finding it unsuitable for a formal specification of the language

Skyline operator (835 words) [view diff] no match in snippet view article find links to article

The skyline operator is the subject of an optimization problem and computes the Pareto optimum on tuples with multiple dimensions. This operator is an

Hartmut Ehrig (710 words) [view diff] exact match in snippet view article find links to article

computer scientist and professor of theoretical computer science and formal specification. He was a pioneer in algebraic specification of abstract data types

Image schema (2,346 words) [view diff] no match in snippet view article find links to article

An image schema (both schemas and schemata are used as plural forms) is a recurring structure within our cognitive processes which establishes patterns

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

guidance for use." was first published by BSI Group in 1999 as a formal specification supporting conformity assessment and certification. BS 7799-2 explained

Gödel machine (1,340 words) [view diff] exact match in snippet view article find links to article

Gödel machine is often compared with Marcus Hutter's AIXI, another formal specification for an artificial general intelligence. Schmidhuber points out that

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

1994 she joined Intel in Israel. Limor led the development of a new formal specification language, ForSpec, later donated by Intel to Accellera/IEEE. ForSpec

Syntropy (software) (217 words) [view diff] exact match in snippet view article

favoured by the market but lacked rigour, Syntropy adopted ideas from formal specification languages, specifically Z notation, to provide tools for both precise

Internet protocol suite (6,846 words) [view diff] no match in snippet view article find links to article

The Internet protocol suite, commonly known as TCP/IP, is a framework for organizing the communication protocols used in the Internet and similar computer

NetWeaver Developer (2,031 words) [view diff] exact match in snippet view article find links to article

of the more central concepts is that a knowledgebase provides a formal specification for interpreting information. Formal in this context means that the

Martin Henson (computer scientist) (815 words) [view diff] case mismatch in snippet view article

2003. In Dines Bjørner (editor), special issue on The Logics of Formal Specification Languages. Martin C. Henson, Besnik Kajtazi and Moshe Deutsch, The

Communication protocol (8,231 words) [view diff] no match in snippet view article find links to article

A communication protocol is a system of rules that allows two or more entities of a communications system to transmit information via any variation of

Geoff Sutcliffe (328 words) [view diff] exact match in snippet view article find links to article

Theorem Provers (TPTP) problem library, and of the TPTP language for formal specification of Automated theorem proving problems and solutions. Since 1996 he

Fast Infoset (934 words) [view diff] exact match in snippet view article find links to article

misconception is that FI requires ASN.1 tool support. Although the formal specification uses ASN.1 notation, the standard includes Encoding Control Notation

Exterior Gateway Protocol (154 words) [view diff] case mismatch in snippet view article find links to article

Updated by RFC 904. D. Mills (April 1984). Exterior Gateway Protocol Formal Specification. Network Working Group. doi:10.17487/RFC0904. RFC 904. Status Unknown

European Master Program in Computational Logic (367 words) [view diff] exact match in snippet view article find links to article

representation and reasoning, ontologies, artificial intelligence, formal specification and verification, logic and computability. This basic knowledge is

Catalysis software design method (281 words) [view diff] exact match in snippet view article find links to article

focuses on how to make precise abstractions, and emphasizes the formal specification of use cases using pre- and postconditions and ‘guarantees’ clauses

BED (file format) (1,495 words) [view diff] exact match in snippet view article

had already become a de facto standard in bioinformatics before a formal specification was written. One of the advantages of this format is the manipulation

Encoding Control Notation (2,423 words) [view diff] exact match in snippet view article find links to article

Specification of Encoding Control Notation (ECN). ECN supports the formal specification of non-standard encoding rules for ASN.1 type definitions, and is

Cleanroom software engineering (481 words) [view diff] exact match in snippet view article find links to article

process is carried out as a statistical experiment. Based on the formal specification, a representative subset of software input/output trajectories is

Jonathan Bowen (1,351 words) [view diff] case mismatch in snippet view article find links to article

Series in Computer Science, 1995. ISBN 0-13-366949-1. Bowen, J.P., Formal Specification and Documentation using Z: A Case Study Approach. International Thomson

IP-XACT (899 words) [view diff] exact match in snippet view article find links to article

net names in the interface to the names used in a corresponding formal specification of the port. A simple wiring tool will use the signal map to know

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

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

TOML (573 words) [view diff] exact match in snippet view article find links to article

syntax somewhat resembles that of .INI files, but it includes a formal specification, whereas the INI file format suffers from many competing variants

File format (4,563 words) [view diff] exact match in snippet view article find links to article

trade secrets, and partly because other developers never author a formal specification document, letting precedent set by other already existing programs

Relational transducer (537 words) [view diff] no match in snippet view article find links to article

Relational transducers are a theoretical model for studying computer systems through the lens of database relations. This model extends the transducer

Table (information) (1,461 words) [view diff] exact match in snippet view article

2012. Breen, Michael (2005). "Experience of using a lightweight formal specification method for a commercial embedded system product line" (PDF). Requirements

Input/output automaton (3,626 words) [view diff] no match in snippet view article find links to article

Input/output automata provide a formal model, applicable in describing most types of an asynchronous concurrent system. On its own, the I/O automaton model

Flag of Vanuatu (546 words) [view diff] exact match in snippet view article find links to article

of the Parliament of Vanuatu. The government does not publish a formal specification sheet on its website. The construction sheet shown below is based

John Barnes (author) (806 words) [view diff] exact match in snippet view article

reliability theory, sentiment analysis, statistical semiotics, and formal specification. Barnes's hometown is Bowling Green, Ohio. Barnes earned a B.A. degree

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

Then the code can be parsed and interpreted by a machine. Several formal specification languages include set theory notation using special characters. Examples

Programming language specification (1,729 words) [view diff] exact match in snippet view article find links to article

are still occasionally implemented and gain popularity without a formal specification: an implementation is essential for use, while a specification is

Distributed multi-agent reasoning system (210 words) [view diff] case mismatch in snippet view article find links to article

d'Inverno, David Kinny, Michael Luck, and Michael Wooldridge. "A Formal Specification of dMARS". In Proceedings of the Fourth International Workshop on

Programming language theory (1,613 words) [view diff] exact match in snippet view article find links to article

theory, category theory, and set theory. Formal semantics is the formal specification of the behaviour of computer programs and programming languages.

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

references to commits, issues, usernames, etc. In 2017, GitHub released a formal specification of its GitHub Flavored Markdown (GFM) that is based on CommonMark

Rack unit (1,011 words) [view diff] exact match in snippet view article find links to article

on the rails and allows for more flexibility. Whereas there is no formal specification for "half rack", the term half-rack can have different separate meanings:

State-transition table (781 words) [view diff] exact match in snippet view article find links to article

methodology Breen, Michael (2005), "Experience of using a lightweight formal specification method for a commercial embedded system product line" (PDF), Requirements

GXL (805 words) [view diff] case mismatch in snippet view article find links to article

(Department of Computer Science III) TU Berlin, Germany (Theoretical CS/Formal Specification Group) University of Berne, Switzerland (Software Composition Group)

IEEE 802.20 (2,022 words) [view diff] exact match in snippet view article find links to article

approved by IEEE Standards Board on December 11, 2002, to prepare a formal specification for a packet-based air interface designed for Internet Protocol-based

Reward hacking (1,512 words) [view diff] exact match in snippet view article find links to article

when an AI optimizes an objective function—achieving the literal, formal specification of an objective—without actually achieving an outcome that the programmers

Semantics of Business Vocabulary and Business Rules (2,611 words) [view diff] exact match in snippet view article find links to article

standard format and perform final editing prior to release as an OMG formal specification. In January 2008, the finalization phase was completed and the Semantics

Presentation–abstraction–control (838 words) [view diff] exact match in snippet view article find links to article

15–32. Markopoulos, Panagiotis (1997). A compositional model for the formal specification of user interface software (PDF). PhD thesis, Queen Mary and Westfield

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

for ARPANET in 1969. Initially, it was an ad hoc protocol with no formal specification, but after extensive work in the 1970s, including numerous RFCs,

S-100 bus (2,110 words) [view diff] exact match in snippet view article find links to article

As the S-100 bus gained momentum, there was a need to develop a formal specification of the bus to help assure compatibility of products produced by different

Test Anything Protocol (453 words) [view diff] exact match in snippet view article find links to article

distribution and is used in the system's regression test suite. A formal specification for this protocol exists in the TAP::Spec::Parser and TAP::Parser::Grammar

Michael Everson (1,726 words) [view diff] exact match in snippet view article find links to article

specification and implemented a set of modifications to it, publishing a formal specification in 2012. As of March 2014[update] Everson operates a publishing company

ARINC 429 (1,880 words) [view diff] exact match in snippet view article find links to article

specification, each manufacturer has slight differences from the formal specification, such as by providing extra data above and beyond the specification

Composability (345 words) [view diff] exact match in snippet view article find links to article

understood as the purposeful abstraction of reality, resulting in the formal specification of a conceptualization and underlying assumptions and constraints

Dot-decimal notation (1,150 words) [view diff] exact match in snippet view article find links to article

number is represented in hexadecimal notation as 0x7F000001. No formal specification of this textual IP address representation exists. The first mention

International Conference on Formal Techniques for Networked and Distributed Systems (427 words) [view diff] exact match in snippet view article find links to article

encouraged. This conference covers distributed computing models and formal specification, testing and verification methods. The application domains include

John Guttag (617 words) [view diff] case mismatch in snippet view article find links to article

Guttag, J. V.; Horning, J. J. (eds.). Larch: Languages and Tools for Formal Specification. Springer-Verlag. doi:10.1007/978-1-4612-2704-5. ISBN 978-1-4612-7636-4

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

joined and coordinated the many OAuth contributions creating a more formal specification. On 4 December 2007, the OAuth Core 1.0 final draft was released

Low-level programming language (1,655 words) [view diff] exact match in snippet view article find links to article

were write assemblers. Assembly language has little semantics or formal specification, being only a mapping of human-readable symbols, including symbolic

Federated VoIP (499 words) [view diff] exact match in snippet view article find links to article

concept of a centralized system of post offices. Although there is no formal specification for federated VoIP as a whole, the Session Initiation Protocol (SIP)

On the Cruelty of Really Teaching Computer Science (544 words) [view diff] exact match in snippet view article find links to article

adopted Dijkstra's recommendations. The focus of these programs is the formal specification of software requirements and design in order to facilitate the formal

Necessity and sufficiency (2,394 words) [view diff] case mismatch in snippet view article find links to article

ISBN 0-86377-708-2. Asnina, Erika; Osis, Janis & Jansone, Asnate (2013). "Formal Specification of Topological Relations". Databases and Information Systems VII

Fairbairn–Sykes fighting knife (2,013 words) [view diff] exact match in snippet view article find links to article

1943) the knife was being produced by several manufacturers. No formal specification existed until after the war, but the 1949 UK government specification

Prentice Hall International Series in Computer Science (446 words) [view diff] case mismatch in snippet view article find links to article

ISBN 0-13-651274-7. B. Potter, J. Sinclair and D. Till, An Introduction to Formal Specification and Z, 2nd edition, 1996. ISBN 0-13-242207-7. A. W. Roscoe (ed.)

Data type (3,407 words) [view diff] exact match in snippet view article find links to article

not specify the concrete representation of the data. Instead, a formal specification based on the data type's operations is used to describe it. Any implementation

Unified Modeling Language (2,974 words) [view diff] exact match in snippet view article find links to article

usage of its features. Although UML 2.1 was never released as a formal specification, versions 2.1.1 and 2.1.2 appeared in 2007, followed by UML 2.2 in

Simple API for XML (1,656 words) [view diff] exact match in snippet view article find links to article

implementation of SAX is considered to be normative since there is no formal specification. SAX processes documents state-independently, in contrast to DOM

Enterprise Collaboration Architecture (522 words) [view diff] exact match in snippet view article find links to article

Responsible party Performer Artifact The ECA does not require the formal specification of services contracts for performers, but in most cases this would

Isabelle (proof assistant) (1,290 words) [view diff] exact match in snippet view article

the main theorem states that the C code correctly implements the formal specification of the kernel. The proof uncovered 144 bugs in an early version of

HOL (proof assistant) (749 words) [view diff] exact match in snippet view article

special support grounded in HOL for working with the Z notation for formal specification. The tool PPDaz supporting specification and verification of programs

Institute for System Programming (622 words) [view diff] exact match in snippet view article find links to article

Department : The main direction is creation of tools supporting formal specification and modeling languages and easing the development process. Software

Boeing B-29 Superfortress (10,142 words) [view diff] exact match in snippet view article find links to article

funds as a private venture. In December 1939, the Air Corps issued a formal specification for a so-called "superbomber" that could deliver 20,000 lb (9,100 kg)

Ready-mix concrete (2,638 words) [view diff] exact match in snippet view article find links to article

weight or volume (1-2-4 or 1-3-6 being common mixes) or using the formal specification standards of the European standard EN 206+ A1, which is supplemented

Proof assistant (1,206 words) [view diff] exact match in snippet view article find links to article

extracts a certified program from the constructive proof of its formal specification. HOL theorem provers – A family of tools ultimately derived from

ISO/IEC JTC 1/SC 22 (1,135 words) [view diff] case mismatch in snippet view article find links to article

Interface Management System) Disbanded ISO/IEC JTC 1/SC 22/WG 19 Formal Specification Languages Disbanded ISO/IEC JTC 1/SC 22/WG 20 Internationalization

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

release of libtheora, Theora's reference implementation. There is no formal specification for VP3's bitstream format beyond the VP3 source code published by

Dining philosophers problem (2,733 words) [view diff] exact match in snippet view article find links to article

threads (cbthreads) at the Wayback Machine (archived March 4, 2012) Formal specification of the Chandy-Misra solution written in TLA+ Distributed symmetric

Requirements Interchange Format (800 words) [view diff] exact match in snippet view article find links to article

In April 2011, the version 1.0.1 of ReqIF was adopted by OMG as a formal specification (OMG Document Number: formal/2011-04-02). In October 2013, version

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

as VLC media player, iTunes, Winamp, and many others. There is no formal specification for the M3U format; it is a de facto standard. An M3U file is a plain

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

length with run-length encoding and additional Huffman coding. No formal specification for bzip2 exists, although an informal specification has been reverse

Cliff Jones (computer scientist) (664 words) [view diff] case mismatch in snippet view article

Science, Volume 177, Springer-Verlag. ISBN 3-540-13378-X (1984). Formal Specification and Software Development, Bjørner, D. and Jones, C.B. Prentice Hall

Domain-specific language (3,812 words) [view diff] case mismatch in snippet view article find links to article

requirements" (PDF). Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques. IEEE. pp. 12–13. doi:10.1109/WIFT.1998.766290. ISBN 0-7695-0081-1

Lightweight Directory Access Protocol (4,752 words) [view diff] exact match in snippet view article find links to article

in LDAP Version 2 (LDAPv2) but it was never standardized in any formal specification. This usage has been deprecated along with LDAPv2, which was officially

LASCNN algorithm (480 words) [view diff] exact match in snippet view article find links to article

Ahmad Zafar, Muhammad Imran, Sana Ullah, and Mahmoud S. Fayed. "Formal specification and validation of a localized algorithm for segregation of critical/noncritical

Tony Hoare (2,222 words) [view diff] exact match in snippet view article find links to article

years under his leadership, Hoare's Oxford department worked on formal specification languages such as CSP and Z. These did not achieve the expected take-up

Jeannette Wing (907 words) [view diff] case mismatch in snippet view article find links to article

Guttag, J. V.; Horning, J. J. (eds.). Larch: Languages and Tools for Formal Specification. Springer-Verlag. CiteSeerX 10.1.1.137.5123. doi:10.1007/978-1-4612-2704-5

Ken Robinson (computer scientist) (610 words) [view diff] case mismatch in snippet view article

Jonathan P.; Henson, Martin C.; Robinson, Ken, eds. (2002). ZB 2002: Formal Specification and Development in Z and B. Lecture Notes in Computer Science. Vol

Interlinear gloss (3,098 words) [view diff] exact match in snippet view article find links to article

indicate the start and end of interlinear glosses. Though there is no formal specification for the IGT format, the Leipzig Glossing Rules are a set of guidelines

Erik Proper (1,328 words) [view diff] exact match in snippet view article find links to article

Conceptual Modelling of Evolving Application Domains," Proper developed a formal specification of information system development. This specification was based Object-role

Trusted Computer System Evaluation Criteria (2,124 words) [view diff] case mismatch in snippet view article find links to article

formal top-level specification or formal lower-level specifications. Formal Specification and Verification is where the TCB is verified down to the source

Single UNIX Specification (3,853 words) [view diff] exact match in snippet view article find links to article

Foundation (OSF) Interfaces found in common use and not yet covered by a formal specification, drawn from a survey of major applications. In 1996, X/Open merged

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

Science, An EATCS Series, Springer-Verlag. ISBN 3-540-21151-9 (2006). Formal Specification and Software Development, Bjørner, D. and Jones, C.B. Prentice Hall

SAE J300 (1,797 words) [view diff] exact match in snippet view article find links to article

26 for "automobile engine light lubricating oil", the first such formal specification. H. C. Dickinson, of the Bureau of Standards, similarly tried very

Unison (software) (706 words) [view diff] exact match in snippet view article

Pierce, Benjamin C., and Jérôme Vouillon. "What's in Unison? A formal specification and reference implementation of a file synchronizer." Technical Reports

Interaction Flow Modeling Language (1,057 words) [view diff] exact match in snippet view article find links to article

benefits to the development of application front-ends: It supports the formal specification of the front-end from different perspectives: interface composition

Abstract data type (4,305 words) [view diff] exact match in snippet view article find links to article

can be regarded as an implementation of the abstract list. In a formal specification language, ADTs may be defined axiomatically, and the language then

Key Management Interoperability Protocol (1,698 words) [view diff] exact match in snippet view article find links to article

KMIP products in this list. The KMIP standard is defined using a formal specification document, test cases, and profiles put forth by the OASIS KMIP technical

Code property graph (1,434 words) [view diff] exact match in snippet view article find links to article

Java, Golang, Python, TypeScript and LLVM-IR. It also includes a formal specification of the graph and its various node types. Furthermore, it provides

RV-C (566 words) [view diff] exact match in snippet view article find links to article

developed by the Recreational Vehicle Industry Association. The first formal specification was approved in 2005, and the first RV-C products were marketed at

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

mathematical proof that the kernel's implementation is consistent with its formal specification. This provides a guarantee that the properties proved about the API

HTTP cookie (10,943 words) [view diff] exact match in snippet view article find links to article

was already ongoing. In particular, the first discussions about a formal specification started in April 1995 on the www-talk mailing list. A special working

Kristin Yvonne Rozier (413 words) [view diff] exact match in snippet view article find links to article

Award of Women in Aerospace, "for exemplary achievement of formal specification, verification and validation of a NextGen air traffic control system

List of model checking tools (1,199 words) [view diff] exact match in snippet view article find links to article

Language Of Temporal Ordering Specification (ISO standard 8807); formal specification language based on temporal ordering used for protocol specification

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

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

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

(11): 777–793, doi:10.1109/32.553698. Information Technology — Z Formal Specification Notation — Syntax, Type System and Semantics (1 MB PDF), 2002, pp

WordNet (4,695 words) [view diff] exact match in snippet view article find links to article

retrieval) simply reuse it directly. WordNet has also been converted to a formal specification, by means of a hybrid bottom-up top-down methodology to automatically

Ontology (information science) (6,194 words) [view diff] exact match in snippet view article

specification of a conceptualization: An ontology is a description (like a formal specification of a program) of the concepts and relationships that can formally

Mahmoud Samir Fayed (1,177 words) [view diff] exact match in snippet view article find links to article

Technology E-ISSN 0976-3945 Alnuem, Zafar, Imran, Sana, and Fayed. "Formal specification and validation of a localized algorithm for segregation of critical/noncritical

Future of mathematics (1,959 words) [view diff] exact match in snippet view article find links to article

though, is that combinatorics will continue to elude attempts at formal specification. Béla Bollobás writes: "Hilbert, I think, said that a subject is

Epigram (programming language) (949 words) [view diff] exact match in snippet view article

value(s) depended upon may be of any valid type.) A sample of the new formal specification capabilities dependent types bring may be found in The Epigram Tutorial

Usenet (8,838 words) [view diff] exact match in snippet view article find links to article

client-server application, much like an email reader. RFC 850 was the first formal specification of the messages exchanged by Usenet servers. It was superseded by

Modeling and simulation (2,638 words) [view diff] exact match in snippet view article find links to article

understood as the purposeful abstraction of reality, resulting in the formal specification of a conceptualization and underlying assumptions and constraints

Flag of the United States (16,912 words) [view diff] exact match in snippet view article find links to article

of Standards in 1946, with the resulting coordinates adopted as a formal specification. These colors form the standard for cloth, and there is no perfect

Rebeca (programming language) (252 words) [view diff] case mismatch in snippet view article

reduction. Formal methods Model checking SPIN model checker M. Sirjani. Formal Specification and Verification of Concurrent and Reactive Systems, PhD Thesis,

Modula-3 (3,949 words) [view diff] case mismatch in snippet view article find links to article

(January 1989) Synchronization Primitives for a Multiprocessor: A Formal Specification Archived 2016-03-04 at the Wayback Machine A. D. Birrell, J. V. Guttag

Steve Reeves (computer scientist) (380 words) [view diff] case mismatch in snippet view article

243–247, 1998. doi:10.1007/s001650050014. Information Technology — Z Formal Specification Notation — Syntax, Type System and Semantics, ISO/IEC 13568:2002

Gregor von Bochmann (computer scientist) (790 words) [view diff] exact match in snippet view article

1995: Fellow of the IEEE with the citation "For contributions to the formal specification of protocols for data communications". 1995: Honorary doctorat from

Luigi Logrippo (840 words) [view diff] exact match in snippet view article find links to article

LARSI. Formal methods in security, privacy and governance including: Formal specification, formal design, validation, verification, testing Security: Enterprise

Rulelog (889 words) [view diff] exact match in snippet view article find links to article

(RIF-FLD) is a W3C recommendation, which is intended as a means for formal specification of Web logic languages such as Rulelog. Rulelog: Syntax and Semantics

Ernst-Rüdiger Olderog (643 words) [view diff] case mismatch in snippet view article find links to article

ISBN 0-521-01845-5. Olderog, E.-R.; Dierks, Henning (2008). Real-Time Systems: Formal Specification and Automatic Verification. Cambridge: Cambridge University Press

Artificial Intelligence Markup Language (931 words) [view diff] exact match in snippet view article find links to article

C#, Pascal, and other languages (see below [dead link]). A semi-formal specification and a W3C XML Schema for AIML are available. Since early 2013, The

Hawker Typhoon (9,790 words) [view diff] exact match in snippet view article find links to article

advised by the Director of Technical Development to wait until a formal specification for a new fighter to replace the Spitfire and Hurricane was issued

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

[Markopoulos1997] – P. Markopoulos, A compositional model for the formal specification of user interface software, Doctoral thesis, Queen Mary and Westfield

Computer security (22,314 words) [view diff] case mismatch in snippet view article find links to article

Conference. IEEE Press. pp. 221–227. ISBN 978-0-8186-0026-5. "Abstract Formal Specification of the seL4/ARMv6 API" (PDF). Archived from the original (PDF) on

Jerzy W. Rozenblit (825 words) [view diff] exact match in snippet view article find links to article

solving the "model continuity" problem by providing techniques to map formal specification onto executable design models. Rozenblit's recent work in design

Parasitic Engineering (1,454 words) [view diff] exact match in snippet view article find links to article

Equinox 100 nonetheless prompted Morrow and Fulmer to lobby for a formal specification for the S-100 bus, which eventually became ratified as IEEE 696 in

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

Cornerstone Technology Announces First Public FIXatdl Training Courses [2] Formal specification on official website The Work Group which develops and maintains FIXatdl

Grigore Roșu (1,229 words) [view diff] exact match in snippet view article find links to article

research scientist at the Ames Research Center, where he focused on formal specification and verification of flight and navigation software, coining the term

Message Authenticator Algorithm (954 words) [view diff] exact match in snippet view article find links to article

formal models of the MAA have been developed. In 2017, a complete formal specification of the MAA as a large term rewriting system was published; From this

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

from which test data and the test case are derived consists of a formal specification (provided in JML) and a symbolic execution tree of the implementation

Agent-based model (9,247 words) [view diff] exact match in snippet view article find links to article

and simulation has been shown. The use of a computer science-based formal specification framework coupled with wireless sensor networks and an agent-based

OMTROLL (913 words) [view diff] exact match in snippet view article find links to article

analysis methods do not reach the level of ordering achieved by the formal specification languages. These formal languages are being used research and applied

Larch Prover (1,558 words) [view diff] case mismatch in snippet view article find links to article

Jones, A. Modet, and J. M. Wing, Larch: Languages and Tools for Formal Specification, Springer-Verlag Texts and Monographs in Computer Science, 1993.

Upper ontology (5,732 words) [view diff] exact match in snippet view article find links to article

be just descriptive (vs prescriptive) notions, which support the formal specification of domain conceptualizations. DOLCE-Ultralite, designed by Aldo Gangemi

Common Lisp (11,969 words) [view diff] exact match in snippet view article find links to article

Prototype Verification System (PVS), a mechanized environment for formal specification and verification. PWGL is a sophisticated visual programming environment

Information security (18,145 words) [view diff] exact match in snippet view article find links to article

ISBN 978-1-59749-996-5, retrieved June 5, 2021 Kampfner, Roberto R. (1985). "Formal specification of information systems requirements". Information Processing & Management

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

2024-03-15. Stepney, Susan; Lord, Stephen P. (September 1987). "Formal specification of an access control system". Software: Practice and Experience.

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

pp. 436–445. Clemmensen, Geert B.; Oest, Ole N. (March 1984). "Formal specification and development of an Ada compiler – a VDM case study". ICSE '84

International Network Working Group (3,142 words) [view diff] exact match in snippet view article find links to article

communication protocol. The INWG continued to work on protocol design and formal specification until the 1990s when it disbanded as the Internet grew rapidly. Nonetheless

List of Internet pioneers (17,672 words) [view diff] case mismatch in snippet view article find links to article

May 2011 at the Wayback Machine RFC 904: Exterior Gateway Protocol Formal Specification, D.L. Mills, April 1984 "The Story of the PING Program" Archived

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

The UniPro v1.4x specifications have been released together with a formal specification model (SDL). The final draft of Version 1.6 of the UniPro specification

Symbolic method (combinatorics) (5,217 words) [view diff] exact match in snippet view article

of unions to disjoint unions is an important one; however, in the formal specification of symbolic combinatorics, it is too much trouble to keep track of

NGSI-LD (2,708 words) [view diff] exact match in snippet view article find links to article

universe. The NGSI-LD information model can be considered as the first formal specification by a de jure standards organization of the property graph model,

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

sequence of OS request into a sequence of device commands. Due to formal specification of the interfaces, Termite can generate the driver code which holds

Self-Monitoring, Analysis and Reporting Technology (5,591 words) [view diff] exact match in snippet view article find links to article

methods. Later, "S.M.A.R.T." came to be understood (though without any formal specification) to refer to a variety of specific metrics and methods and to apply

T.H. Tse (1,517 words) [view diff] case mismatch in snippet view article find links to article

(PDF). Proceedings of the 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques. Los Alamitos, CA: IEEE Computer Society. pp. 50–57. doi:10

Dipak Kalra (2,832 words) [view diff] exact match in snippet view article find links to article

not-for-profit company which exists to promote and publish, via the Web, the formal specification of requirements for electronic health record information, supporting

T-Trak (2,372 words) [view diff] exact match in snippet view article find links to article

is from a flat surface to the base of the Kato track. There is no formal specification for the depth of a module. The original T-TRAK modules and subsequent

Kamal Jabbour (3,705 words) [view diff] exact match in snippet view article find links to article

Barjaktarovic, Milica; Chin, Shiu-Kai; Jabbour, Kamal (1996). "Formal specification and verification of the kernel functional unit of the OSI session

Object Process Methodology (9,925 words) [view diff] exact match in snippet view article find links to article

six-year effort to provide the standardization community with a formal specification for a new approach to modeling that binds together graphics and textual

D. Richard Kuhn (2,008 words) [view diff] exact match in snippet view article find links to article

Contributor to software tools, conformance test suites, and methods for formal specification analysis and cryptographic protocol verification Co-author of the

List of ISO standards 12000–13999 (7,429 words) [view diff] exact match in snippet view article find links to article

of layers for CAD ISO/IEC 13568:2002 Information Technology – Z formal specification notation – Syntax, type system and semantics ISO/TR 13569:2005 Financial

List of fellows of IEEE Computer Society (124 words) [view diff] exact match in snippet view article find links to article

in computer vision 1995 Gregor Bochmann For contributions to the formal specification of protocols for data communications. 2021 Wim Bogaerts For contributions