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: 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: 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: Norman Meyrowitz
Publisher:
ISBN:
Category : Object-oriented programming (Computer science)
Languages : en
Pages : 732

View

Book Description

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:
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: Natalia Juristo
Publisher: World Scientific
ISBN: 9810249144
Category : Computers
Languages : en
Pages : 274

View

Book Description
Empirical verification of knowledge is one of the foundations for developing any discipline. As far as software construction is concerned, the empirically verified knowledge is not only sparse but also not very widely disseminated among developers and researchers. This book aims to spread the idea of the importance of empirical knowledge in software development from a highly practical viewpoint. It has two goals: (1) Define the body of empirically validated knowledge in software development so as to advise practitioners on what methods or techniques have been empirically analysed and what the results were; (2) as empirical tests have traditionally been carried out by universities or research centres, propose techniques applicable by industry to check on the software development technologies they use.