Results 301 to 310 of about 532,868 (319)
Some of the next articles are maybe not open access.
Specification Languages: SystemC
2021We have studied various models extensively in the last chapter. We transformed real-world problems into different domains through appropriate models to analyze certain characteristics. We have adopted different types of models for analyzing different characteristics for the same problem. However, it is a theoretical representation.
openaire +2 more sources
Z Formal Specification Language
2012This chapter presents the Z specification language, which is one of the most widely used formal methods. Z is a formal specification language based on Zermelo set theory. It was developed at the Programming Research Group at Oxford University in the early 1980s. Z specifications are mathematical and employ a classical two-valued logic.
openaire +2 more sources
Logics of Specification Languages
2007Preludium.- An Overview.- The Languages.- Abstract State Machines for the Classroom.- The event-B Modelling Method: Concepts and Case Studies.- A Methodological Guide to the CafeOBJ Logic.- Casl - the Common Algebraic Specification Language.- Duration Calculus.- The Logic of the RAISE Specification Language.- The Specification Language TLA+.- The Typed
Dines Bjørner, Martin C. Henson
openaire +2 more sources
Languages for the specification of software
Journal of Systems and Software, 1996Abstract A variety of specification languages exist that support one or more phases of software development. This article emphasizes languages that support the functional phase, i.e., languages that can be used to define the observable behavior of a system.
Daniel E. Cooke +5 more
openaire +2 more sources
Concepts of a Specification Language
1985For the specification of basic abstract data types as considered in Chapter 2 and for the parameterized case in Chapter 7 it is usually sufficient to give the specifications explicitly as a triple SPEC = (S,OP,E) of sorts S, constant and operation symbols OP, and equations E.
Bernd Mahr, Hartmut Ehrig
openaire +2 more sources
The specification language GSBL
1991A very preliminary version of GSBL was presented in [CO 88]. From that paper up to now the language has considerably changed, although the underlying methodological ideas are the same. In particular, these changes are especially related with a) the instantiation mechanism which was almost completely redefined and b) the correctness conditions ...
Fernando Orejas, Silvia Clerici
openaire +2 more sources
2016
Since the complexity of current automation and real-time processing tasks requires the programming of distributed, fault-tolerant multiprocessor systems, the developers of PEARL have decided to extend PEARL with constructs for the programming of multiprocessors.
openaire +2 more sources
Since the complexity of current automation and real-time processing tasks requires the programming of distributed, fault-tolerant multiprocessor systems, the developers of PEARL have decided to extend PEARL with constructs for the programming of multiprocessors.
openaire +2 more sources
1996
The SF (Set-Function) language has been designed for the specification of information-control systems. An SF specification is derived from type, state transition, and data flow or Petri net diagrams. The SF language is shown to have a strong object orientation.
openaire +2 more sources
The SF (Set-Function) language has been designed for the specification of information-control systems. An SF specification is derived from type, state transition, and data flow or Petri net diagrams. The SF language is shown to have a strong object orientation.
openaire +2 more sources
Grasp--A Specification Language
1988Abstract : This paper is an introduction to Grasp, a language for defining and prototyping graph theoretic constructs and properties associated with them. The language is a specification language, which means that one gives only the necessary inputs and desired outputs, and the translator generates the necessary algorithm.
openaire +1 more source
Language-Specific Improvements
2020While many of the improvements made in Visual Studio 2019 are useful across different languages and platforms, there are always those changes made that are specific to individual languages. They fulfill a particular need for a particular subset of developers.
openaire +2 more sources