Ada in Industry PDF Download

Author: S. Heilbrunner
Publisher: CUP Archive
ISBN: 9780521363471
Category : Computers
Languages : en
Pages : 280

View

Book Description

Author: Fred W. Long
Publisher: Springer Science & Business Media
ISBN: 9783540534525
Category : Computers
Languages : en
Pages : 324

View

Book Description
Report on the process session at chinon -- An introduction to the IPSE 2.5 project -- TRW's SEE sage -- MASP: A model for assisted software processes -- Goal oriented decomposition -- Its application for process modelling in the PIMS project -- A metaphor and a conceptual architecture for software development environments -- Configuration management with the NSE -- Experiments with rule based process modelling in an SDE -- Principles of a reference model for computer aided software engineering environments -- An overview of the inscape environment -- Tool integration in software engineering environments -- The PCTE contribution to Ada programming support environments (APSE) -- The Tooluse approach to integration -- An experimental Ada programming support environment in the HP CASEdge integration framework -- Experience and conclusions from the system engineering environment prototype PROSYT -- Issues in designing object management systems -- Experiencing the next generation computing environment -- Group paradigms in discretionary access controls for object management systems -- Typing in an object management system (OMS) -- Environment object management technology: Experiences, opportunities and risks -- Towards formal description and automatic generation of programming environments -- Use and extension of PCTE : The SPMMS information system -- User interface session -- CENTAUR: Towards a "software tool box" for programming environments -- List of participants.

Author: Barry Lynch
Publisher: Cambridge University Press
ISBN: 9780521395229
Category : Computers
Languages : en
Pages : 386

View

Book Description
This book presents the proceedings of the Ada-Europe International Conference, held in Dublin in 1990. The theme was the impact of technical and management issues in the software engineering economics of Ada, as well as technology transfer and training. Papers also assess the impact of Ada in specific projects.

Author: Carlo Ghezzi
Publisher: Springer Science & Business Media
ISBN: 9783540516354
Category : Computers
Languages : en
Pages : 506

View

Book Description
The book is concerned with the broad topic of software engineering. It comprises the proceedings of the European Software Engineering Conference (ESEC) held at the University of Warwick in the United Kingdom in September 1989 and its primary purpose is to summarise the state of the art in software engineering as represented by the papers at that conference. The material covers both submitted papers and a number of invited papers given at the conference. The topics covered include: metrics and measurement, software process modelling, formal methods including their use in industry, software configuration management, software development environments, and requirements engineering. The book is most likely to be of interest to researchers and professionals working in the field of software development. The primary value of the book is that it gives an up-to-date treatment of its subject material and includes some interesting discussions of the transfer of research ideas into industrial practice.

Author: Judith Mary Bishop
Publisher: Cambridge University Press
ISBN: 0521392519
Category : Computers
Languages : en
Pages : 331

View

Book Description
This book presents the proceedings of the Distributed Ada '89 Symposium held at the University of Southampton in December. The objective of the symposium was to provide a platform for developers and users with experience in the areas of distributed and parallel environments to reveal the advantages and difficulties encountered. The impact of Ada-9X and other enhancements to the language were also explored.

Author: A. Nico Habermann
Publisher: Springer Science & Business Media
ISBN: 9783540183419
Category : Computers
Languages : en
Pages : 316

View

Book Description
The collection of papers published in this book was initially presented at the Workshop on Software Factories and Ada, held on Capri, May 26-30, 1986. The subject of the book is software development environments. Software development is treated from three viewpoints: methodologies, language issues and mechanisms. Of particular interest are the discussions of automation of the development process and the formalization of software development specifications. Several new methodologies are described, many of which are available on the commercial market. New is in particular the formalization of the design and development process. Interesting ideas are presented on planning the design process and on supporting project management by formal tools. The reader will find a variety of interesting methodologies and mechanisms that are operational. The book is suitable for readers interested in knowing in which direction programming environment research is moving.

Author: Isabel F. Cruz
Publisher: IOS Press
ISBN: 9781586032555
Category : Computers
Languages : en
Pages : 312

View

Book Description
The Semantic Web is a Web defined and linked in a way that it can be used by machines not just for display purposes, but also for automation, integration and reuse of data across various applications. This work presents technologies that will enable the Semantic Web to become a reality.

Author:
Publisher:
ISBN:
Category : Software engineering
Languages : en
Pages : 512

View

Book Description

Author: Peri L. Tarr
Publisher: Springer Science & Business Media
ISBN: 3642198236
Category : Computers
Languages : en
Pages : 410

View

Book Description
Software engineering research can trace its roots to a few highly influential individuals. Among that select group is Leon J. Osterweil, who has been a major force in driving software engineering from its infancy to its modern reality. For more than three decades, Prof. Osterweil's work has fundamentally defined or significantly impacted major directions in software analysis, development tools and environments, and software process--all critical parts of software engineering as it is practiced today. His exceptional contributions to the field have been recognized with numerous awards and honors through his career, including the ACM SIGSOFT Outstanding Research Award, in recognition of his extensive and sustained research impact, and the ACM SIGSOFT Influential Educator Award, in recognition of his career-long achievements as an educator and mentor. In honor of Prof. Osterweil's profound accomplishments, this book was prepared for a special honorary event held during the 2011 International Conference on Software Engineering (ICSE). It contains some of his most important published works to date, together with several new articles written by leading authorities in the field, exploring the broad impact of his work in the past and how it will further impact software engineering research in the future. These papers, part of the core software engineering legacy and now available in one commented volume for the first time, are grouped into three sections: flow analysis for software dependability, the software lifecycle, and software process.

Author:
Publisher:
ISBN:
Category :
Languages : en
Pages : 1160

View

Book Description