8083 search results - page 5 / 1617 » A Formalization of Software Architecture |
FASE
2000
Springer
13 years 9 months ago
2000
Springer
The problem of consistently engineering large, complex software systems of today is often addressed by introducing new, "improved" models. Examples of such models are arc...
EUROMICRO
1996
IEEE
13 years 10 months ago
1996
IEEE
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...
COMPSAC
2002
IEEE
13 years 10 months ago
2002
IEEE
The paper discusses a formal approach for specifying time-dependent Web applications and proposes a Markov model for reliability prediction. Measures for predicting reliability ar...
ECOWS
2007
Springer
13 years 12 months ago
2007
Springer
Web services are often employed to create wide distributed evolvable applications from existing components that constitute a service-based software system. ServicesOriented Archit...
DAC
2006
ACM
14 years 6 months ago
2006
ACM
Ever-growing complexity is forcing design to move above RTL. For example, golden functional models are being written as clearly as possible in software and not optimized or intend...