Results 1  10
of
93
Tabular Notations for State MachineBased Specifications
"... The term reactive system describes a system that needs to continuously react to inputs coming from the environment. Finite state machines are a widely used concept for specifying the behavior of such systems. Since finite state machines allow the rigorous capture of functional aspects of system beha ..."
Abstract
 Add to MetaCart
preferred by developers, analysts, and testers over textual information, since diagrams allow the visualization of complex relationships. Tabular notations for state machines (commonly also referred to as state tables or state
Tabular notations for state machinebased specifications
 Crosstalk
, 2008
"... The term reactive system describes a system that needs to continuously react to inputs coming from the environment. Finite state machines are a widely used concept for specifying the behavior of such systems. Since finite state machines allow the rigorous capture of functional aspects of system beh ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
The term reactive system describes a system that needs to continuously react to inputs coming from the environment. Finite state machines are a widely used concept for specifying the behavior of such systems. Since finite state machines allow the rigorous capture of functional aspects of system behavior1, they offer several advantages over informal specifications. For example, they provide the ability to automatically generate code or test cases, and they enable formal verification and validation (V&V). Generally, a finite state machine is an appropriate representation when a problem or solution has the following characteristics:
Table Algebras: Algebraic Structures for Tabular Notation, Including Nested Headers
"... Abstract. We define a class of algebraic structures for the interpretation of tabular notations common in software requirements documentation and show how to use table algebra homomorphisms to define staged table semantics, translation between different kinds of tables, and table transformation. An ..."
Abstract
 Add to MetaCart
Abstract. We define a class of algebraic structures for the interpretation of tabular notations common in software requirements documentation and show how to use table algebra homomorphisms to define staged table semantics, translation between different kinds of tables, and table transformation
Evaluating Generalized Tabular Expressions In Software Documentation
, 1997
"... This thesis presents a generalized model of tabular expressions used in software documentation, and describes how this model has been applied to build a tool that evaluates a broad class of expressions. Tabular notation is used in software documentation to improve the readability of complex mathemat ..."
Abstract

Cited by 28 (0 self)
 Add to MetaCart
This thesis presents a generalized model of tabular expressions used in software documentation, and describes how this model has been applied to build a tool that evaluates a broad class of expressions. Tabular notation is used in software documentation to improve the readability of complex
Automated Consistency Checking of Requirements Specifications
, 1996
"... This paper describes a formal analysis technique, called consistency checking, for automatic detection of errors, such as type errors, nondeterminism, missing cases, and circular definitions, in requirements specifications. The technique is designed to analyze requirements specifications expressed i ..."
Abstract

Cited by 270 (33 self)
 Add to MetaCart
in the SCR (Software Cost Reduction) tabular notation. As background, the SCR approach to specifying requirements is reviewed. To provide a formal semantics for the SCR notation and a foundation for consistency checking, a formal requirements model is introduced; the model represents a software system as a
Directions in Recognizing Tabular Structures of Handwritten Mathematics Notation
, 2001
"... Mathematics notation contains a variety of tabular structures, including matrices, lists of expressions in a derivation, stacked limit expressions in a summation, and conditional expressions in a function definition. Tabular structures are particularly difficult to recognize in handwritten mathem ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
Mathematics notation contains a variety of tabular structures, including matrices, lists of expressions in a derivation, stacked limit expressions in a summation, and conditional expressions in a function definition. Tabular structures are particularly difficult to recognize in handwritten
Tabular Representation of Relations
, 1992
"... Multidimensional mathematical expressions, called tables, have proven to be useful for documenting digital systems. This paper describes 10 classes of tables, giving their syntax and semantics. Several abbreviations that can be useful in tables are introduced. Simple examples are provided. 1 Int ..."
Abstract

Cited by 62 (11 self)
 Add to MetaCart
without restricting the notations or formats to be used. This paper complements the earlier papers by defining multidimensional notations (which we call tabular expressions) that have proven useful for describing the specified mathematical functions in practical applications [3, 4, 5, 6, 7, 8]. A
Conformance Testing of CORBA Services using Tree and Tabular Combined Notation
 Proceedings of the IFIP TC6/WG6.1 13 th International Conference on Testing of Communicating Systems (TestCom 2000), August 29 â€“ September 1, 2000
, 2000
"... Abstract This paper presents a formal approach to conformance testing of CORBAbased distributed services using TTCN framework. It discusses mapping of CORBA IDL to TTCN, concentrating on the obstacles and the design issues to be considered. The paper overviews the architecture of the CORBA/TTCN gate ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
Abstract This paper presents a formal approach to conformance testing of CORBAbased distributed services using TTCN framework. It discusses mapping of CORBA IDL to TTCN, concentrating on the obstacles and the design issues to be considered. The paper overviews the architecture of the CORBA/TTCN gateway, which acts as an intermediary between test environment and system under test (SUT). It goes through an example of test session and distinguishes the typical stages of dynamic behaviour. The results of the study indicate that TTCN framework especially facilitates testing of active service components, although conformance testing of reactive parts is also possible.
Analyzing Tabular Requirements Specifications Using Infinite State Model Checking
"... This paper investigates the application of infinite state model checking to the formal analysis of requirements specifications in the SCR (Software Cost Reduction) tabular notation using Action Language Verifier (ALV). After reviewing the SCR method and tools and the Action Language, experimental re ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
This paper investigates the application of infinite state model checking to the formal analysis of requirements specifications in the SCR (Software Cost Reduction) tabular notation using Action Language Verifier (ALV). After reviewing the SCR method and tools and the Action Language, experimental
Describing and Analyzing Behaviours over Tabular Specifications using (Dyn)Alloy
"... Abstract. We propose complementing tabular notations used in requirements specifications, such as those used in the SCR method, with a formalism for describing specific, useful, subclasses of computations, i.e., particular combinations of the atomic transitions specified within tables. This provides ..."
Abstract
 Add to MetaCart
Abstract. We propose complementing tabular notations used in requirements specifications, such as those used in the SCR method, with a formalism for describing specific, useful, subclasses of computations, i.e., particular combinations of the atomic transitions specified within tables
Results 1  10
of
93