Find link

language:

Find link is a tool written by Edward Betts.

searching for Formal specification 154 found (286 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 (621 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

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

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

WAV (2,453 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

Semantic data model (1,473 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

Semantic data model (1,473 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,530 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

PHPDoc (174 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

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

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,232 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

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

Internet protocol suite (6,257 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 set of communication protocols used in the Internet and similar

Skyline operator (825 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

Gödel machine (1,327 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

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

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

2 Sep 2020. Mills, David (April 1984). Exterior Gateway Protocol Formal Specification. IETF. doi:10.17487/RFC0904. RFC 904. Retrieved 2 Sep 2020. Rekhter

Communication protocol (8,206 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

Limor Fix (199 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

Limor Fix (199 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

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

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

Martin Henson (computer scientist) (810 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

Fast Infoset (928 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

Hartmut Ehrig (713 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

Geoff Sutcliffe (297 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

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,464 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

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

TOML (474 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

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

Jonathan Bowen (1,277 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

File format (4,557 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

Pseudocode (1,375 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

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

Table (information) (1,459 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

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

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

Domain-specific language (3,856 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

Programming language specification (1,720 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

Test Anything Protocol (467 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

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:

Programming language theory (1,616 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.

Goodhart's law (1,858 words) [view diff] exact match in snippet view article find links to article

map-territory problems. Specification gaming – achieving the literal, formal specification of an objective—without actually achieving an outcome that the programmers

State-transition table (772 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

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

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

S-100 bus (2,095 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

IEEE 802.20 (1,997 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

ARINC 429 (1,881 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

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)

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

OAuth (2,738 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

Unified Modeling Language (2,663 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

Reward hacking (1,503 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

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,168 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

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)

Michael Everson (1,728 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

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

a single pass through the input stream. Unlike DOM, there is no formal specification for SAX. The Java implementation of SAX is considered to be normative

Necessity and sufficiency (2,399 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

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

Fairbairn–Sykes fighting knife (1,987 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

Dining philosophers problem (2,601 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

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

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

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

designed to provide special support for working with the Z notation for formal specification. 5 of the 6 tools are GNU GPL v2 licensed. The sixth (PPDaz) has

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.)

Ready-mix concrete (2,636 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

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

Germans' bomber production. In December 1939, the Air Corps issued a formal specification for a so-called "superbomber" that could deliver 20,000 lb (9,100 kg)

Presentation–abstraction–control (715 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

Isabelle (proof assistant) (1,258 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

Proof assistant (1,152 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

Data type (3,433 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

Lightweight Directory Access Protocol (4,669 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

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

M3U (1,817 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

ISO/IEC JTC 1/SC 22 (1,240 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 (2,997 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

Interlinear gloss (2,837 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

Institute for System Programming (490 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

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

Bzip2 (2,815 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

Trusted Computer System Evaluation Criteria (2,101 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

John Guttag (609 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

John Guttag (609 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

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

Unison (software) (697 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

HTTP cookie (10,789 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

SAE J300 (1,789 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

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

Tony Hoare (2,140 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

WordNet (4,624 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

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

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

(AES) by 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

Interaction Flow Modeling Language (1,055 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

Microkernel (5,726 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

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

Dines Bjørner (635 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

Mahmoud Samir Fayed (1,039 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

Modeling and simulation (2,629 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

List of model checking tools (1,176 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

Abstract data type (4,392 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

Jeannette Wing (784 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

Ontology (information science) (6,173 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

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

International Network Working Group (1,941 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

Usenet (8,878 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

Epigram (programming language) (857 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

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

Flag of the United States (15,425 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

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

Rulelog (877 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

Modula-3 (3,950 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

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

KeY (1,441 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

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,

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 Internet pioneers (9,533 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

User interface modeling (1,226 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

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

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

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

Steve Reeves (computer scientist) (376 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

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

http://www.prweb.com/releases/FIXatdl/jump-start/prweb3765284.htm Formal specification on official website The Work Group which develops and maintains FIXatdl

Jerzy W. Rozenblit (832 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

Message Authenticator Algorithm (945 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

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

Agent-based model (9,175 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

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.

Ernst-Rüdiger Olderog (586 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

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

Common Lisp (11,978 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

UniPro (2,707 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

Upper ontology (5,731 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

DDC-I (4,123 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

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

1255629. PMID 28068150. S2CID 20139345. Kampfner, Roberto R. (1985). "Formal specification of information systems requirements". Information Processing & Management

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

Symbolic method (combinatorics) (4,978 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

Susan Stepney (561 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.

NGSI-LD (2,672 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,

Self-Monitoring, Analysis and Reporting Technology (5,331 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,368 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

T-Trak (2,358 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

Device driver synthesis and verification (3,035 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

Dipak Kalra (2,828 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

Object Process Methodology (9,917 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

SMART Process Acceleration Development Environment (3,095 words) [view diff] exact match in snippet view article find links to article

document, usually a file of some sort and is written down using a formal specification language. Below is an example in gray with explanation in italic

List of ISO standards 12000–13999 (7,419 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 (104 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