Lecture Notes in Computer Science

CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings

By: A. Nico Habermann (Editor), Ugo Montanari (Editor)

Write A Review

Paperback | 23 September 1987

At a Glance

Paperback
316 Pages

Dimensions(cm)
23.39 x 15.6 x 1.68

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Computer Architecture & Logic Design Computer Programming & Software Development Software Engineering Systems Analysis & Design Artificial Intelligence Engineering & Technology Technology in General Engineering in General Electronics & Communications Engineering

Electronics Engineering Science Chemistry Physical Chemistry Computer Hardware

The PCTE Initiative: Toward a European Approach to Software Engineering
Engineering VAX Ada for a Multi-Language Programming Environment
The Ada Environment - A Personal View
Knowledge-Based Software Development from Requirements to Code
The SMoLCS Approach to the Formal Semantics of Programming Languages - A Tutorial Introduction
Project Graphs and Meta-Programs
Towards a Theory of Software Development
Software Development Based on Formal Methods
Integration of Program Construction and Verification: The PROSPECTRA Methodology
Ada Compiler Validation: An Example of Software Testing Theory and Practice
The Software Engineering Institute at Carnegie-Mellon University
Task Sequencing Language for Specifying Distributed Ada Systems
Table of Contents provided by Publisher. All Rights Reserved.

Lecture Notes in Computer Science

CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Artificial Intelligence

The God We Made

The Threat and Promise of Artificial Intelligence; Quarterly Essay 102

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

Nexus

A Brief History of Information Networks from the Stone Age to AI

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

The Infinity Machine

Demis Hassabis, DeepMind and the Quest for Superintelligence

Empire of AI

Inside the reckless race for total domination

How We Learn

The New Science of Education and the Brain

Co-Intelligence

Living and Working with AI

CEH Certified Ethical Hacker v13 Study Guide

Sybex Study Guide

Artificial Intelligence

A Modern Approach, 4th Global Edition

AI for Analogs

A Simple, Plain-English Guide

AI for Analogs

A Simple, Plain-English Guide

Navigating the AI Frontier in Business

Balancing Economy, Ecology, and Inclusion

AI for Public Relations

A How-To Guide for Implementation and Management

AI and Data Science in Medical Research

New Developments and Advances

Control, Robotics and Sensors

Design, Control and Applications

Medium Hot

Images in the Age of Heat

Translate

Multilingual Access to Critical Services in the Age of AI

Recent Advances in Information Systems

Proceedings of the ICRAIS, Pointe aux Piments, Mauritius, 10â"12 September 2025

Trends in Advanced Unmanned Aerial Systems

Selected Contributions of ICAUAS 2025

XR and Metaverse

Proceedings of the 10th International XR-Metaverse Conference 2025, Maastricht, The Netherlands

The Cambridge Handbook of AI in Civil Dispute Resolution

Cambridge Law Handbooks

Machine Learning for Spatial Environmental Data

Theory, Applications and Software

Proceedings of the 6th International Conference on Big Data Analytics for Cyber-Physical System in Smart City, Volume 1

BDCPS 2024, December 7-8, Ji'an, China

This product is categorised by