System Development and Ada

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 $79.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

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.

System Development and Ada

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 Computer Science

More Everything Forever

AI Overlords, Space Empires, and Silicon Valley's Crusade to Control the Fate of Humanity

Atlas of the Invisible

Maps & Graphics That Will Change How You See the World

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

The AI Con

How To Fight Big Tech's Hype and Create the Future We Want

Nexus

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

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

Creative Machines

AI, Art & Us

Machine Learning For Dummies

For Dummies (Computer/Tech)

AI in Early Education

Integrating Artificial Intelligence for Inclusive and Effective Learning

Supremacy

AI, ChatGPT and the Race that Will Change the World

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

Empire of AI

Inside the reckless race for total domination

The Coming Wave

AI, Power and the 21st Century's Greatest Dilemma

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

Deep Learning for Intrusion Detection

Techniques and Applications

Human-Centered Design for Health Care Safety

SEIPS in Action

Python All-in-One For Dummies

3rd Edition

AI Governance Playbook

How to Secure, Control, and Optimize Artificial Intelligence Initiatives

AI Governance Playbook

How to Secure, Control, and Optimize Artificial Intelligence Initiatives

Leading Enterprise AI Programs

Optimize AI Teams for Value Creation

The ChatGPT Revolution

2nd Edition - Get Curious, Get Productive and Get Creative with AI

MRI in Practice

5th Edition

This product is categorised by