Sciweavers

851 search results - page 12 / 171
» Managing (Requirements) Evolutions of High Assurance Systems
Sort
View
75
Voted
WIRTSCHAFTSINFORMATI
2007
14 years 10 months ago
Management of Portal Evolution
Software evolution is an essential concept underlying the engineering of corporate portals. Due to the complexity of such systems, it requires great effort and is not advisable to...
Hong Tuan Kiet Vo, Helmuth Elsner
ICECCS
2007
IEEE
111views Hardware» more  ICECCS 2007»
15 years 1 months ago
A Refinement Driven Component-Based Design
Modern software applications ranging from enterprise to embedded systems are becoming increasingly complex, and require very high levels of dependability assurance. The most effec...
Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang,...
SCM
1998
14 years 11 months ago
Requirements for Software Deployment Languages and Schema
Software distribution via networks provides timeliness and continual evolution that is not possible with physical media distribution methods. Organizations such as Microsoft, Marim...
Richard S. Hall, Dennis Heimbigner, Alexander L. W...
ER
1997
Springer
145views Database» more  ER 1997»
15 years 1 months ago
Enterprise Knowledge Management and Conceptual Modelling
Turbulence is in the nature of business environments. Changes brought about because of different requirements such as social, political, technical and economic, exert pressures on ...
Pericles Loucopoulos, Vagelio Kavakli
HASE
2008
IEEE
15 years 4 months ago
A Grammar-Based Reverse Engineering Framework for Behavior Verification
A high assurance system requires both functional and nonfunctional correctness before the system is put into operation. To examine whether a system’s actual performance complies...
Chunying Zhao, Kang Zhang