Results 331 to 340 of about 2,060,377 (384)
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 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
A multi-formalism specification environment
ACM SIGSOFT Software Engineering Notes, 1990This paper describes initial work on a software development environment capable of smoothly integrating modules written in different languages. The focus of this work is on supporting the construction of executable, multi-formalism specifications , where each part of a problem is described in a language that is ...
David S. Wile +2 more
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
On Formal Specification of Design Tasks
1994In the development of a design system, a formal specification can play an important role providing a precise description of both the static and the dynamic aspects of the system. Static aspects not only include domain knowledge about properties of design objects and relations between these properties, but also domain knowledge about requirements of ...
Jan Treur +3 more
openaire +3 more sources
A Formal Specification of the Memorization Process
International Journal of Cognitive Informatics and Natural Intelligence, 2007In this chapter we present the formal language, stochastic process algebra (STOPA), to specify cognitive systems. In addition to the usual characteristics of these formalisms, this language features the possibility of including stochastic time. This kind of time is useful to represent systems where the delays are not controlled by fixed amounts of time,
Natalia López +2 more
openaire +2 more sources
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
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
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
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