Sciweavers

12333 search results - page 260 / 2467
» System Level Modelling for Hardware Software Systems
Sort
View
FM
1999
Springer
107views Formal Methods» more  FM 1999»
15 years 11 months ago
A Formalization of Software Architecture
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
John Herbert, Bruno Dutertre, Robert A. Riemenschn...
RTSS
1995
IEEE
15 years 10 months ago
Efficient Microarchitecture Modeling and Path Analysis for Real-Time Software
Yau-Tsun Steven Li, Sharad Malik, Andrew Wolfe
EUROMICRO
1997
IEEE
15 years 10 months ago
Performability and Reliability Modeling of N Version Fault Tolerant Software in Real Time Systems
The paper presents a hierarchical modeling approach of the N version programming in a real – time environment. The model is constructed in three layers. At the first layer we d...
Katerina Goseva-Popstojanova, Aksenti Grnarov
WCRE
2006
IEEE
16 years 18 days ago
Quality Assessment of Enterprise Software Systems
In the last years, as object-oriented software systems became more and more complex, the need of having tools that help us to understand and to assess the quality of their design ...
Cristina Marinescu
HICSS
2005
IEEE
165views Biometrics» more  HICSS 2005»
16 years 6 days ago
A Study of Project Management System Acceptance
This study surveyed 497 project management software users in a wide variety of project-driven organizations to examine the relationships among: computer self-efficacy, information...
Abdullah Saeed Bani Ali, William H. Money