Results 291 to 300 of about 1,592,963 (357)

Evolving specifications formally

2011 IEEE 19th International Requirements Engineering Conference, 2011
This paper presents a formal specification and analysis method motivated by issues faced during early stages of requirements development for automotive features. At this early stage of development, only overall goals of features are understood, and there is a need to discover all possible scenarios of operation.
S. Ramesh, Prahladavaradan Sampath, Silky Arora   +2 more
openaire   +2 more sources

Formal approach to reusable formal specifications

[1991 Proceedings] 6th Mediterranean Electrotechnical Conference, 2002
The theory of reusable formal specifications is described, especially in the context of modeling a distributed real-time telecommunication system. Various aspects of reusability are covered: formal representation of reusability, modular specification of the system, equivalence of formal specifications, and classification of specifications. Some modular
openaire   +2 more sources

Reuse of Formal Specifications

2005
During the Rigorous Approach to Industrial Software Engineering (RAISE) specification development process, a variety of components and infrastructures are built. All of these components are not independent, but related to one another, especially when we specify different systems into the same infrastructure. The RAISE method (Bjorner, 2000) is based on
Laura Felice, Daniel Eduardo Riesco
openaire   +2 more sources

The formal specification of an electrocardiogram compressor

Medical Informatics and the Internet in Medicine, 1999
Remote telemonitoring of physiological parameters is being used increasingly both for medical research and for clinical management. However, the technique entails the collection of large volumes of information for transmission and storage which necessitates efficient means of data compression.
B. S. Todd, D. C. Andrews
openaire   +3 more sources

Z Formal Specification Language

2012
This 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

On the meaning of 'but' (formal specification) [PDF]

Proceedings of the Sixth International Workshop on Software Specification and Design, 2002
A formalisation of exceptions to a general rule is proposed. It builds upon the modularisation of theories proposed by the algebraic specification approach, and preserves its engineering principles: modularity and compositionality. It relies on a model-theoretic definition of the but conjunctive, whose properties and implementations are explored. >
openaire   +1 more source

A formal methods approach to interpretable reinforcement learning for robotic planning

Science Robotics, 2019
A formal methods approach to reinforcement learning generates rewards from a formal language and guarantees safety. Growing interest in reinforcement learning approaches to robotic planning and control raises concerns of predictability and safety of ...
Xiao Li, Zachary Serlin, Guang Yang, C. Belta   +3 more
semanticscholar   +1 more source

A formal specification of INGRES

1989
This paper describes a case study in the application of COLD-K as a specification language. The subject of the case study is the INGRES relational data base system.
Loe Feijs, J. H. A. Gelissen, W. E. Baats   +2 more
openaire   +2 more sources

Testability of Formal Specifications

1992
Abstract In the SPECS project (RACE 1046) formal methods for testing were applied on a existing Integrated Broadband Communication system. This paper reports on experience gained in this exercise. It focuses on properties of formal specifications that are indispensable or desirable when the specification is to be used as a basis for testing.
A. M. Peeters, S. P. van de Burgt, Jan Kroon   +2 more
openaire   +2 more sources

Formal specification languages

Electronics and Power, 1986
Bugs in computer software are still commonplace. The problem is often due to inadequate specification of the requirements. Formal specification is proposed as a solution, but is it practical?
Graham Titterington, John Parker
openaire   +2 more sources