Pragmatic Formal Specification of System Properties by Tables

2015 ◽  
pp. 329-354 ◽  
Author(s):  
Manfred Broy
Keyword(s):  
Formal Specification ◽  
System Properties

User Interface Formalization in Visual Data Mining

2009 ◽  
pp. 872-898
Author(s):  
Tiziana Catarci ◽  
Stephen Kimani ◽  
Stefano Lodi
Keyword(s):  
Data Mining ◽  
User Interface ◽  
Formal Specification ◽  
Interaction Model ◽  
Visual Data ◽  
Visual Data Mining ◽  
Mining System ◽  
User Interactions ◽  
Data Mining System ◽  
System Properties

Despite the existence of various data mining efforts that deal with user interface aspects, very few provide a formal specification of the syntax of the interface and the corresponding semantics. A formal specification facilitates the description of the system properties without being concerned about implementation details and enables the detection of fundamental design issues before they manifest themselves in the implementation. In visual data mining, a formal specification can enable users to decide which interaction/operation to apply to get a desired result; help users to predict the results of their interactions/operations with the system; and enable the development of a general interaction model that designers/developers can use to understand the relationships between user interactions and their compositions. In this work, we describe an approach for formalizing the visual interface of a core data mining system, which has been employed in the development of a visual data mining system named VidaMine.

User Interface Formalization in Visual Data Mining

2011 ◽  
pp. 247-272
Author(s):  
Tiziana Catarci ◽  
Stephen Kimani
Keyword(s):  
Data Mining ◽  
User Interface ◽  
Formal Specification ◽  
Interaction Model ◽  
Visual Data ◽  
Visual Data Mining ◽  
Mining System ◽  
User Interactions ◽  
Data Mining System ◽  
System Properties

Despite the existence of various data mining efforts that deal with user interface aspects, very few provide a formal specification of the syntax of the interface and the corresponding semantics. A formal specification facilitates the description of the system properties without being concerned about implementation details and enables the detection of fundamental design issues before they manifest themselves in the implementation. In visual data mining, a formal specification can: enable users to decide which interaction/operation to apply to get a desired result; help users to predict the results of their interactions/operations with the system; enable the development of a general interaction model that designers/developers can use to understand the relationships between user interactions and their compositions. In this work, we describe an approach for formalizing the visual interface of a core data mining system, which has been employed in the development of a visual data mining system named VidaMine.

User Interface Formalization in Visual Data Mining

2008 ◽  
pp. 3451-3476
Author(s):  
Tiziana Catarci ◽  
Stephen Kimani ◽  
Stefano Lodi
Keyword(s):  
Data Mining ◽  
User Interface ◽  
Formal Specification ◽  
Interaction Model ◽  
Visual Data ◽  
Visual Data Mining ◽  
Mining System ◽  
User Interactions ◽  
Data Mining System ◽  
System Properties

Despite the existence of various data mining efforts that deal with user interface aspects, very few provide a formal specification of the syntax of the interface and the corresponding semantics. A formal specification facilitates the description of the system properties without being concerned about implementation details and enables the detection of fundamental design issues before they manifest themselves in the implementation. In visual data mining, a formal specification can: enable users to decide which interaction/operation to apply to get a desired result; help users to predict the results of their interactions/operations with the system; enable the development of a general interaction model that designers/developers can use to understand the relationships between user interactions and their compositions. In this work, we describe an approach for formalizing the visual interface of a core data mining system, which has been employed in the development of a visual data mining system named VidaMine.

SUPPORTING ELICITATION AND SPECIFICATION OF SOFTWARE PROPERTIES THROUGH PATTERNS AND COMPOSITE PROPOSITIONS

2004 ◽  
Vol 14 (01) ◽  
pp. 21-41 ◽  
Author(s):  
OSCAR A. MONDRAGÓN ◽  
ANN Q. GATES
Keyword(s):  
Temporal Logic ◽  
Formal Specification ◽  
Linear Temporal Logic ◽  
Intended Behavior ◽  
Informed Decisions ◽  
System Properties ◽  
Event Definition ◽  
Composite Propositions ◽  
Interval Logic ◽  
Multiple Conditions

Prospec is a tool that assists practitioners in the elicitation and specification of system properties. Practitioners are guided by questions, definitions, and graphics. Prospec introduces the use of composite propositions to identify intended behavior when multiple conditions or events are considered. Multiple conditions or events may represent behavior such as sequences, concurrency, and non-determinism and may define the boundaries of scopes or type of patterns. Prospec is built upon the Specification Pattern System. The tool assists the analyst in making informed decisions about aspects of a specification that may have multiple interpretations. The end product of the tool is a formal specification in Future Interval Logic, Linear Temporal Logic, or Meta Event Definition Language.

Formal Specification and Design

1992 ◽  
Author(s):  
L. M. G. Feijs ◽  
H. B. M. Jonkers
Keyword(s):  
Formal Specification
Sign in / Sign up

Export Citation Format

Share Document