1,720,988 research outputs found
A Dual Language Approach to the Development of Time-Critical Systems
No full textDeveloping time-critical systems requires expressive, rigorous, easy to use notations to describe the time-related features of the systems, in a way that is formal enough to support and automate activities like property verification and test case generation. We propose a dual-language approach provided with a descriptive formalism for specifying the properties of a system and its components in addition to the typical UML (and UML-RT) diagrams. This description consists of a formula of a new logic, called OTL (Object Temporal Logic), which is an extension of OCL. The approach is applied to a case study derived from the authors' industrial experiences. © 2004 Elsevier B.V. All rights reserved
A Dual Language Approach Extension to UML for the Development of Time-Critical Component-Based Systems
No full textA “dual language” component-based approach to the development of real-time critical applications is proposed. UML provides the constructs for modeling the structure of the system and the behavior of the system's components. A new descriptive language based on temporal logic, called OTL (Object Temporal Logic) is defined, in order to let the developer assert properties of the system at an abstract specification level. A development process consistent with the proposed notation is also briefly described
A Dual Language Approach to the Development of Time-Critical Systems with UML
No full textA “dual language” component-based approach to the development of real-time critical applications is proposed. UML provides the constructs for modeling the structure of the system and the behavior of the system's components. A new descriptive language based on temporal logic, called OTL (Object Temporal Logic) is defined, in order to let the developer assert properties of the system at an abstract specification level. A development process consistent with the proposed notation is also briefly described
Going Beyond Counting First Authors in Author Co-citation Analysis
Full text linkThe present study examines one of the fundamental aspects of author co-citation analysis (ACA) - the way co-citation
counts are defined. Co-citation counting provides the data on which all subsequent statistical analyses and mappings
are based, and we compare ACA results based on two different types of co-citation counting - the traditional type that
only counts the first one among a cited work's authors on the one hand and a non-traditional type that takes into
account the first 5 authors of a cited work on the other hand. Results indicate that the picture produced through this non-traditional author co-citation counting contains more coherent author groups and is therefore considerably clearer. However, this picture represents fewer specialties in the research field being studied than that produced through the traditional first-author co-citation counting when the same number of top-ranked authors is selected and analyzed. Reasons for these effects are discussed
- …
