Sciweavers

4747 search results - page 28 / 950
» Application Experience with a Repository System for Informat...
Sort
View
FAC
2006
122views more  FAC 2006»
13 years 7 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
HICSS
2008
IEEE
130views Biometrics» more  HICSS 2008»
14 years 2 months ago
Enterprise Modeling for Information System Development within MDA
Object-oriented analysis suggests semiformal usecase driven techniques for problem domain modeling from a computation independent viewpoint. The proposed approach called Topologic...
Janis Osis, Erika Asnina
MR
2007
173views Robotics» more  MR 2007»
13 years 7 months ago
A maintenance planning and business case development model for the application of prognostics and health management (PHM) to ele
- This paper presents a model that enables the optimal interpretation of Prognostics and Health Management (PHM) results for electronic systems. In this context, optimal interpreta...
Peter A. Sandborn, Chris Wilkinson
ECTEL
2007
Springer
14 years 1 months ago
Knowledge Repositories for Rural Communities of Learning
Knowledge Repositories can be a potential solution in order to cover agricultural professionals' lifelong learning needs. An application area of particular interest is the one...
Argiris Tzikopoulos
ICSE
2003
IEEE-ACM
14 years 7 months ago
Why Can't They Create Architecture Models Like "Developer X"? An Experience Report
A large financial company, struggling with legacy systems that did not interoperate, performed a pilot project to teach software architecture to an enthusiastic application develo...
George Fairbanks