Formal Methods and Software Engineering

Formal Methods and Software Engineering

Author: Chris George

Publisher: Springer

Published: 2003-06-30

Total Pages: 639

ISBN-13: 3540361030

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 4th International Conference on Formal Engineering methods, ICFEM 2002, held in Shanghai, China, in October 2002. The 43 revised full papers and 16 revised short papers presented together with 5 invited contributions were carefully reviewed and selected from a total of 108 submissions. The papers are organized in topical sections on component engineering and software architecture, method integration, specification techniques and languages, tools and environments, refinement, applications, validation and verification, UML, and semantics.


Formal Methods and Testing

Formal Methods and Testing

Author: Robert M. Hierons

Publisher: Springer Science & Business Media

Published: 2008-04-08

Total Pages: 378

ISBN-13: 3540789162

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi-formal) methods and software testing - now being a subject group of two BCS Special Interest Groups: Formal Aspects of Computing Science (BCS FACS) and Special Interest Group in Software Testing (BCS SIGIST). Each of the 12 chapters in this book describes a way in which the study of formal methods and software testing can be combined in a manner that brings the benefits of formal methods (e.g., precision, clarity, provability) with the advantages of testing (e.g., scalability, generality, applicability).


Specification of Software Systems

Specification of Software Systems

Author: V.S. Alagar

Publisher: Springer Science & Business Media

Published: 2011-03-19

Total Pages: 654

ISBN-13: 0857292773

DOWNLOAD EBOOK

This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification activities for different types of software systems and at different stages of developing software systems. Topics and features: provides a wide coverage of formal specification techniques and a clear writing style, supported by end-of-chapter bibliographic notes for further reading; presents a logical structure, with sections devoted to specification fundamentals, basics of formalism, logic, set theory and relations, property-oriented specification methods, and model-based specification techniques; contains end-of-chapter exercises and numerous case studies, with potential course outlines suggested in the Preface; covers Object-Z, B-Method, and Calculus of Communicating Systems; offers material that can be taught with tool-supported laboratory projects.


User-Centred Requirements for Software Engineering Environments

User-Centred Requirements for Software Engineering Environments

Author: David J. Gilmore

Publisher: Springer Science & Business Media

Published: 2013-06-29

Total Pages: 364

ISBN-13: 3662030357

DOWNLOAD EBOOK

The idea for this workshop originated when I came across and read Martin Zelkowitz's book on Requirements for Software Engineering Environments (the proceedings of a small workshop held at the University of Maryland in 1986). Although stimulated by the book I was also disappointed in that it didn't adequately address two important questions - "Whose requirements are these?" and "Will the environment which meets all these requirements be usable by software engineers?". And thus was the decision made to organise this workshop which would explicitly address these two questions. As time went by setting things up, it became clear that our workshop would happen more than five years after the Maryland workshop and thus, at the same time as addressing the two questions above, this workshop would attempt to update the Zelkowitz approach. Hence the workshop acquired two halves, one dominated by discussion of what we already know about usability problems in software engineering and the other by discussion of existing solutions (technical and otherwise) to these problems. This scheme also provided a good format for bringing together those in the HeI community concerned with the human factors of software engineering and those building tools to solve acknowledged, but rarely understood problems.


Essentials of Software Engineering

Essentials of Software Engineering

Author: Frank F. Tsui

Publisher: Jones & Bartlett Publishers

Published: 2014

Total Pages: 346

ISBN-13: 1449691994

DOWNLOAD EBOOK

Essentials of Software Engineering, Third Edition is a comprehensive, yet concise introduction to the core fundamental topics and methodologies of software development. Ideal for new students or seasoned professionals looking for a new career in the area of software engineering, this text presents the complete life cycle of a software system, from inception to release and through support. The authors have broken the text into six distinct sections covering programming concepts, system analysis and design, principles of software engineering, development and support processes, methodologies, and product management. Presenting topics emphasized by the IEEE Computer Society sponsored Software Engineering Body of Knowledge (SWEBOK) and by the Software Engineering 2004 Curriculum Guidelines for Undergraduate Degree Programs in Software Engineering, the second edition of Essentials of Software Engineering is an exceptional text for those entering the exciting world of software development.


