Author : Aristides Dasso
Publisher : IGI Global
Page : 443 pages
File Size : 14,9 MB
Release : 2007-01-01
Category : Computers
ISBN : 1591408512
"This book explores different applications in V & V that spawn many areas of software development -including real time applications- where V & V techniques are required, providing in all cases examples of the applications"--Provided by publisher.
Author : Shaoying Liu
Publisher : Springer Science & Business Media
Page : 410 pages
File Size : 39,48 MB
Release : 2013-03-09
Category : Computers
ISBN : 3662072874
In any serious engineering discipline, it would be unthinkable to construct a large system without having a precise notion of what is to be built and without verifying how the system is expected to function. Software engineering is no different in this respect. Formal methods involve the use of mathematical notation and calculus in software development; such methods are difficult to apply to large-scale systems with practical constraints (e.g., limited developer skills, time and budget restrictions, changing requirements). Here Liu claims that formal engineering methods may bridge this gap. He advocates the incorporation of mathematical notation into the software engineering process, thus substantially improving the rigor, comprehensibility and effectiveness of the methods commonly used in industry. This book provides an introduction to the SOFL (Structured Object-Oriented Formal Language) method that was designed and industry-tested by the author. Written in a style suitable for lecture courses or for use by professionals, there are numerous exercises and a significant real-world case study, so the readers are provided with all the knowledge and examples needed to successfully apply the method in their own projects.
Author :
Publisher :
Page : 744 pages
File Size : 31,22 MB
Release : 1997
Category : Computer programming
ISBN :
Author : Jean-Raymond Abrial
Publisher : Springer Science & Business Media
Page : 536 pages
File Size : 23,23 MB
Release : 1996-10-30
Category : Business & Economics
ISBN : 9783540619291
This book, with the CD-ROM included, is the documentation of a unique collaborative effort in evaluating formal methods for usage under industrial constraints: the major techniques for formally supported specification, design, and verification of large programs and complex systems are applied to a non-trivial and non-academic problem which is typical for industrial informal requirements specifications. The 21 papers included in the book, together with an introduction and competition report, were selected from 33 candidate solutions. This book comes with a CD-ROM containing, besides the printed papers, executable code, full definitions of all parts of the specifications, and detailed descriptions of foundational matters where appropriate.
Author : Jim Woodcock
Publisher :
Page : 412 pages
File Size : 16,36 MB
Release : 1996
Category : Computers
ISBN :
This book contains enough mnaterial for three complete courses of study. It provides an introduction to the world of logic, sets and relations. It explains the use of the Znotation in the specification of realistic systems. It shows how Z specifications may be refined to produce executable code; this is demonstrated in a selection of case studies. The essentials of specification, refinement and proof are covered, revealing techniques never previously published. Exercises, Solutions and set of Tranparencies are available via http://www.comlab.ox.ac.uk/usingz.html
Author : Karin Breitman
Publisher : Springer
Page : 770 pages
File Size : 41,56 MB
Release : 2009-11-18
Category : Computers
ISBN : 3642103731
Formal methods for development of computer systems have been extensively studied over the years. A range of semantic theories, speci?cation languages, design techniques, and veri?cation methods and tools have been developed and applied to the construction of programs used in critical applications. The ch- lenge now is to scale up formal methods and integrate them into engineering - velopment processes for the correct and e?cient construction and maintenance of computer systems in general. This requires us to improve the state of the art on approaches and techniques for integration of formal methods into industrial engineering practice, including new and emerging practice. The now long-established series of International Conferences on Formal - gineering Methods brings together those interested in the application of formal engineering methods to computer systems. Researchers and practitioners, from industry, academia, and government, are encouraged to attend and to help - vance the state of the art. This volume contains the papers presented at ICFEM 2009, the 11th International Conference on Formal Engineering Methods, held during December 9–11, in Rio de Janeiro, Brazil.
Author : Marie-Claude Gaudel
Publisher : Springer Science & Business Media
Page : 724 pages
File Size : 48,70 MB
Release : 1996-03-06
Category : Business & Economics
ISBN : 9783540609735
This book presents the refereed proceedings of the Third International Symposium of Formal Methods Europe, FME '96, held in Oxford, UK, in March 1996. FME '96 was co-sponsored by IFIP WG 14.3 and devoted to "the application and demonstrated industrial benefit of formal methods, their new horizons and strengthened foundations". The 35 full revised papers included were selected from a total of 103 submissions; also included are three invited papers. The book addresses all relevant aspects of formal methods, from the point of view of the industrial R & D professional as well as from the academic viewpoint, and impressively documents the significant progress in the use of formal methods for the solution of real-world problems.
Author : Stephen T. Albin
Publisher : John Wiley & Sons
Page : 338 pages
File Size : 41,59 MB
Release : 2003-03-20
Category : Computers
ISBN : 0471468290
This innovative book uncovers all the steps readers should follow in order to build successful software and systems With the help of numerous examples, Albin clearly shows how to incorporate Java, XML, SOAP, ebXML, and BizTalk when designing true distributed business systems Teaches how to easily integrate design patterns into software design Documents all architectures in UML and presents code in either Java or C++
Author : Wojciech Zamojski
Publisher : Springer Science & Business Media
Page : 314 pages
File Size : 32,20 MB
Release : 2011-05-13
Category : Technology & Engineering
ISBN : 3642213936
Dependability analysis is the recent approach to performance evaluation of contemporary systems which tries to cope with new challenges that are brought with their unprecedented complexity, size and diversity. Especially in case of computer systems and networks such evaluation must be based on multidisciplinary approach to theory, technology, and maintenance of systems which operate in real (and very often unfriendly) environments. As opposed to “classic” reliability which focuses mainly on technical aspects of system functioning, dependability studies investigate the systems as multifaceted and sophisticated amalgamations of technical, information and also human resources. This monograph presents selected new developments in such areas of dependability research as mathematical models, evaluation of software, probabilistic assessment, methodologies, tools, and technologies. Intelligent and soft computing methods help to resolve fundamental problems of dependability analysis which are caused by the fact that in contemporary computer systems it is often difficult to find a relation between system elements and system events (the relation between reasons and results) and it is even more difficult to define strict mathematical models with “analytical” relationships between such phenomena.
Author : Kevin Lano
Publisher : McGraw-Hill Companies
Page : 278 pages
File Size : 47,60 MB
Release : 1994
Category : Computers
ISBN :
