Search inside eBookDB


Author: Barbara Mayer
Publisher: DIANE Publishing
Keywords: systems, verification, formal, guidelines
Number of Pages: 48
Published: 1989-06-01
ISBN-10: 0788105523
ISBN-13: 9780788105524

Explains the requirements for formal verification systems. Primarily intended for developers of verification systems to use in the development of production-quality formal verification systems. Explains the requirements and the process used to evaluate formal verification systems. Includes: evaluation approach, methodology and system specification, and implementation and other support factors. Glossary and bibliography.
39158

Author: H. Todd Mowrer
Publisher: DIANE Publishing
Keywords: systems, evaluation, existing, management, ecosystem, support, decision
Number of Pages: 159
Published: 1997
ISBN-10: 0788171925
ISBN-13: 9780788171925

Presents the results of a questionnaire that was designed to evaluate existing decision support systems in an ecosystem management context. The questionnaire was distributed to developers of 24 decision support systems in the government, academic, & private sectors. This evaluation is intended to assist current & potential users of decision support systems in determining which existing system most closely fulfills their needs. It is also intended to encourage cooperation among developers of decision support systems to more effectively unify & fulfill these criteria in future systems.
28644

Author: Erio Ziglio
Publisher: WHO Regional Office Europe
Keywords: poverty, confront, systems, health
Number of Pages: 192
Published: 2003
ISBN-10: 9289013699
ISBN-13: 9789289013697

Health care systems across the WHO European Region have done and are doing much to tackle the complex and daunting problem of poverty and health. This book describes 12 initiatives already undertaken in 10 WHO member states. It documents WHO's preliminary findings on how health care systems can help to alleviate poverty, and reaches three main conclusions: health care systems can indeed take effective action to improve the health of the poor; sometimes health care systems can actually represent an additional barrier for the poor and there is an urgent need for more knowledge, training and capa
30109

Author: Senen M. Miranda
Publisher: IWMI
Keywords: farming, irrigation, based, systems, management, rice, colombo, sri, lanka, workshop, november, philippines, bangladesh, indonesia, proceedings, tri, country
Number of Pages: 349
Published: 1993
ISBN-10: 9290901578
ISBN-13: 9789290901570

Section I: Technical considerations for rice-based farming systems: irrigation system management; Section II: Technical considerations for rice-based farming systems: farm-level management; Section III: Technical considerations for rice-based farming systems: farming systems; Section IV: Synthesis papers.
28271

Author: Bernice Steinhardt
Publisher: DIANE Publishing
Keywords: systems, national, insights, united, states, offer, sub, experiences, key, indicator
Number of Pages: 108
Published: 2011-08
ISBN-10: 1437983995
ISBN-13: 9781437983999

The U.S. has many indicators on a variety of topics such as the economy and health, but has no official vehicle for integrating and disseminating this information to better inform the nation about complex challenges. Diverse jurisdictions across the U.S. and internationally are integrating and disseminating this information through comprehensive key indicator systems. This report studied: (1) how indicator systems are being used; (2) how indicator systems are designed and developed; (3) some factors necessary to sustain a system; and (4) potential implications for the development and use of a
12498

Author: Gregory C. Wilshusen
Publisher: DIANE Publishing
Keywords: security, national, non, systems, guidance, harmonizing, progress, made, information, policies
Number of Pages: 38
Published: 2011-04
ISBN-10: 1437939821
ISBN-13: 9781437939828

Historically, civilian and national security-related info. technology (IT) systems have been governed by different information security policies and guidance. Specifically, the Office of Management and Budget (OMB) and the National Institute of Standards and Technology (NIST) established policies and guidance for civilian non-national security systems, while other organizations, including the Committee on National Security Systems (CNSS), the DoD, and the U.S. intelligence community, have developed policies and guidance for national security systems. This report assessed the progress of federa
5099

Author: Michael E. Motley
Publisher: DIANE Publishing
Keywords: testing, software, intensive, systems, improving, slow, evaluation, department, defense, test
Number of Pages: 58
Published: 2004-08-30
ISBN-10: 0788141325
ISBN-13: 9780788141324

This report addresses Test & Evaluation (T&E) of software intensive systems & the DoD's efforts to improve the software process. DoD software costs total over $30 billion a year, of which 2/3's is for maintaining, upgrading, & modifying operational systems already in production. Today's major defense systems depend largely on the quality of this complex & increasingly costly software. Because software error can cause a system to fail, possibly with life threatening consequences, software intensive systems need to be thoroughly tested before production. Charts & tables.
30098
(Page 1 of 311)    First  
Previous
   Next   Last  Go to Page:
No Books found.