Software Testing and Analysis

Software Testing and Analysis

Author: Mauro Pezze

Publisher: John Wiley & Sons

Published: 2008

Total Pages: 516

ISBN-13:

DOWNLOAD EBOOK

Teaches readers how to test and analyze software to achieve an acceptable level of quality at an acceptable cost Readers will be able to minimize software failures, increase quality, and effectively manage costs Covers techniques that are suitable for near-term application, with sufficient technical background to indicate how and when to apply them Provides balanced coverage of software testing & analysis approaches By incorporating modern topics and strategies, this book will be the standard software-testing textbook


Formal Specification Techniques for Engineering Modular C Programs

Formal Specification Techniques for Engineering Modular C Programs

Author: Tan Yang Meng

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 221

ISBN-13: 1461541255

DOWNLOAD EBOOK

Software is difficult to develop, maintain, and reuse. Two factors that contribute to this difficulty are the lack of modular design and good program documentation. The first makes software changes more difficult to implement. The second makes programs more difficult to understand and to maintain. Formal Specification Techniques for Engineering Modular C Programs describes a novel approach to promoting program modularity. The book presents a formal specification language that promotes software modularity through the use of abstract data types, even though the underlying programming language may not have such support. This language is structured to allow useful information to be extracted from a specification, which is then used to perform consistency checks between the specification and its implementation. Formal Specification Techniques for Engineering Modular C Programs also describes a specification-driven, software re-engineering process model for improving existing programs. The aim of this process is to make existing programs easier to maintain and reuse while keeping their essential functionalities unchanged. Audience: Suitable as a secondary text for graduate level courses in software engineering, and as a reference for researchers and practitioners in industry.


Applying Formal Methods: Testing, Performance, and M/E-Commerce

Applying Formal Methods: Testing, Performance, and M/E-Commerce

Author: Manuel Núnez

Publisher: Springer

Published: 2004-09-09

Total Pages: 392

ISBN-13: 3540302336

DOWNLOAD EBOOK

This book constitutes the joint refereed proceedings of the First International Workshop on Theory Building and Formal Methods in Electronic/Mobile Commerce, TheFormEMC, the first European Performance Engineering Workshop, EPEW, and the First International Workshop on Integration of Testing Methodologies, ITM, held jointly in association with FORTE 2004 in Toledo, Spain, in October 2004. The 27 revised full papers presented were carefully reviewed and selected from a total of 62 submissions. The papers are grouped in three topical sections corresponding to the workshop topics.


Foundations of Software Testing, 2/e

Foundations of Software Testing, 2/e

Author: Aditya P Mathur

Publisher: Pearson Education India

Published: 2013

Total Pages: 728

ISBN-13: 9332517657

DOWNLOAD EBOOK

This edition of Foundations of Software Testing is aimed at the undergraduate, the graduate students and the practicing engineers. It presents sound engineering approaches for test generation, ion, minimization, assessment, and enhancement. Using numerous examples, it offers a lucid description of a wide range of simple to complex techniques for a variety of testing-related tasks. It also discusses the comparative analyses of commercially available testing tools to facilitate the tool ion.


Formal Methods and Software Engineering

Formal Methods and Software Engineering

Author: Jin Song Dong

Publisher: Springer Science & Business Media

Published: 2003-10-27

Total Pages: 693

ISBN-13: 354020461X

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 5th International Conference on Formal Engineering Methods, ICFEM 2003, held in Singapore in November 2003. The 34 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on testing and validation, state diagrams, PVS/HOL, refinement, hybrid systems, Z/Object-Z, Petri nets, timed automata, system modelling and checking, and semantics and synthesis.