Sciweavers

401 search results - page 19 / 81
» Advanced Component Interface Specification
Sort
View
EUROMICRO
2002
IEEE
15 years 2 months ago
Evaluation of Static Properties for Component-Based Architectures
Early assessment of the non-functional properties of component compositions is one of the hottest issues in component-based architecting. We describe a method for evaluating the e...
Alexandre V. Fioukov, Evgeni M. Eskenazi, Dieter K...
HICSS
2000
IEEE
179views Biometrics» more  HICSS 2000»
15 years 1 months ago
A Novel User Interface for Group Collaboration
Flexible user interfaces that can be customized to meet the needs of the task at hand are particularly important for real-time group collaboration. This paper presents the user in...
Bogdan Dorohonceanu, Boi Sletterink, Ivan Marsic
COORDINATION
2004
Springer
15 years 3 months ago
CoorSet: A Development Environment for Associatively Coordinated Components
A development environment for applications specified in an extended version of a previously developed coordination model based on associatively broadcast interactions is presented....
Kevin Kane, James C. Browne
FMCO
2004
Springer
123views Formal Methods» more  FMCO 2004»
15 years 1 months ago
rCOS: Refinement of Component and Object Systems
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
Zhiming Liu, Jifeng He, Xiaoshan Li
FLAIRS
2000
14 years 11 months ago
The SH-Verification Tool
r Abstractions + Enduser Interface Analysis Kernel Tools for System Specification Enduser Interface Temporal Logic Homomorphism Editor Preamble Editor Hierarchy Editor APA EditorNe...
Peter Ochsenschläger, Jürgen Repp, Rolan...