Results 281 to 290 of about 1,643,554 (351)
Some of the next articles are maybe not open access.
Evolving specifications formally
2011 IEEE 19th International Requirements Engineering Conference, 2011This 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.
Prahladavaradan Sampath +2 more
openaire +1 more source
Executing formal specifications
Proceedings of the symposium on Testing, analysis, and verification, 1991ASTRAL is a formal specification language for realtime systems. This paper discusses how ASTRAL’s semantics are specified in terms of TRIO, a formal realtime logic language. This allows ASTRAL specifications to be formally analyzed by translating them into TRIO and then using the existing validation theory for TRIO specifications.
Carlo Ghezzi, Richard A. Kennerer
openaire +1 more source
SpecGen: Automated Generation of Formal Program Specifications via Large Language Models
International Conference on Software EngineeringIn the software development process, formal program specifications play a crucial role in various stages, including requirement analysis, software testing, and verification.
Lezhi Ma +4 more
semanticscholar +1 more source
2005
Formal Description Techniques (FDTs) that should be capable to express the OSI Protocols and Services are confronted with unprecedented requirements in terms of the abstraction level at which the OSI architectural concepts need to be expressed as well as the high complexity of the OSI standards.
VISSERS C. A, SCOLLO, Giuseppe
openaire +2 more sources
Formal Description Techniques (FDTs) that should be capable to express the OSI Protocols and Services are confronted with unprecedented requirements in terms of the abstraction level at which the OSI architectural concepts need to be expressed as well as the high complexity of the OSI standards.
VISSERS C. A, SCOLLO, Giuseppe
openaire +2 more sources
Formal Dialectic Specification
2005Formal dialectic systems have been suggested as a means to model inter-agent communication in multi-agent systems. The formal dialectic systems of Hamblin are practical models for the computational implementation of such a system of argumentative dialogue.
Wells, Simon, Reed, Chris
openaire +2 more sources
Integrating semi-formal and formal software specification techniques
Information Systems, 1998In this paper, we report on the integration of informal, semiformal and formal system specification techniques. We present a framework for system specification called TRADE, within which several well-known semiformal specification techniques are placed.
Wieringa, Roelf J., Dubois, Eric
openaire +2 more sources
Formal specification languages
Electronics and Power, 1986Bugs 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?
John Parker, Graham Titterington
openaire +1 more source
Formal approach to reusable formal specifications
[1991 Proceedings] 6th Mediterranean Electrotechnical Conference, 2002The 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 +1 more source
A formal methods approach to interpretable reinforcement learning for robotic planning
Science Robotics, 2019A 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 +3 more
semanticscholar +1 more source
Formal specification techniques
Proceedings of 16th International Conference on Software Engineering, 2002Formal approaches to software specification and development have been a topic of active research for a long time. There now exists an important corpus of knowledge and results in this domain. There is more and more interest in the industrial applications of these techniques, even if it is generally observed that transfer is difficult in this area.
openaire +1 more source