Product Type
Condition
Binding
Collectible Attributes
Seller Location
Seller Rating
Published by Springer London Mrz 1998, 1998
ISBN 10: 185233021XISBN 13: 9781852330217
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Quality Special Interest Group of the British Computer Society presents the edited proceedings of their sixth International Conference on Software Quality Management (SQM'98) held in April 1998 in Amsterdam. The objective of this series of annual conferences is to promote international co-operation among those concerned with software quality and process improvement, by creating a greater understanding of software quality issues and by sharing current research and industrial experience. The papers cover a broad spectrum of practical experience and research. The topic areas include process improvement, maintaining a quality management system, quality metrics, human factors, project management issues, software tools and approaches to systems development. The organisers would like to thank Origin for their sponsorship of the proceedings. The editors are indebted to the members of the International Advisory Committee for their support and for refereeing the abstracts and the final papers, as well as to the authors who have contributed to the success of this conference. 300 pp. Englisch.
Published by Springer London Mrz 1998, 1998
ISBN 10: 3540762345ISBN 13: 9783540762348
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Up and Running with C++ provides readers with a quick guide to the fundamental concepts of object orientation (O-O) and their implementation in C++. Written in a user-friendly style, no prior knowledge of C or C++ is assumed. The book introduces the concepts and terminology of object-orientation using a step-by-step approach and shows how to implement the central concepts of O-O in C++. The building blocks of the C++ language are clearly presented with numerous examples that will give readers practice in writing applications. The book avoids excessive technical detail and will be ideal for programmers and students who need an easy-to-understand, comprehensive introduction to C++. 316 pp. Englisch.
Published by Springer London Mrz 1998, 1998
ISBN 10: 3540761861ISBN 13: 9783540761860
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Not so many years ago, it would have been difficult to find more than a handful of examples of the use of formal methods in industry. Today however, the industrial application of formal methods is becoming increasingly common in a variety of application areas, particularly those with a safety, security or financially critical aspects. Furthermore, in situations where a particularly high level of assurance is required, formal proof is broadly accepted as being of value. Perhaps the major benefit of formalisation is that it enables formal symbolic manip ulation of elements of a design and hence can provide developers with a variety of analyses which facilitate the detection of faults. Proof is just one of these possible formal activities, others, such as test case generation and animation, have also been shown to be effective bug finders. Proof can be used for both validation and verifi cation. Validation of a specification can be achieved by proving formal statements conjectured about the required behaviours of the system. Verification of the cor rectness of successive designs can be achieved by proof of a prescribed set of proof obligations generated from the specifications. 244 pp. Englisch.