Sentence examples for specification notation from inspiring English sources

The specification notation has been tested in the development of software for industrial applications.

This paper presents a pattern specification notation called the Role-Based Metamodeling Language (RBML) and shows how it can be used to express domain-specific patterns.

In this paper, we propose a formal requirement specification notation based on linear temporal logic, with regard to object oriented program elements, such as classes and interfaces.

Our proposal uses a specification notation based on one of the most used standard requirement languages, HMSC/MSC, which can be automatically translated into a generic SDL specification.

This chapter lays the groundwork for the Rosetta concept of a specification notation, illustrating this with a simple example of the basic modeling concepts, facets, and domains.

In this approach, architectural tactics are represented as feature models, and their semantics is defined using the Role-Based Metamodeling Language (RBML) which is a UML-based pattern specification notation.

This research examines how this might be done with formal specification notations (specifically Z).

One of the challenges in designing distributed, embedded systems is the paucity of formal, executable specification notations that provide support for both real-time and asynchronous communication.

This paper describes a timed architecture design language (Timed Architecture Interaction Diagrams or TAID) that, by virtue of its formal, executable semantics, combines the benefits of synchronous specification notations with the advantages of traditional architecture description languages.

In a relatively short time, specification notations have found their place in industry and are used for the description of a wide variety of software and hardware systems.

Apart from widely used notations such as those for syntax and state machines, there have been significant applications of specification notations, development methods and tools both for proving general results and for searching for specific conditions.