fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf

Site Breadcrumb

Verkauf durch Sack Fachmedien

Habermann / Montanari

System Development and Ada

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

Medium: Buch
ISBN: 978-3-540-18341-9
Verlag: Springer
Erscheinungstermin: 23.09.1987
In den Warenkorb
Lieferfrist: bis zu 10 Tage
Auf die Merkliste Drucken
Leseprobe
Überschrift

Beschreibung

Kostenloser Versand

nach Deutschland, Österreich und in die Schweiz

Bequem zahlen

Rechnung, Kreditkarte, PayPal oder Bankeinzug

Wir sind gerne für Sie da

0800 000-1378 (Inland)
service@fachmedien.de
<<Kontaktformular>>

Fragen

Fragen Lorem ipsum dolor sit amet, consetetur sadipscing elitr, sed diam nonumy eirmod tempor invidunt ut labore et dolore magna aliquyam erat, sed diam voluptua
Anwtorten

Anwtorten At vero eos et accusam et justo duo dolores et ea rebum. Stet clita kasd gubergren, no sea takimata sanctus est Lorem ipsum dolor sit amet. Lorem ipsum dolor sit amet

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.

Produkteigenschaften

  • Artikelnummer: 9783540183419
  • Medium: Buch
  • ISBN: 978-3-540-18341-9
  • Verlag: Springer
  • Erscheinungstermin: 23.09.1987
  • Sprache(n): Englisch
  • Auflage: 1. Auflage 1987
  • Serie: Lecture Notes in Computer Science
  • Produktform: Kartoniert, Paperback
  • Gewicht: 482 g
  • Seiten: 308
  • Format (B x H x T): 155 x 235 x 18 mm
  • Ausgabetyp: Kein, Unbekannt

Themen

Autoren/Hrsg.

Herausgeber

Design of the rational environment.- 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.- 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.