Sciweavers

3943 search results - page 69 / 789
» Architecture-Level Requirements Specification
Sort
View
IPPS
2000
IEEE
15 years 10 months ago
Automatic Implementation of Distributed Systems Formal Specifications
The increasing demand for Distributed Systems(DS's) raised the need of a quality-assured development process, which could not only address the issue of requirement compliance,...
Luiz Henrique Castelo Branco, Antônio Franci...
SNPD
2003
15 years 7 months ago
Application of Behavior-Preserving Transformations to Improve Non-Functional Properties of an Architecture Specification
In particular for safety critical systems it is necessary to make sure that the non-functional properties imposed by a system architecture meet the corresponding requirements as e...
Lars Grunske
KI
2010
Springer
15 years 3 months ago
Situation-Specific Intention Recognition for Human-Robot Cooperation
Recognizing human intentions is part of the decision process in many technical devices. In order to achieve natural interaction, the required estimation quality and the used comput...
Peter Krauthausen, Uwe D. Hanebeck
ICSE
2005
IEEE-ACM
16 years 5 months ago
Real-time specification patterns
Embedded systems are pervasive and frequently used for critical systems with time-dependent functionality. Dwyer et al. have developed qualitative specification patterns to facili...
Sascha Konrad, Betty H. C. Cheng
113
Voted
COMPUTER
2000
92views more  COMPUTER 2000»
15 years 5 months ago
An Overview of the Real-Time CORBA Specification
To be an effective platform for performance-sensitive real-time systems, distributed object computing middleware must support application quality of service (QoS) requirements end...
Douglas C. Schmidt, Fred Kuhns