Printer Friendly
The Free Library
22,741,889 articles and books

Quality software; proceedings.


Quality software; proceedings.

International Conference on Quality Software (8th: 2008: Oxford, UK) Ed. by Hong Zhu.

Computer Society Press


446 pages




Papers from an August 2008 conference on software quality report on recent developments in formalization for·mal·ize  
tr.v. for·mal·ized, for·mal·iz·ing, for·mal·iz·es
1. To give a definite form or shape to.

a. To make formal.

 of UML (Unified Modeling Language) An object-oriented analysis and design language from the Object Management Group (OMG). Many design methodologies for describing object-oriented systems were developed in the late 1980s.  and design patterns, software testing Software testing is the process used to measure the quality of developed computer software. Usually, quality is constrained to such topics as correctness, completeness, security, but can also include more technical requirements as described under the ISO standard ISO 9126, such , security, formal methods, state and dynamic analysis, specification-based software testing, software process and evolution, regression testing and software reuse, measurement and metrics, service orientation, software architecture, faults and failures, and integration of software engineering and agent technologies. Some specific areas examined include a test model library for GUI (Graphical User Interface) A graphics-based user interface that incorporates movable windows, icons and a mouse. The ability to resize application windows and change style and size of fonts are the significant advantages of a GUI vs. a character-based interface.  testing of smartphone applications, history heuristic A method of problem solving using exploration and trial and error methods. Heuristic program design provides a framework for solving the problem in contrast with a fixed set of rules (algorithmic) that cannot vary.

 based negotiation of service level agreements for composite service, a method for measuring the size of a component-based system specification, selecting a high-quality central model for sharing architectural knowledge, and path and context sensitive inter- procedural memory leak detection. The book is for researchers and practitioners in software engineering. There is no subject index.

([c]20082005 Book News, Inc., Portland, OR)
COPYRIGHT 2008 Book News, Inc.
No portion of this article can be reproduced without the express written permission from the copyright holder.
Copyright 2008 Gale, Cengage Learning. All rights reserved.

 Reader Opinion




Article Details
Printer friendly Cite/link Email Feedback
Publication:SciTech Book News
Article Type:Book review
Date:Sep 1, 2008
Previous Article:Hollywood secrets of project management success.
Next Article:Fault diagnosis and tolerance in cryptography; proceedings.

Related Articles
Quality Software: Proceedings.
Marc Blitzstein: a Bio-Bibliography.
Discussions in Egyptology; 61.
Exotic Nuclear Systems: Proceedings.
The Selendang Ayu oil spill; lessons learned; proceedings.
Global software engineering, ICGSE 2006; proceedings. (CD-ROM included).
The Early Mathematics of Leonhard Euler.
Albert R. Roberts and Kenneth R. Yeager, Foundations of Evidence Based Social Work Practice.
The Chorleywood Bread Process.
On-line testing symposium; proceedings.

Terms of use | Copyright © 2014 Farlex, Inc. | Feedback | For webmasters