Results 121 to 130 of about 93,999 (162)
Some of the next articles are maybe not open access.
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.
Eric Dubois
exaly +3 more sources
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.
Kim, Soon-Kyeong, Carrington, David
openaire +2 more sources
A formal specification of an oscilloscope
IEEE Software, 1990This case study presents the development of an abstract oscilloscope specification, using Z notation. A description is given of the problem and its context. An abstract model of an oscilloscope that clarifies its user-accessible functions is described. Issues that must be addressed to scale up this specification to deal with more complicated, realistic
Norman M. Delisle, David Garlan
openaire +1 more source
On Formalism in Specifications
IEEE Software, 1985A critique of a natural-language specification, followed by presentation of a mathematical alternative, demonstrates the weakness of natural language and the strength of formalism in requirements specifications.
openaire +1 more source
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
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
The formal specification of an electrocardiogram compressor
Medical Informatics and the Internet in Medicine, 1999Remote 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 +2 more sources
Understanding and exploring formal specifications
Annals of Software Engineering, 1998Formal methods is seen as a means of applying scientific knowledge to software construction, thereby legitimating the use of mathematics within software engineering. However, the software engineering community faces numerous challenges before an effective transfer of this formal methods technology can take place because of the level of skill, expertise
Jawed I. A. Siddiqi +3 more
openaire +1 more source
A Formal Specification of the Process Trellis
1991The process trellis is a software architecture for building parallel real-time monitors: heterogeneous, large, real-time, continuously executing programs. These programs receive massive quantities of data in domains that are often ill-defined; they filter this data, presenting the user with an analysis rather than a simple summary.
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