Proceedings of the ACM SIGSOFT '89 PDF Download

Author: Richard A. Kemmerer
Publisher: Association for Computing Machinery (ACM)
ISBN:
Category : Computer science
Languages : en
Pages : 678

View

Book Description

Author: Stephen Cook
Publisher: Cambridge University Press
ISBN: 9780521382328
Category : Computers
Languages : en
Pages : 410

View

Book Description
This volume contains the refereed papers presented at ECOOP 89. They cover topics of contemporary interest in this increasingly active area of computer science research, from formal methods through software engineering to implementations.

Author: Norman Meyrowitz
Publisher:
ISBN:
Category : Object-oriented programming (Computer science)
Languages : en
Pages : 732

View

Book Description

Author: Dan Craigen
Publisher: Springer Science & Business Media
ISBN: 1447135326
Category : Computers
Languages : en
Pages : 246

View

Book Description
The 1989 Workshop on the Assessment of Formal Methods for Trustworthy Com puter Systems (FM89} was an invitational workshop that brought together repre sentatives from the research, commercial and governmental spheres of Canada, the United Kingdom, and the United States. The workshop was held in Halifax, Nova Scotia, Canada, from July 23 through July 27, 1989. This document reports the activities, observations, recommendations and conclusions resulting. from FM89. 1. 1 Purpose of Workshop The primary purpose for holding FM89 was to assess the role of formal methods in the development and fielding of trustworthy critical systems. The need for this assessment was predicated upon four observations: 1. Critical systems are increasingly being controlled by computer systems; 2. Existing techniques for developing, assuring and certifying computer-based critical systems are inadequate; 3. Formal methods have the potential for playing the same role in the devel opment of computer-based systems as applied mathematics does for other engineering disciplines; and 4. Formal methods have had limited impact on the development of comput- based systems and supporting technologies. · The goal of the workshop was to complete the following tasks: 1. Assess the problems retarding the development of trustworthy critical systems; 2. Determine the (potential) impact of applying formal methods techniques to the development of trustworthy critical systems; 3. Determine the research and development required to facilitate a broader ap plication of formal methods techniques; 4.

Author: Christine Hofmeister
Publisher: Springer
ISBN: 9783540832577
Category : Computers
Languages : en
Pages : 218

View

Book Description
This book constitutes the thoroughly refereed post-proceedings of the Second International Conference on the Quality of Software Architectures, QoSA 2006, held in Västerås, Sweden in June 2006, co-located with the 9th International Symposium on Component-Based Software Engineering, CBSE 2006. Coverage includes architecture evaluation, managing and applying architectural knowledge, and processes for supporting architecture quality.

Author:
Publisher: Pearson Education India
ISBN: 9788131759080
Category :
Languages : en
Pages : 768

View

Book Description

Author: Dogru, Ali H.
Publisher: IGI Global
ISBN: 160960217X
Category : Computers
Languages : en
Pages : 505

View

Book Description
Software engineering has advanced rapidly in recent years in parallel with the complexity and scale of software systems. New requirements in software systems yield innovative approaches that are developed either through introducing new paradigms or extending the capabilities of well-established approaches. Modern Software Engineering Concepts and Practices: Advanced Approaches provides emerging theoretical approaches and their practices. This book includes case studies and real-world practices and presents a range of advanced approaches to reflect various perspectives in the discipline.

Author: Ravi Prakash Gorthi
Publisher:
ISBN: 9781450348560
Category :
Languages : en
Pages :

View

Book Description
Innovations in Software Engineering Conference (ISEC) Feb 05, 2017-Feb 07, 2017 Jaipur, India. You can view more information about this proceeding and all of ACM�s other published conference proceedings from the ACM Digital Library: http://www.acm.org/dl.

Author: Horst Bunke
Publisher: World Scientific
ISBN: 9812794751
Category : Computers
Languages : en
Pages : 221

View

Book Description
An inadequate infrastructure for software testing is causing major losses to the world economy. The characteristics of software quality problems are quite similar to other tasks successfully tackled by artificial intelligence techniques. The aims of this book are to present state-of-the-art applications of artificial intelligence and data mining methods to quality assurance of complex software systems, and to encourage further research in this important and challenging area. Contents: Fuzzy CauseOCoEffect Models of Software Testing (W Pedrycz & G Vukovich); Black-Box Testing with Info-Fuzzy Networks (M Last & M Friedman); Automated GUI Regression Testing Using AI Planning (A M Memon); Test Set Generation and Reduction with Artificial Neural Networks (P Saraph et al.); Three-Group Software Quality Classification Modeling Using an Automated Reasoning Approach (T M Khoshgoftaar & N Seliya); Data Mining with Resampling in Software Metrics Databases (S Dick & A Kandel). Readership: Students, researchers and professionals in computer science, information systems, software testing and data mining."

Author: Jonathan P. Bowen
Publisher: Springer Science & Business Media
ISBN: 1447134311
Category : Computers
Languages : en
Pages : 698

View

Book Description
Errata, detected in Taylor's Logarithms. London: 4to, 1792. [sic] 14.18.3 6 Kk Co-sine of 3398 3298 - Nautical Almanac (1832) In the list of ERRATA detected in Taylor's Logarithms, for cos. 4° 18'3", read cos. 14° 18'2". - Nautical Almanac (1833) ERRATUM ofthe ERRATUM ofthe ERRATA of TAYLOR'S Logarithms. For cos. 4° 18'3", read cos. 14° 18' 3". - Nautical Almanac (1836) In the 1820s, an Englishman named Charles Babbage designed and partly built a calculating machine originally intended for use in deriving and printing logarithmic and other tables used in the shipping industry. At that time, such tables were often inaccurate, copied carelessly, and had been instrumental in causing a number of maritime disasters. Babbage's machine, called a 'Difference Engine' because it performed its cal culations using the principle of partial differences, was intended to substantially reduce the number of errors made by humans calculating the tables. Babbage had also designed (but never built) a forerunner of the modern printer, which would also reduce the number of errors admitted during the transcription of the results. Nowadays, a system implemented to perform the function of Babbage's engine would be classed as safety-critical. That is, the failure of the system to produce correct results could result in the loss of human life, mass destruction of property (in the form of ships and cargo) as well as financial losses and loss of competitive advantage for the shipping firm.