Sciweavers

130 search results - page 7 / 26
» Challenges and Future Directions of Software Technology: Sec...
Sort
View
SSR
1997
98views more  SSR 1997»
13 years 10 months ago
Toward Software Plug-and-Play
The growing size and complexity of systems has revealed many shortcomings of existing software engineering practices, for example, lack of scalability. This in turn raised interes...
François Bronsard, Douglas Bryan, Wojtek Ko...
FAC
2006
122views more  FAC 2006»
13 years 8 months ago
The verified software repository: a step towards the verifying compiler
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock
OHS
2001
Springer
14 years 1 months ago
Using Open Hypermedia to Support Information Integration
Abstract. The task of information integration challenges software engineers on a daily basis. Software artifacts, produced during software development, contain many implicit and ex...
Kenneth M. Anderson, Susanne A. Sherba
ICSE
2007
IEEE-ACM
14 years 2 months ago
Languages for Safety-Critical Software: Issues and Assessment
Safety-critical systems (whose anomalous behavior could have catastrophic consequences such as loss of human life) are becoming increasingly prevalent; standards such as DO-178B, ...
Benjamin M. Brosgol
IJMTM
2000
175views more  IJMTM 2000»
13 years 8 months ago
Reconfigurable manufacturing systems and their enabling technologies
A reconfigurable manufacturing system (RMS) is designed for rapid adjustment of production capacity and functionality in response to new market conditions and new process technolo...
Mostafa G. Mehrabi, A. Galip Ulsoy, Yoram Koren