Results 301 to 310 of about 1,613,251 (354)
Some of the next articles are maybe not open access.
Visualization of formal specifications
Proceedings Sixth Asia Pacific Software Engineering Conference (ASPEC'99) (Cat. No.PR00509), 2003Formal specification techniques provide precise and analyzable software specifications. However, the formal notations provided by most formal specification techniques are not easy to use and understand for most people. Our approach counters this difficulty by visualizing formal specifications.
David Carrington, Soon-Kyeong Kim
openaire +2 more sources
Formal Specifications and Case
1997Present CASE systems contain usually a set of CASE tools integrated around a repository (CASE - Computer Aided Software Engineering, e.g. [Gan90]). These tools are dedicated to document different aspects of a designed system. The CASE repository serves to maintain a large amount of mutually consistent information.
Tomáš Vlk, Karel Richta
openaire +2 more sources
Formal Specification of Software [PDF]
, 1987 Abstract : This module introduces methods for the formal specification of programs and large software systems, and reviews the domains of application of these methods. Its emphasis is on the functional properties of software. It does not deal with the specification of programming languages, the specification of user computer interfaces, or the ...
openaire +1 more source
Formal specification of multicomputers
1996Formal Methods of specification can play an important role in exploring the behaviour of complex systems, as distributed systems or parallel computing. Lotos, based on algebra of processes, has been chosen as an international standard for specifying many systems.
openaire +2 more sources
A formalism of the specifications for library development
2013 IEEE International SOC Conference, 2013In System-on-Chip (SoC) design, more and more pre-defined libraries such as standard cell library are required in order to reduce time-to-market and to ensure the functionality of complex systems. However, an amount of information such as technology parameters is needed to develop libraries. From the perspective of library providers, a crucial issue is
Chae, Jung Kyu +4 more
openaire +3 more sources
1991
From the early 1970s conventional digital and analogue electronic systems have gradually been superseded by microprocessor-based designs. Subsequent experience shows that their reliability rarely exceeded that of earlier designs, due mainly to software errors. The root cause was the lack of design formality and rigour in producing software.
openaire +2 more sources
From the early 1970s conventional digital and analogue electronic systems have gradually been superseded by microprocessor-based designs. Subsequent experience shows that their reliability rarely exceeded that of earlier designs, due mainly to software errors. The root cause was the lack of design formality and rigour in producing software.
openaire +2 more sources
Annotations in formal specifications and proofs [PDF]
Formal Methods in System Design, 1994 In order to exploit the connection between the formal and the informal aspects of modeling, the author proposes a system of annotations that can be used to incorporate semantic information concerning the domain being reasoned about into a formal proof environment. Annotations will serve as comments, labels, or proof directives. An implementation in the
openaire +2 more sources
1994
To demonstrate the multiple-language measurement strategy described in Chapter 6, we must choose and use a reference language. Prolog has been shown to be suitable for the purpose, and although it is not our aim to teach the reader Prolog, we must explain its properties in just sufficient detail to demonstrate its role in the measurement strategy.
Agnes Kaposi, Margaret Myers
openaire +2 more sources
To demonstrate the multiple-language measurement strategy described in Chapter 6, we must choose and use a reference language. Prolog has been shown to be suitable for the purpose, and although it is not our aim to teach the reader Prolog, we must explain its properties in just sufficient detail to demonstrate its role in the measurement strategy.
Agnes Kaposi, Margaret Myers
openaire +2 more sources
Process Specification Formalisms
2000In this chapter, transition systems are connected with a logical framework and a specification language.
openaire +2 more sources
1990
In the previous chapter we surveyed some approaches to requirements engineering in the framework of traditional software engineering. All these approaches aim at providing a formalism for precisely describing a problem to be solved. None of them, however, except for Gist, allows the formulation of a formal problem specification in the (intuitive) sense
openaire +2 more sources
In the previous chapter we surveyed some approaches to requirements engineering in the framework of traditional software engineering. All these approaches aim at providing a formalism for precisely describing a problem to be solved. None of them, however, except for Gist, allows the formulation of a formal problem specification in the (intuitive) sense
openaire +2 more sources